Techniques for testing scientific programs without an Oracle.

Upulee Kanewala James M. Bieman

Published in: SE-CSE@ICSE (2013)

Keyphrases

symbolic execution
scientific data
software testing
neural network
data mining
database
test cases
oracle database
case study
scientific knowledge
error handling
set of test cases
computer programs
test suite
static analysis
fixpoint
database security
scientific workflows
scientific discovery