Variable and Thread Bounding for Systematic Testing of Multithreaded Programs

Sandeep Bindal Sorav Bansal Akash Lal

Published in: CoRR (2012)

Keyphrases

symbolic execution
upper bound
machine learning
test cases
multi user
tree traversal
databases
artificial intelligence
bayesian networks
test data
fixpoint
automatic programming
mutual exclusion
set of test cases