Check 'n' crash: combining static checking and testing.

Christoph Csallner Yannis Smaragdakis

Published in: ICSE (2005)

Keyphrases

dynamic analysis
computer vision
error detection
database
machine learning
decision trees
feature extraction
search algorithm
artificial neural networks
special case
test cases