Using OWL Ontologies as a Domain-Specific Language for Capturing Requirements for Formal Analysis and Test Case Generation - Crapo, Andrew W.; Moitra, Abha (2019 IEEE 13th International Conference on Semantic Computing (ICSC), 2019)
Keywords: automated test generation; formal methods; Grammar; Ontologies; ontology; OWL; requirements; Semantics; Software; Valves