Predictable and Progressive Testing of Multithreaded Code.

Thomas Ball Sebastian Burckhardt Peli de Halleux Madan Musuvathi Shaz Qadeer

Published in: IEEE Softw. (2011)

Keyphrases

source code
code generation
bayesian networks
symbolic execution
unit testing
test cases
error correcting
concurrent programs
real time
message passing
dynamic analysis
test driven development