Symbolic Execution with Invariant Inlay: Evaluating the Potential.

Eman Alatawi Tim Miller Harald Søndergaard

Published in: ASWEC (2018)

Keyphrases

symbolic execution
test generation
static analysis
data sets
neural network
artificial intelligence
database systems
specification language
data flow