Automatic Test Generation from Interprocedural Specifications.

Camille Constant Bertrand Jeannet Thierry Jéron

Published in: TestCom/FATES (2007)

Keyphrases

test generation
test cases
test sequences
symbolic execution
high level
static analysis
case study
video sequences
image data
data management
software testing
specification language
design automation
mutation testing