Interleaving Symbolic Execution and Partial Evaluation.

Richard Bubel Reiner Hähnle Ran Ji

Published in: FMCO (2009)

Keyphrases

partial evaluation
symbolic execution
explanation based generalization
static analysis
test data generation
test generation
specification language
source code
data flow
xpath queries
test cases
domain theory
database
high level
training data
logic programming