Testing Scientific Programs.

Published in: Comput. Sci. Eng. (2012)

Keyphrases

symbolic execution
test cases
scientific knowledge
bayesian networks
real time
test data
data mining
machine learning
testing process
fixpoint
static analysis
software testing
computer programs
scientific data
test set
data structure
training data
high level
information retrieval