Transferring an automated test generation tool to practice: from pex to fakes and code digger.

Nikolai Tillmann Jonathan de Halleux Tao Xie

Published in: ASE (2014)

Keyphrases

symbolic execution
test generation
static analysis
test cases
source code
test data generation
test sequences
design automation
quality assurance
software testing
specification language
mutation testing
real world
database
artificial intelligence
data flow