Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)
Mutating OWLs: semantic mutation testing for ontologies
Bartolini, Cesare
2016International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO), in conjunction with the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
 

Files


Full Text
main.pdf
Author postprint (220.89 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Mutation testing; Ontology; OWL; Mutant generation
Abstract :
[en] Ontologies are an essential component of semantic knowledge bases and applications, and nowadays they are used in a plethora of domains. Despite the maturity of ontology languages, support tools and engineering techniques, the testing and validation of ontologies is a field which still lacks consolidated approaches and tools. This paper attempts at partly bridging that gap, taking a first step towards the extension of mutation testing techniques to ontologies expressed in a widely-used format. Mutation testing techniques, revisited in the light of the peculiar features of the ontology language and structure, can help in the engineering and refinement of ontologies and software based on them.
Disciplines :
Computer science
Author, co-author :
Bartolini, Cesare ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
no
Language :
English
Title :
Mutating OWLs: semantic mutation testing for ontologies
Publication date :
19 February 2016
Number of pages :
11
Event name :
International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO), in conjunction with the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
Event place :
Rome, Italy
Event date :
19-02-2016
Audience :
International
Available on ORBilu :
since 12 February 2016

Statistics


Number of views
226 (2 by Unilu)
Number of downloads
266 (2 by Unilu)

Bibliography


Similar publications



Contact ORBilu