C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automating Differential Testing with Overapproximate Symbolic Execution.
Richard Rutledge
Alessandro Orso
Published in:
ICST (2022)
Keyphrases
</>
symbolic execution
test generation
test data generation
static analysis
source code
specification language
test cases
data flow
software systems
decision trees
general purpose
optimization algorithm
machine vision
software testing