{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T10:16:27Z","timestamp":1774347387118,"version":"3.50.1"},"reference-count":80,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T00:00:00Z","timestamp":1774310400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T00:00:00Z","timestamp":1774310400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005366","name":"University of Oslo","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005366","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2026,7]]},"DOI":"10.1007\/s10664-026-10810-w","type":"journal-article","created":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T06:38:07Z","timestamp":1774334287000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Mutation-based testing of knowledge graphs"],"prefix":"10.1007","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5855-6632","authenticated-orcid":false,"given":"Tobias","family":"John","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5382-3949","authenticated-orcid":false,"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0996-2543","authenticated-orcid":false,"given":"Eduard","family":"Kamburjan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,3,24]]},"reference":[{"key":"10810_CR1","doi-asserted-by":"publisher","unstructured":"Armstrong TG, Ponnekanti V, Borthakur D, Callaghan M (2013) LinkBench: a database benchmark based on the Facebook social graph. In: Ross KA, Srivastava D, Papadias D (eds) International Conference on Management of Data (SIGMOD Conference), pp 1185\u20131196. ACM, New York, NY, USA. https:\/\/doi.org\/10.1145\/2463676.2465296","DOI":"10.1145\/2463676.2465296"},{"key":"10810_CR2","doi-asserted-by":"publisher","unstructured":"Arp R, Smith B, Spear AD (2015) Building Ontologies with Basic Formal Ontology. The MIT Press, Cambridge, MA, USA. https:\/\/doi.org\/10.7551\/mitpress\/9780262527811.001.0001","DOI":"10.7551\/mitpress\/9780262527811.001.0001"},{"key":"10810_CR3","doi-asserted-by":"publisher","unstructured":"Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) (2003) The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge, England. https:\/\/doi.org\/10.1017\/CBO9780511711787","DOI":"10.1017\/CBO9780511711787"},{"key":"10810_CR4","doi-asserted-by":"publisher","unstructured":"Baader F, Horrocks I, Lutz C, Sattler U (2017) An Introduction to Description Logic. Cambridge University Press, Cambridge. https:\/\/doi.org\/10.1017\/9781139025355","DOI":"10.1017\/9781139025355"},{"key":"10810_CR5","unstructured":"Baader F, Suntisrivaraporn B (2008) Debugging SNOMED CT using axiom pinpointing in the description logic EL+. In: Proceedings of the third international conference on knowledge representation in medicine. CEUR Workshop Proceedings, vol 410. CEUR-WS.org, Aachen, Germany. https:\/\/ceur-ws.org\/Vol-410\/Paper01.pdf Accessed 2025-06-26"},{"issue":"4","key":"10810_CR6","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1109\/TKDE.2016.2633993","volume":"29","author":"G Bagan","year":"2017","unstructured":"Bagan G, Bonifati A, Ciucanu R, Fletcher GHL, Lemay A, Advokaat N (2017) gMark: Schema-driven generation of graphs and queries. IEEE Trans Knowl Data Eng 29(4):856\u2013869. https:\/\/doi.org\/10.1109\/TKDE.2016.2633993","journal-title":"IEEE Trans Knowl Data Eng"},{"issue":"5","key":"10810_CR7","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1109\/TSE.2014.2372785","volume":"41","author":"ET Barr","year":"2015","unstructured":"Barr ET, Harman M, McMinn P, Shahbaz M, Yoo S (2015) The oracle problem in software testing: A survey. IEEE Trans Software Eng 41(5):507\u2013525. https:\/\/doi.org\/10.1109\/TSE.2014.2372785","journal-title":"IEEE Trans Software Eng"},{"key":"10810_CR8","doi-asserted-by":"publisher","unstructured":"Bartolini C (2016) Mutating OWLs: Semantic mutation testing for ontologies. In: Proceedings of the International Workshop on domAin Specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, pp 43\u201353. SciTePress, Set\u00fabal, Portugal. https:\/\/doi.org\/10.5220\/0005844600430053","DOI":"10.5220\/0005844600430053"},{"key":"10810_CR9","doi-asserted-by":"publisher","unstructured":"Beetz M, Be\u00dfler D, Haidu A, Pomarlan M, Bozcuo\u011flu AK, Bartels G (2015) Know Rob 2.0 \u2014 a 2nd generation knowledge processing framework for cognition-enabled robotic agents. In: 2018 IEEE international conference on robotics and automation (ICRA), pp 512\u2013519. https:\/\/doi.org\/10.1109\/ICRA.2018.8460964","DOI":"10.1109\/ICRA.2018.8460964"},{"key":"10810_CR10","volume-title":"Software System Testing and Quality Assurance","author":"B Beizer","year":"1984","unstructured":"Beizer B (1984) Software System Testing and Quality Assurance. Van Nostrand Reinhold Co., USA"},{"issue":"3","key":"10810_CR11","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/1008861.1008865","volume":"12","author":"JL Bentley","year":"1980","unstructured":"Bentley JL, Haken D, Saxe JB (1980) A general method for solving divide-and-conquer recurrences. SIGACT News 12(3):36\u201344. https:\/\/doi.org\/10.1145\/1008861.1008865","journal-title":"SIGACT News"},{"issue":"1","key":"10810_CR12","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/3143561","volume":"51","author":"TY Chen","year":"2018","unstructured":"Chen TY, Kuo F, Liu H, Poon P, Towey D, Tse TH, Zhou ZQ (2018) Metamorphic testing: A review of challenges and opportunities. ACM Comput Surv 51(1):4\u20131427. https:\/\/doi.org\/10.1145\/3143561","journal-title":"ACM Comput Surv"},{"key":"10810_CR13","unstructured":"Coffelt J, Kashani MM, W\u0105sowski A, Kampmann P (2022) Belief-based fault recovery for marine robotics. In: Proceedings of the joint ontology workshops 2022 episode VIII: The Svear Sommar of Ontology. CEUR Workshop Proceedings, vol 3249. CEUR-WS.org, Aachen, Germany. https:\/\/ceur-ws.org\/Vol-3249\/paper3-RobOntics.pdf Accessed 2025-06-26"},{"key":"10810_CR14","doi-asserted-by":"publisher","unstructured":"Collarana D, Galkin M, Lange C, Scerri S, Auer S, Vidal M (2018) Synthesizing knowledge graphs from web sources with the MINTE$$^{+}$$ framework. In: International semantic web conference (ISWC 2018), Part II. Lecture Notes in Computer Science, vol 11137, pp 359\u2013375. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-030-00668-6_22","DOI":"10.1007\/978-3-030-00668-6_22"},{"key":"10810_CR15","doi-asserted-by":"publisher","unstructured":"Corbato CH (2013) Model-based self-awareness patterns for autonomy. PhD thesis, Universidad Polit\u00e9cnica de Madrid.https:\/\/doi.org\/10.20868\/UPM.thesis.23178","DOI":"10.20868\/UPM.thesis.23178"},{"key":"10810_CR16","doi-asserted-by":"publisher","unstructured":"Corman J, Reutter JL, Savkovic O (2018) Semantics and validation of recursive SHACL. In: ISWC (1). Lecture Notes in Computer Science, vol 11136, pp 318\u2013336. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-030-00671-6_19","DOI":"10.1007\/978-3-030-00671-6_19"},{"key":"10810_CR17","doi-asserted-by":"publisher","unstructured":"Davies K, Keet CM, Lawrynowicz A (2017) TDDonto2: A test-driven development plugin for arbitrary TBox and ABox axioms. In: The semantic Web: ESWC 2017 satellite events, revised selected papers. Lect Notes Comp Sci, vol 10577, pp 120\u2013125. Springer, Cham.https:\/\/doi.org\/10.1007\/978-3-319-70407-4_23","DOI":"10.1007\/978-3-319-70407-4_23"},{"key":"10810_CR18","doi-asserted-by":"publisher","first-page":"5609","DOI":"10.1109\/ACCESS.2020.3048186","volume":"9","author":"Z Feng","year":"2021","unstructured":"Feng Z, Mayer W, He K, Kwashie S, Stumptner M, Grossmann G, Peng R, Huang W (2021) A schema-driven synthetic knowledge graph generation approach with extended graph differential dependencies (GDD$$^{\\text{ x }}$$s). IEEE Access 9:5609\u20135639. https:\/\/doi.org\/10.1109\/ACCESS.2020.3048186","journal-title":"IEEE Access"},{"issue":"6","key":"10810_CR19","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/S00778-015-0394-1","volume":"24","author":"L Gal\u00e1rraga","year":"2015","unstructured":"Gal\u00e1rraga L, Teflioudi C, Hose K, Suchanek FM (2015) Fast rule mining in ontological knowledge bases with AMIE+. The International Journal on Very Large Data Bases 24(6):707\u2013730. https:\/\/doi.org\/10.1007\/S00778-015-0394-1","journal-title":"The International Journal on Very Large Data Bases"},{"key":"10810_CR20","doi-asserted-by":"publisher","unstructured":"Gangemi A (2005) Ontology design patterns for semantic web content. In: The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, Proceedings. Lecture Notes in Computer Science, vol 3729, pp 262\u2013276. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/11574620_21","DOI":"10.1007\/11574620_21"},{"key":"10810_CR21","doi-asserted-by":"crossref","unstructured":"Gao W, Pham V, Liu D, Chang O, Murray T, Rubinstein BIP (2023) Beyond the coverage plateau: A comprehensive study of fuzz blockers (registered report). In: FUZZING, pp 47\u201355. ACM.","DOI":"10.1145\/3605157.3605177"},{"key":"10810_CR22","doi-asserted-by":"publisher","DOI":"10.1016\/j.cageo.2019.104387","volume":"135","author":"LF Garcia","year":"2020","unstructured":"Garcia LF, Abel M, Perrin M, Dos Santos AR (2020) The GeoCore ontology: A core ontology for general use in Geology. Computers & Geosciences 135:104387. https:\/\/doi.org\/10.1016\/j.cageo.2019.104387","journal-title":"Computers & Geosciences"},{"issue":"3","key":"10810_CR23","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/S10817-014-9305-1","volume":"53","author":"B Glimm","year":"2014","unstructured":"Glimm B, Horrocks I, Motik B, Stoilos G, Wang Z (2014) Hermit: An OWL 2 reasoner. J Autom Reason 53(3):245\u2013269. https:\/\/doi.org\/10.1007\/S10817-014-9305-1","journal-title":"J Autom Reason"},{"key":"10810_CR24","doi-asserted-by":"publisher","unstructured":"Godefroid P, Kiezun A, Levin MY (2008) Grammar-based whitebox fuzzing. In: Proceedings of the 29th ACM SIGPLAN conference on programming language design and implementation. PLDI \u201908, pp 206\u2013215. ACM, New York, NY, USA. https:\/\/doi.org\/10.1145\/1375581.1375607","DOI":"10.1145\/1375581.1375607"},{"issue":"3","key":"10810_CR25","doi-asserted-by":"publisher","first-page":"571","DOI":"10.3233\/SW-222993","volume":"13","author":"S Gottschalk","year":"2022","unstructured":"Gottschalk S, Demidova E (2022) Tab2KG: Semantic table interpretation with lightweight semantic profiles. Semantic Web 13(3):571\u2013597. https:\/\/doi.org\/10.3233\/SW-222993","journal-title":"Semantic Web"},{"issue":"6","key":"10810_CR26","doi-asserted-by":"publisher","first-page":"3972","DOI":"10.1007\/s10664-019-09718-5","volume":"24","author":"I Hadar","year":"2019","unstructured":"Hadar I, Zamansky A, Berry DM (2019) The inconsistency between theory and practice in managing inconsistency in requirements engineering. Empir Softw Eng 24(6):3972\u20134005","journal-title":"Empir Softw Eng"},{"key":"10810_CR27","doi-asserted-by":"publisher","unstructured":"Havrikov N, Zeller A (2019) Systematically covering input structure. In: 34th IEEE\/ACM international conference on automated software engineering, ASE 2019, pp 189\u2013199. IEEE, New York City, NY, USA. https:\/\/doi.org\/10.1109\/ASE.2019.00027","DOI":"10.1109\/ASE.2019.00027"},{"issue":"2","key":"10810_CR28","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/3397512","volume":"64","author":"P Hitzler","year":"2021","unstructured":"Hitzler P (2021) A review of the semantic web field. Commun ACM 64(2):76\u201383. https:\/\/doi.org\/10.1145\/3397512","journal-title":"Commun ACM"},{"issue":"4","key":"10810_CR29","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/3447772","volume":"54","author":"A Hogan","year":"2022","unstructured":"Hogan A, Blomqvist E, Cochez M, d\u2019Amato C, Melo G, Gutierrez C, Kirrane S, Gayo JEL, Navigli R, Neumaier S, Ngomo AN, Polleres A, Rashid SM, Rula A, Schmelzeisen L, Sequeda JF, Staab S, Zimmermann A (2022) Knowledge graphs. ACM Comput Surv 54(4):71\u201317137. https:\/\/doi.org\/10.1145\/3447772","journal-title":"ACM Comput Surv"},{"key":"10810_CR30","doi-asserted-by":"publisher","unstructured":"Horridge M, Parsia B, Sattler U (2009) Explaining inconsistencies in OWL ontologies. In: Scalable uncertainty management, third international conference, SUM 2009. Lecture Notes in Computer Science, vol 5785, pp 124\u2013137. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-04388-8_11","DOI":"10.1007\/978-3-642-04388-8_11"},{"key":"10810_CR31","unstructured":"Horrocks I, Wu Z, Grau BC, Fokoue A, Motik B (2012) OWL 2 web ontology language profiles (second edition). W3C recommendation, W3C. https:\/\/www.w3.org\/TR\/2012\/REC-owl2-profiles-20121211 Accessed 2025-06-26"},{"key":"10810_CR32","doi-asserted-by":"publisher","unstructured":"Hua Z, Lin W, Ren L, Li Z, Zhang L, Jiao W, Xie T (2023) GDsmith: Detecting bugs in cypher graph database engines. In: Just R, Fraser G (eds) Proceedings of the 32nd ACM SIGSOFT international symposium on software testing and analysis, ISSTA 2023, pp 163\u2013174. ACM, New York, NY, USA.https:\/\/doi.org\/10.1145\/3597926.3598046","DOI":"10.1145\/3597926.3598046"},{"key":"10810_CR33","doi-asserted-by":"publisher","unstructured":"Hubert N, Monnin P, d\u2019Aquin M, Monticolo D, Brun A (2024) PyGraft: Configurable generation of synthetic schemas and knowledge graphs at your fingertips. In: The Semantic Web - International Conference ESWC (2). Lecture Notes in Computer Science, vol 14665, pp 3\u201320. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-031-60635-9_1","DOI":"10.1007\/978-3-031-60635-9_1"},{"key":"10810_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/IEEESTD.2015.7084073","volume":"1872\u20132015","author":"IEEE Robotics and Automation Society","year":"2015","unstructured":"IEEE Robotics and Automation Society (2015) IEEE Standard Ontologies for Robotics and Automation. IEEE Std 1872\u20132015:1\u201360. https:\/\/doi.org\/10.1109\/IEEESTD.2015.7084073","journal-title":"IEEE Std"},{"key":"10810_CR35","doi-asserted-by":"publisher","unstructured":"ISO I (2017) IEEE, systems and software engineering\u2013vocabulary. ISO\/IEC\/IEEE 24765:2017(E), 1\u2013541. https:\/\/doi.org\/10.1109\/IEEESTD.2017.8016712","DOI":"10.1109\/IEEESTD.2017.8016712"},{"key":"10810_CR36","doi-asserted-by":"publisher","unstructured":"Jiang Y, Liu J, Ba J, Yap RHC, Liang Z, Rigger M (2024) Detecting logic bugs in graph database management systems via injective and surjective graph query transformation. In: Proceedings of the IEEE\/ACM 46th international conference on software engineering, pp 46\u201314612. ACM, New York, NY, USA. https:\/\/doi.org\/10.1145\/3597503.3623307","DOI":"10.1145\/3597503.3623307"},{"key":"10810_CR37","doi-asserted-by":"publisher","unstructured":"John T, Johnsen EB, Kamburjan E, Steinh\u00f6fel D (2025) Language-based testing for knowledge graphs. In: 22nd European semantic web conference (ESWC 2025). Lecture Notes in Computer Science, vol 15719, pp 24\u201346. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-031-94578-6_2","DOI":"10.1007\/978-3-031-94578-6_2"},{"key":"10810_CR38","doi-asserted-by":"publisher","unstructured":"John T, Johnsen EB, Kamburjan E (2024) Mutation-based integration testing of knowledge graph applications. In: 35th IEEE international symposium on software reliability engineering, ISSRE 2024, pp 475\u2013486. IEEE, New York City, NY, USA.https:\/\/doi.org\/10.1109\/ISSRE62328.2024.00052","DOI":"10.1109\/ISSRE62328.2024.00052"},{"key":"10810_CR39","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.18184273","author":"T John","year":"2026","unstructured":"John T, Johnsen EB, Kamburjan E (2026) EMSE 2026 Knowledge Graph Mutation Virtual Machine. Zenodo. https:\/\/doi.org\/10.5281\/zenodo.18184273","journal-title":"Zenodo"},{"key":"10810_CR40","doi-asserted-by":"publisher","unstructured":"Kamm M, Rigger M, Zhang C, Su Z (2023) Testing graph database engines via query partitioning. In: Proceedings of the 32nd ACM SIGSOFT international symposium on software testing and analysis, pp 140\u2013149. ACM, New York, NY, USA. https:\/\/doi.org\/10.1145\/3597926.3598044","DOI":"10.1145\/3597926.3598044"},{"issue":"1","key":"10810_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/S10817-013-9296-3","volume":"53","author":"Y Kazakov","year":"2014","unstructured":"Kazakov Y, Kr\u00f6tzsch M, Simancik F (2014) The incredible ELK - from polynomial procedures to efficient reasoning with EL ontologies. J Autom Reason 53(1):1\u201361. https:\/\/doi.org\/10.1007\/S10817-013-9296-3","journal-title":"J Autom Reason"},{"key":"10810_CR42","doi-asserted-by":"publisher","unstructured":"Keet CM, Lawrynowicz A (2016) Test-driven development of ontologies. In: The semantic web. Latest Advances and New Domains - 13th International Conference, ESWC 2016, Proceedings. Lecture Notes in Computer Science, vol 9678, pp 642\u2013657. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-319-34129-3_39","DOI":"10.1007\/978-3-319-34129-3_39"},{"issue":"1","key":"10810_CR43","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MC.2019.2951980","volume":"53","author":"R Kuhn","year":"2020","unstructured":"Kuhn R, Kacker RN, Lei Y, Simos DE (2020) Input space coverage matters. Computer 53(1):37\u201344. https:\/\/doi.org\/10.1109\/MC.2019.2951980","journal-title":"Computer"},{"key":"10810_CR44","doi-asserted-by":"publisher","unstructured":"Lee S, Bai X, Chen Y (2008) Automatic mutation testing and simulation on OWL-S specified web services. In: 41st Annual simulation symposium (ANSS-41 2008), pp 149\u2013156. https:\/\/doi.org\/10.1109\/ANSS-41.2008.13","DOI":"10.1109\/ANSS-41.2008.13"},{"key":"10810_CR45","doi-asserted-by":"publisher","unstructured":"Lemieux C, Sen K (2018) FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage. In: Proceedings of the 33rd ACM\/IEEE international conference on automated software engineering, pp 475\u2013485. ACM, New York, NY, USA. https:\/\/doi.org\/10.1145\/3238147.3238176","DOI":"10.1145\/3238147.3238176"},{"key":"10810_CR46","doi-asserted-by":"publisher","unstructured":"Liu S, Lan J, Du X, Li J, Lu W, Jiang J, Du X (2024) Testing graph database systems with graph-state persistence oracle. In: Proceedings of the 33rd ACM SIGSOFT international symposium on software testing and analysis, ISSTA 2024, pp 666\u2013677. ACM, New York, NY, USA. https:\/\/doi.org\/10.1145\/3650212.3680311","DOI":"10.1145\/3650212.3680311"},{"key":"10810_CR47","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/BS.ADCOM.2017.11.003","volume":"108","author":"F Lonetti","year":"2018","unstructured":"Lonetti F, Marchetti E (2018) Chapter Three - Emerging Software Testing Technologies. Adv Comput 108:91\u2013143. https:\/\/doi.org\/10.1016\/BS.ADCOM.2017.11.003","journal-title":"Adv Comput"},{"issue":"66","key":"10810_CR48","doi-asserted-by":"publisher","first-page":"6074","DOI":"10.1126\/scirobotics.abm6074","volume":"7","author":"S Macenski","year":"2022","unstructured":"Macenski S, Foote T, Gerkey B, Lalancette C, Woodall W (2022) Robot operating system 2: Design, architecture, and uses in the wild. Sci Robot 7(66):6074. https:\/\/doi.org\/10.1126\/scirobotics.abm6074","journal-title":"Sci Robot"},{"key":"10810_CR49","doi-asserted-by":"publisher","unstructured":"Mansur MN, W\u00fcstholz V, Christakis M (2023) Dependency-aware metamorphic testing of datalog engines. In: Proceedings of the 32nd ACM SIGSOFT international symposium on software testing and analysis, pp 236\u2013247. ACM, Seattle, WA, USA. https:\/\/doi.org\/10.1145\/3597926.3598052","DOI":"10.1145\/3597926.3598052"},{"key":"10810_CR50","doi-asserted-by":"publisher","unstructured":"Myers GJ, Sandler C, Badgett T (2011) The Art of Software Testing. John Wiley & Sons, Hoboken, New Jersey, USA. https:\/\/doi.org\/10.1002\/9781119202486","DOI":"10.1002\/9781119202486"},{"key":"10810_CR51","doi-asserted-by":"publisher","unstructured":"Niles I, Pease A (2001) Towards a standard upper ontology. In: Proceedings of the international conference on formal ontology in information systems - Volume 2001. FOIS \u201901, pp 2\u20139. ACM, New York, NY, USA. https:\/\/doi.org\/10.1145\/505168.505170","DOI":"10.1145\/505168.505170"},{"issue":"05","key":"10810_CR52","doi-asserted-by":"publisher","first-page":"12","DOI":"10.2118\/09-05-12-GE","volume":"48","author":"H Niu","year":"2009","unstructured":"Niu H, Adams S, Lee K, Husain T, Bose N (2009) Applications of Autonomous Underwater Vehicles in Offshore Petroleum Industry Environmental Effects Monitoring. J Can Pet Technol 48(05):12\u201316. https:\/\/doi.org\/10.2118\/09-05-12-GE","journal-title":"J Can Pet Technol"},{"key":"10810_CR53","doi-asserted-by":"publisher","unstructured":"Olivares-Alarcos A, Be\u00dfler D, Khamis A, Goncalves P, Habib MK, Bermejo-Alonso J, Barreto M, Diab M, Rosell J, Quintas J, Olszewska J, Nakawala H, Pignaton E, Gyrard A, Borgo S, Aleny\u00e0 G, Beetz M, Li H (2019) A review and comparison of ontology-based approaches to robot autonomy. Knowl Eng Rev 34 (2019\/ed). https:\/\/doi.org\/10.1017\/S0269888919000237","DOI":"10.1017\/S0269888919000237"},{"issue":"4","key":"10810_CR54","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/S10817-017-9406-8","volume":"59","author":"B Parsia","year":"2017","unstructured":"Parsia B, Matentzoglu N, Gon\u00e7alves RS, Glimm B, Steigmiller A (2017) The OWL reasoner evaluation (ORE) 2015 competition report. J Autom Reason 59(4):455\u2013482. https:\/\/doi.org\/10.1007\/S10817-017-9406-8","journal-title":"J Autom Reason"},{"key":"10810_CR55","unstructured":"Patel-Schneider P, Motik B (2012) OWL 2 web ontology language mapping to RDF graphs (second edition). W3C recommendation, W3C. https:\/\/www.w3.org\/TR\/2012\/REC-owl2-mapping-to-rdf-20121211\/ Accessed 2025-06-26"},{"key":"10810_CR56","doi-asserted-by":"publisher","unstructured":"Porn, A.M., Peres, L.M.: Semantic mutation test to OWL ontologies. In: Proceedings of the 19th International Conference on Enterprise Information Systems, pp. 434\u2013441. SCITEPRESS - Science and Technology Publications, Porto, Portugal (2017). https:\/\/doi.org\/10.5220\/0006335204340441","DOI":"10.5220\/0006335204340441"},{"key":"10810_CR57","doi-asserted-by":"publisher","unstructured":"Portisch J, Paulheim H (2022) The DLCC node classification benchmark for analyzing knowledge graph embeddings. In: International semantic web conference (ISWC 2022). Lecture Notes in Computer Science, 13489:592\u2013609. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-031-19433-7_34","DOI":"10.1007\/978-3-031-19433-7_34"},{"key":"10810_CR58","doi-asserted-by":"publisher","DOI":"10.1016\/j.acags.2023.100152","volume":"21","author":"Y Qu","year":"2024","unstructured":"Qu Y, Kamburjan E, Torabi A, Giese M (2024) Semantically triggered qualitative simulation of a geological process. Applied Computing and Geosciences 21:100152. https:\/\/doi.org\/10.1016\/j.acags.2023.100152","journal-title":"Applied Computing and Geosciences"},{"issue":"2","key":"10810_CR59","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1504\/IJWET.2016.077342","volume":"11","author":"T Raynaud","year":"2016","unstructured":"Raynaud T, Amir S, Haque R (2016) A generic and high-performance RDF instance generator. Int J Web Eng Technol 11(2):133\u2013152. https:\/\/doi.org\/10.1504\/IJWET.2016.077342","journal-title":"Int J Web Eng Technol"},{"key":"10810_CR60","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.oceaneng.2019.04.011","volume":"181","author":"A Sahoo","year":"2019","unstructured":"Sahoo A, Dwivedy SK, Robi PS (2019) Advancements in the field of autonomous underwater vehicle. Ocean Eng 181:145\u2013160. https:\/\/doi.org\/10.1016\/j.oceaneng.2019.04.011","journal-title":"Ocean Eng"},{"key":"10810_CR61","unstructured":"Samanta B, De A, Jana G, G\u00f3mez V, Chattaraj PK, Ganguly N, Gomez-Rodriguez M (2020) NEVAE: A deep generative model for molecular graphs. J Mach Learn Res 21:114\u2013111433. https:\/\/jmlr.org\/papers\/v21\/19-671.html. Accessed 2025-06-26"},{"key":"10810_CR62","unstructured":"Sattler U, Schneider T, Zakharyaschev M (2009) Which kind of module should I extract? In: Proceedings of the 22nd international workshop on description logics (DL 2009). CEUR Workshop Proceedings, vol 477. CEUR-WS.org, Aachen, Germany. https:\/\/ceur-ws.org\/Vol-477\/paper_33.pdf Accessed 2025-06-26"},{"key":"10810_CR63","doi-asserted-by":"publisher","unstructured":"Shashank SP, Chakka P, Kumar DV (2010) A systematic literature survey of integration testing in component-based software engineering. In: 2010 International conference on computer and communication technology (ICCCT), pp 562\u2013568. https:\/\/doi.org\/10.1109\/ICCCT.2010.5640467","DOI":"10.1109\/ICCCT.2010.5640467"},{"key":"10810_CR64","doi-asserted-by":"publisher","unstructured":"Silva GR, P\u00e4\u00dfler J, Zwanepol J, Alberts E, Tapia Tarifa SL, Gerostathopoulos I, Johnsen EB, Corbato CH (2023) SUAVE: An exemplar for self-adaptive underwater vehicles. In: 2023 IEEE\/ACM 18th symposium on software engineering for adaptive and self-managing systems (SEAMS), pp 181\u2013187. https:\/\/doi.org\/10.1109\/SEAMS59076.2023.00031","DOI":"10.1109\/SEAMS59076.2023.00031"},{"issue":"2","key":"10810_CR65","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/J.WEBSEM.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin E, Parsia B, Grau BC, Kalyanpur A, Katz Y (2007) Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5(2):51\u201353007. https:\/\/doi.org\/10.1016\/J.WEBSEM.2007.03.004","journal-title":"Journal of Web Semantics"},{"key":"10810_CR66","unstructured":"Slutz DR (1998) Massive stochastic testing of SQL. In: VLDB\u201998, proceedings of 24rd international conference on very large data bases, pp 618\u2013622. Morgan Kaufmann, Burlington, Massachusetts, USA. http:\/\/www.vldb.org\/conf\/1998\/p618.pdf Accessed 2025-06-26"},{"key":"10810_CR67","doi-asserted-by":"publisher","unstructured":"Steinh\u00f6fel D, Zeller A (2022) Input invariants. In: Proceedings of the 30th ACM joint european software engineering conference and symposium on the foundations of software engineering, ESEC\/FSE 2022, pp 583\u2013594. ACM, New York, NY, USA. https:\/\/doi.org\/10.1145\/3540250.3549139","DOI":"10.1145\/3540250.3549139"},{"key":"10810_CR68","unstructured":"Thompson H, Malhotra A, Sperberg-McQueen M, Peterson D, Gao S, Biron PV (2012) W3C XML schema definition language (XSD) 1.1 part 2: Datatypes. W3C recommendation, W3C. https:\/\/www.w3.org\/TR\/2012\/REC-xmlschema11-2-20120405 Accessed 2025-06-26"},{"key":"10810_CR69","doi-asserted-by":"publisher","unstructured":"Vecovska M, Jovanovik M (2024) Rdfgraphgen: A synthetic RDF graph generator based on SHACL constraints. Computing Research Repository. https:\/\/doi.org\/10.48550\/ARXIV.2407.17941","DOI":"10.48550\/ARXIV.2407.17941"},{"key":"10810_CR70","doi-asserted-by":"publisher","unstructured":"Wang H, Wang J, Wang J, Zhao M, Zhang W, Zhang F, Xie X, Guo M (2018) GraphGAN: Graph representation learning with generative adversarial nets. In: AAAI conference on artificial intelligence, pp 2508\u20132515. AAAI Press, Washington, D.C., USA. https:\/\/doi.org\/10.1609\/AAAI.V32I1.11872","DOI":"10.1609\/AAAI.V32I1.11872"},{"key":"10810_CR71","doi-asserted-by":"publisher","unstructured":"Yang R, Zheng Y, Tang L, Dou W, Wang W, Wei J (2023) Randomized differential testing of RDF stores. In: 45th IEEE\/ACM international conference on software engineering: ICSE 2023 companion proceedings, pp 136\u2013140. IEEE, New York City, NY, USA. https:\/\/doi.org\/10.1109\/ICSE-COMPANION58688.2023.00041","DOI":"10.1109\/ICSE-COMPANION58688.2023.00041"},{"key":"10810_CR72","unstructured":"You J, Ying R, Ren X, Hamilton WL, Leskovec J (2018) GraphRNN: Generating realistic graphs with deep auto-regressive models. In: International conference on machine learning (ICML). Proceedings of Machine Learning Research, vol 80, pp 5694\u20135703. PMLR, USA. http:\/\/proceedings.mlr.press\/v80\/you18a.html Accessed 2025-06-26"},{"key":"10810_CR73","unstructured":"Zeller A, Gopinath R, B\u00f6hme M, Fraser G, Holler C (2024) The Fuzzing Book. CISPA Helmholtz Center for Information Security, Saarbr\u00fccken, Germany. Retrieved 2024-01-18. https:\/\/www.fuzzingbook.org\/ Accessed 2024-01-18"},{"issue":"4","key":"10810_CR74","doi-asserted-by":"publisher","first-page":"569","DOI":"10.3233\/SW-200413","volume":"12","author":"V Zeman","year":"2021","unstructured":"Zeman V, Kliegr T, Sv\u00e1tek V (2021) RDFRules: Making RDF rule mining easier and even more efficient. Semantic Web 12(4):569\u2013602. https:\/\/doi.org\/10.3233\/SW-200413","journal-title":"Semantic Web"},{"issue":"10","key":"10810_CR75","doi-asserted-by":"publisher","first-page":"3481","DOI":"10.3390\/s18103481","volume":"18","author":"Z Zhai","year":"2018","unstructured":"Zhai Z, Mart\u00ednez Ortega J-F, Lucas Mart\u00ednez N, Castillejo P (2018) A Rule-Based Reasoner for Underwater Robots Using OWL and SWRL. Sensors 18(10):3481. https:\/\/doi.org\/10.3390\/s18103481","journal-title":"Sensors"},{"key":"10810_CR76","doi-asserted-by":"publisher","unstructured":"Zhao L, Liu Y (2024) Design of semantic web distributed retrieval system based on rule reasoning algorithm. In: 2024 4th Asia-Pacific conference on communications technology and computer science (ACCTCS), New York City, NY, USA, pp 192\u2013196. https:\/\/doi.org\/10.1109\/ACCTCS61748.2024.00041. IEEE","DOI":"10.1109\/ACCTCS61748.2024.00041"},{"key":"10810_CR77","doi-asserted-by":"publisher","unstructured":"Zheng Y, Dou W, Tang L, Cui Z, Song J, Cheng Z, Wang W, Wei J, Zhong H, Huang T (2024) Differential optimization testing of gremlin-based graph database systems. In: IEEE conference on software testing, verification and validation, ICST 2024, pp 25\u201336. IEEE, New York City, NY, USA. https:\/\/doi.org\/10.1109\/ICST60714.2024.00012","DOI":"10.1109\/ICST60714.2024.00012"},{"key":"10810_CR78","doi-asserted-by":"publisher","unstructured":"Zheng Y, Dou W, Wang Y, Qin Z, Tang L, Gao Y, Wang D, Wang W, Wei J (2022) Finding bugs in gremlin-based graph database systems via randomized differential testing. In: ISSTA \u201922: 31st ACM SIGSOFT international symposium on software testing and analysis, pp 302\u2013313. ACM, New York, NY, USA. https:\/\/doi.org\/10.1145\/3533767.3534409","DOI":"10.1145\/3533767.3534409"},{"issue":"4","key":"10810_CR79","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H Zhu","year":"1997","unstructured":"Zhu H, Hall PAV, May JHR (1997) Software unit test coverage and adequacy. ACM Comput Surv 29(4):366\u2013427. https:\/\/doi.org\/10.1145\/267580.267590","journal-title":"ACM Comput Surv"},{"key":"10810_CR80","doi-asserted-by":"publisher","unstructured":"Zhuang Z, Li P, Ma P, Meng W, Wang S (2023) Testing graph database systems via graph-aware metamorphic relations. Proceedings of the VLDB Endowment. 17(4):836\u2013848. https:\/\/doi.org\/10.14778\/3636218.3636236","DOI":"10.14778\/3636218.3636236"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-026-10810-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10664-026-10810-w","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-026-10810-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T06:38:12Z","timestamp":1774334292000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10664-026-10810-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,24]]},"references-count":80,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2026,7]]}},"alternative-id":["10810"],"URL":"https:\/\/doi.org\/10.1007\/s10664-026-10810-w","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,24]]},"assertion":[{"value":"4 March 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 January 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 March 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interests\/Competing interests"}},{"value":"not applicable","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Approval"}},{"value":"not applicable","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Informed Consent"}},{"value":"not applicable","order":5,"name":"Ethics","group":{"name":"EthicsHeading","label":"Clinical Trial Number"}}],"article-number":"99"}}