Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis.
Richard CastanetDavy RouillardPublished in: TestCom (2002)
Keyphrases
- test cases
- theorem proving
- reachability analysis
- timed automata
- theorem prover
- first order logic
- model checking
- software testing
- test data
- automated reasoning
- inference rules
- regression testing
- test generation
- test sequences
- parallel search
- markov decision processes
- proof planning
- testing process
- test suite
- test case generation
- test case selection
- model based testing
- test set
- test suite reduction
- test data generation
- state space
- object oriented
- number of test cases
- set of test cases
- consequence finding
- logic programming
- incremental algorithms
- dynamic programming
- multi agent systems
- artificial intelligence
- data mining
- database