Symbolic execution based on language transformation.

Andrei Arusoaie Dorel Lucanu Vlad Rusu

Published in: Comput. Lang. Syst. Struct. (2015)

Keyphrases

symbolic execution
specification language
static analysis
programming language
test generation
formal specification
artificial intelligence
real world
feature space
general purpose
optimization algorithm
pattern matching
test data generation