Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.
Avik SinhaCarol S. SmidtsAndrew MoranPublished in: ISSRE (2003)
Keyphrases
- automatic extraction
- domain specific
- relation extraction
- general purpose
- domain independent
- knowledge sources
- knowledge base
- term extraction
- natural language text
- domain experts
- control flow
- formal verification
- data sets
- high level
- biomedical literature
- specification language
- concurrent systems
- delay insensitive
- test cases
- test suite
- test set
- set theory
- code generation
- reactive systems
- wrapper generation