Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study.

Abderrahmane Feliachi Marie-Claude Gaudel Burkhart Wolff

Published 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