Using OWL Ontologies as a Domain-Specific Language for Capturing Requirements for Formal Analysis and Test Case Generation.
Andrew W. CrapoAbha MoitraPublished in: ICSC (2019)
Keyphrases
- formal analysis
- owl ontologies
- test case generation
- test cases
- software testing
- test data generation
- description logics
- formal methods
- object oriented systems
- production rules
- domain ontology
- semantic annotation
- test suite
- agent model
- knowledge base
- data sets
- semi automatic
- training data
- machine learning
- neural network
- databases