Automatic testing of symbolic execution engines via program generation and differential testing.

Timotej Kapus Cristian Cadar

Published in: ASE (2017)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
source code
test cases
specification language
data flow
neural network
artificial intelligence
machine vision
software testing
database
orders of magnitude
test suite
simulated annealing algorithm