Generalisation of Induction Formulae based on Proving by Symbolic Execution.

Angela Wallenburg

Published in: WING@ETAPS/IJCAR (2010)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
specification language
source code
data flow
artificial intelligence
decision trees
state space
general purpose
formal specification
description language