Sign in
Efficient observability-based test generation by dynamic symbolic execution.
Dongjiang You
Sanjai Rayadurgam
Michael W. Whalen
Mats Per Erik Heimdahl
Gregory Gay
Published in:
ISSRE (2015)
Keyphrases
</>
test generation
symbolic execution
test cases
static analysis
test data generation
design automation
specification language
quality assurance
source code
data flow
software testing
artificial intelligence
image processing
general purpose
formal specification