Sign in
Beyond testing configurable systems: applying variational execution to automatic program repair and higher order mutation testing.
Chu-Pan Wong
Jens Meinicke
Christian Kästner
Published in:
ESEC/SIGSOFT FSE (2018)
Keyphrases
</>
higher order
mutation testing
test cases
test sequences
symbolic execution
test generation
test suite
testing process
management system
database
learning algorithm
image segmentation
pairwise
database applications
finite state machines
application programs
static analysis
databases