CppTest: A Prototype Tool for Testing C/C++ Programs.

Chengying Mao Yansheng Lu

Published in: ARES (2007)

Keyphrases

symbolic execution
free software
database
data sets
case study
test bed
neural network
search algorithm
artificial neural networks
test cases
answer sets
software platform
concurrent programs