Testing and enhancing a prototype program fusion engine.

Patricia Johann

Published in: ACM SIGSOFT Softw. Eng. Notes (2000)

Keyphrases

test cases
symbolic execution
multi sensor
search based software testing
dynamic analysis
static analysis
inference engine
concurrent programs
test suite
database
image fusion
information fusion
fusion method
data fusion
test generation
program execution
artificial intelligence
machine learning
databases