Parallel test generation and execution with Korat.

Sasa Misailovic Aleksandar Milicevic Nemanja Petrovic Sarfraz Khurshid Darko Marinov

Published in: ESEC/SIGSOFT FSE (2007)

Keyphrases

test generation
symbolic execution
test cases
parallel execution
design automation
test sequences
static analysis
software testing
parallel processing
quality assurance
decision trees
source code
shared memory
regression testing
databases