Mixing Concrete and Symbolic Execution to Improve the Performance of Dynamic Test Generation.

Gen Li Kai Lu Ying Zhang Xicheng Lu Wei Zhang

Published in: NTMS (2009)

Keyphrases

test generation
symbolic execution
test cases
static analysis
test data generation
quality assurance
design automation
source code
software testing
specification language
artificial intelligence
high level
multi agent
programming language
data flow
code coverage