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