Heuristics for Scalable Dynamic Test Generation.

Jacob Burnim Koushik Sen

Published in: ASE (2008)

Keyphrases

test generation
test sequences
test cases
databases
computer vision
symbolic execution
search algorithm
image data
database applications
static analysis
quality assurance
design automation