Test generation to expose changes in evolving programs.

Dawei Qi Abhik Roychoudhury Zhenkai Liang

Published in: ASE (2010)

Keyphrases

test generation
symbolic execution
test cases
test sequences
design automation
quality assurance
static analysis
software testing
mutation testing
case study
computer vision
e learning
logic programs
integrity constraints
code coverage
databases
error rate
image data
image processing
machine learning