Symbolic execution as a basis for termination analysis.

Published in: Sci. Comput. Program. (2015)

Keyphrases

symbolic execution
termination analysis
abstract interpretation
static analysis
active rules
test generation
active databases
test data generation
source code
specification language
data flow
information systems
object oriented databases