Using a Software Testing Technique to Improve Theorem Proving.
Reiner HähnleAngela WallenburgPublished in: FATES (2003)
Keyphrases
- theorem proving
- software testing
- test cases
- theorem prover
- software development
- first order logic
- automated deduction
- decision procedures
- term rewriting
- parallel search
- quality assurance
- software systems
- automated reasoning
- regression testing
- inference rules
- automated theorem proving
- development process
- test case generation
- proof planning
- proof procedure
- integration testing
- white box testing
- consequence finding
- equational theories
- database
- test suite
- knowledge management
- search algorithm
- machine learning