Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study.
Abderrahmane FeliachiMarie-Claude GaudelBurkhart WolffPublished in: Int. J. Softw. Informatics (2015)
Keyphrases
- test generation
- test cases
- symbolic execution
- test sequences
- static analysis
- design automation
- software testing
- quality assurance
- high level
- formal methods
- theorem prover
- binary decision diagrams
- symbolic representation
- regression testing
- case study
- theorem proving
- cooperative
- databases
- code coverage
- information technology
- decision trees
- computer vision
- real world