Variable and thread bounding for systematic testing of multithreaded programs.

Sandeep Bindal Sorav Bansal Akash Lal

Published in: ISSTA (2013)

Keyphrases

symbolic execution
tree traversal
multi user
upper bound
test cases
website
data mining
computer programs
concurrent programs
data sets
artificial intelligence
database systems
genetic algorithm
database
parallel processing
programming environment
test generation
databases
set of test cases