Ad hoc Test Generation Through Binary Rewriting.

Anthony Saieva Shirish Kumar Singh Gail E. Kaiser

Published in: SCAM (2020)

Keyphrases

test generation
test cases
symbolic execution
design automation
test sequences
quality assurance
static analysis
mutation testing
data sets
machine learning
software testing
test data generation
cooperative
conjunctive queries
reverse engineering
regression testing