Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software | IEEE Conference Publication | IEEE Xplore