Verification by Testing for Recursive Program Schemes.

Daniel Le Métayer Valérie-Anne Nicolas Olivier Ridoux

Published in: LOPSTR (1999)

Keyphrases

symbolic execution
test generation
static analysis
test cases
formal verification
test data generation

model checking
search based software testing
source code
hardware designs
neural network

software testing
asynchronous circuits
programming environment
datalog programs
dynamic analysis

deductive databases
recursive algorithm
case study
recursive programs
concurrent programs