Symbolic execution of high-level transformations.

Ahmad Salim Al-Sibahi Aleksandar S. Dimovski Andrzej Wasowski

Published in: SLE (2016)

Keyphrases

symbolic execution
high level
source code
static analysis
low level
test data generation
test generation
specification language
programming language
data flow
databases
search algorithm
open source
software systems
training data
software engineering
general purpose
software projects