Verification by Testing for Recursive Program Schemes.
Daniel Le MétayerValérie-Anne NicolasOlivier RidouxPublished 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