Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.

Neha Rungta Eric G. Mercer Willem Visser

Published in: SPIN (2009)

Keyphrases

symbolic execution
concurrent programs
test generation
test data generation
test cases
static analysis
concurrent processes
specification language
genetic algorithm
artificial intelligence
search space
web applications
test set
software testing