Login / Signup
Guiding random test generation with program analysis.
Lei Ma
Cyrille Valentin Artho
Cheng Zhang
Hiroyuki Sato
Johannes Gmeiner
Rudolf Ramler
Published in:
Software Engineering (2016)
Keyphrases
</>
test generation
test cases
symbolic execution
test sequences
design automation
static analysis
quality assurance
software testing
mutation testing
data sets
high level
test data generation
code coverage
cooperative