{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:14:23Z","timestamp":1775790863513,"version":"3.50.1"},"publisher-location":"Cham","reference-count":115,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031945779","type":"print"},{"value":"9783031945786","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-94578-6_2","type":"book-chapter","created":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T05:15:38Z","timestamp":1748582138000},"page":"24-46","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Language-Based Testing for\u00a0Knowledge Graphs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5855-6632","authenticated-orcid":false,"given":"Tobias","family":"John","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5382-3949","authenticated-orcid":false,"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0996-2543","authenticated-orcid":false,"given":"Eduard","family":"Kamburjan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4439-7129","authenticated-orcid":false,"given":"Dominic","family":"Steinh\u00f6fel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,5,31]]},"reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1103\/RevModPhys.74.47","volume":"74","author":"R Albert","year":"2002","unstructured":"Albert, R., Barab\u00e1si, A.L.: Statistical mechanics of complex networks. Rev. Mod. Phys. 74(1), 47 (2002)","journal-title":"Rev. Mod. Phys."},{"issue":"6","key":"2_CR2","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1145\/3639449","volume":"21","author":"P Alvaro","year":"2024","unstructured":"Alvaro, P., Rigger, M.: Automatically testing database systems: DBMS testing with test oracles, transaction history, and fuzzing. ACM Queue 21(6), 128\u2013135 (2024)","journal-title":"ACM Queue"},{"issue":"8","key":"2_CR3","doi-asserted-by":"publisher","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand, S., et al.: An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86(8), 1978\u20132001 (2013)","journal-title":"J. Syst. Softw."},{"key":"2_CR4","doi-asserted-by":"publisher","unstructured":"Armstrong, T.G., Ponnekanti, V., Borthakur, D., Callaghan, M.: LinkBench: a database benchmark based on the Facebook social graph. In: International Conference on Management of Data (SIGMOD Conference), pp. 1185\u20131196. ACM (2013). https:\/\/doi.org\/10.1145\/2463676.2465296","DOI":"10.1145\/2463676.2465296"},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1145\/3654991","volume":"2","author":"J Ba","year":"2024","unstructured":"Ba, J., Rigger, M.: Keep it simple: testing databases via differential query plans. Proc. ACM Manag. Data 2(3), 188 (2024)","journal-title":"Proc. ACM Manag. Data"},{"issue":"4","key":"2_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, G., Lemay, A., Advokaat, N.: gMark: schema-driven generation of graphs and queries. IEEE Trans. Knowl. Data Eng. 29(4), 856\u2013869 (2017). https:\/\/doi.org\/10.1109\/TKDE.2016.2633993","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"5","key":"2_CR7","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1109\/TSE.2014.2372785","volume":"41","author":"ET Barr","year":"2015","unstructured":"Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. IEEE Trans. Softw. Eng. 41(5), 507\u2013525 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR8","doi-asserted-by":"publisher","unstructured":"B\u00e9ra, C., Miranda, E., Denker, M., Ducasse, S.: Practical validation of bytecode to bytecode JIT compiler dynamic deoptimization. J. Object Technol. 15(2), 1:1\u20131:26 (2016). https:\/\/doi.org\/10.5381\/JOT.2016.15.2.A1","DOI":"10.5381\/JOT.2016.15.2.A1"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Binnig, C., Kossmann, D., Lo, E., \u00d6zsu, M.T.: QAGen: generating query-aware test databases. In: International Conference on Management of Data (SIGMOD Conference), pp. 341\u2013352. ACM (2007). https:\/\/doi.org\/10.1145\/1247480.1247520","DOI":"10.1145\/1247480.1247520"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"B\u00f6hme, M., Pham, V., Nguyen, M., Roychoudhury, A.: Directed greybox fuzzing. In: Conference on Computer and Communications Security (CCS\u201917), pp. 2329\u20132344. ACM (2017)","DOI":"10.1145\/3133956.3134020"},{"issue":"5","key":"2_CR11","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1109\/TSE.2017.2785841","volume":"45","author":"M B\u00f6hme","year":"2019","unstructured":"B\u00f6hme, M., Pham, V., Roychoudhury, A.: Coverage-based greybox fuzzing as Markov chain. IEEE Trans. Softw. Eng. 45(5), 489\u2013506 (2019). https:\/\/doi.org\/10.1109\/TSE.2017.2785841","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"2_CR12","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/S0950-5849(98)00075-5","volume":"41","author":"AS Boujarwah","year":"1999","unstructured":"Boujarwah, A.S., Saleh, K., Al-Dallal, J.: Testing syntax and semantic coverage of Java language compilers. Inf. Softw. Technol. 41(1), 15\u201328 (1999). https:\/\/doi.org\/10.1016\/S0950-5849(98)00075-5","journal-title":"Inf. Softw. Technol."},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Bringolf, M., Winterer, D., Su, Z.: Finding and understanding incompleteness bugs in SMT solvers. In: International Conference on Automated Software Engineering (ASE), pp. 43:1\u201343:10. ACM (2022)","DOI":"10.1145\/3551349.3560435"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Brummayer, R., Biere, A.: Fuzzing and delta-debugging SMT solvers. In: Proceedings of the 7th International Workshop on Satisfiability Modulo Theories, pp.\u00a01\u20135 (2009)","DOI":"10.1145\/1670412.1670413"},{"key":"2_CR15","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Symposium on Operating Systems Design and Implementation (OSDI 2008), pp. 209\u2013224. USENIX Association (2008). http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/cadar\/cadar.pdf"},{"key":"2_CR16","unstructured":"Carothers, G., Prud\u2019hommeaux, E.: RDF 1.1 Turtle. W3C recommendation, W3C (2014). https:\/\/www.w3.org\/TR\/2014\/REC-turtle-20140225\/"},{"key":"2_CR17","doi-asserted-by":"publisher","unstructured":"Chakrabarti, D., Zhan, Y., Faloutsos, C.: R-MAT: a recursive model for graph mining. In: International Conference on Data Mining, pp. 442\u2013446. SIAM (2004). https:\/\/doi.org\/10.1137\/1.9781611972740.43","DOI":"10.1137\/1.9781611972740.43"},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3363562","volume":"53","author":"J Chen","year":"2021","unstructured":"Chen, J., et al.: A survey of compiler testing. ACM Comput. Surv. 53(1), 1\u201336 (2021). https:\/\/doi.org\/10.1145\/3363562","journal-title":"ACM Comput. Surv."},{"key":"2_CR19","unstructured":"Chen, T.Y., Cheung, S., Yiu, S.: Metamorphic testing: a new approach for generating next test cases. CoRR arxiv:2002.12543 (2020)"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-030-00668-6_22","volume-title":"The Semantic Web \u2013 ISWC 2018","author":"D Collarana","year":"2018","unstructured":"Collarana, D., Galkin, M., Lange, C., Scerri, S., Auer, S., Vidal, M.-E.: Synthesizing knowledge graphs from web sources with the MINTE$$^+$$ framework. In: Vrande\u010di\u0107, D., et al. (eds.) ISWC 2018. LNCS, vol. 11137, pp. 359\u2013375. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00668-6_22"},{"key":"2_CR21","unstructured":"Conde-Herreros, D., Stork, L., Pernisch, R., Poveda-Villal\u00f3n, M., Corcho, \u00d3., Chaves-Fraga, D.: Propagating ontology changes to declarative mappings in construction of knowledge graphs. In: International Workshop on Knowledge Graph Construction (KGCW@ESWC). CEUR Workshop Proceedings, vol.\u00a03718. CEUR-WS.org (2024)"},{"key":"2_CR22","doi-asserted-by":"publisher","unstructured":"Cui, Z., et al.: Differentially testing database transactions for fun and profit. In: International Conference on Automated Software Engineering (ASE), pp. 35:1\u201335:12 (2022). https:\/\/doi.org\/10.1145\/3551349.3556924","DOI":"10.1145\/3551349.3556924"},{"key":"2_CR23","doi-asserted-by":"publisher","unstructured":"de la Riva, C., Su\u00e1rez-Cabal, M.J., Tuya, J.: Constraint-based test database generation for SQL queries. In: Workshop on Automation of Software Test, pp. 67\u201374. ACM (2010). https:\/\/doi.org\/10.1145\/1808266.1808276","DOI":"10.1145\/1808266.1808276"},{"key":"2_CR24","doi-asserted-by":"publisher","unstructured":"Demeyer, S., Roover, C.D., Beyazit, M., H\u00e4rtel, J.: Threats to instrument validity within \u201cin silico\" research: software engineering to the rescue. In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies ISoLA (4). LNCS, vol. 15222, pp. 82\u201396. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-75387-9_6","DOI":"10.1007\/978-3-031-75387-9_6"},{"key":"2_CR25","doi-asserted-by":"publisher","unstructured":"Donaldson, A.F., Evrard, H., Lascu, A., Thomson, P.: Automated testing of graphics shader compilers. Proc. ACM Program. Lang. 1(OOPSLA), 93:1\u201393:29 (2017). https:\/\/doi.org\/10.1145\/3133917","DOI":"10.1145\/3133917"},{"issue":"12","key":"2_CR26","doi-asserted-by":"publisher","first-page":"4130","DOI":"10.14778\/3611540.3611636","volume":"16","author":"XL Dong","year":"2023","unstructured":"Dong, X.L.: Generations of knowledge graphs: the crazy ideas and the business impact. Proc. VLDB Endow. 16(12), 4130\u20134137 (2023)","journal-title":"Proc. VLDB Endow."},{"key":"2_CR27","unstructured":"Elk reasoner, issue tracker. https:\/\/github.com\/liveontologies\/elk-reasoner\/issues"},{"issue":"290\u2013297","key":"2_CR28","first-page":"18","volume":"6","author":"P Erd\u0151s","year":"1959","unstructured":"Erd\u0151s, P., R\u00e9nyi, A.: On random graphs I. Publ. Math. Debrecen 6(290\u2013297), 18 (1959)","journal-title":"Publ. Math. Debrecen"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"5609","DOI":"10.1109\/ACCESS.2020.3048186","volume":"9","author":"Z Feng","year":"2021","unstructured":"Feng, Z., et al.: A schema-driven synthetic knowledge graph generation approach with extended graph differential dependencies (GDD$$ ^{\\text{ x }}$$s). IEEE Access 9, 5609\u20135639 (2021)","journal-title":"IEEE Access"},{"key":"2_CR30","unstructured":"Fioraldi, A., Maier, D.C., Ei\u00dffeldt, H., Heuse, M.: AFL++: combining incremental steps of fuzzing research. In: Workshop on Offensive Technologies (WOOT). USENIX Association (2020). https:\/\/www.usenix.org\/conference\/woot20\/presentation\/fioraldi"},{"key":"2_CR31","unstructured":"Foundation, A.S.: Apache Jena. https:\/\/jena.apache.org\/. Accessed 19 July 2008"},{"key":"2_CR32","doi-asserted-by":"publisher","unstructured":"Gao, W., Pham, V., Liu, D., Chang, O., Murray, T., Rubinstein, B.I.P.: Beyond the coverage plateau: a comprehensive study of fuzz blockers (registered report). In: International Fuzzing Workshop (FUZZING), pp. 47\u201355. ACM (2023). https:\/\/doi.org\/10.1145\/3605157.3605177","DOI":"10.1145\/3605157.3605177"},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-319-06200-6_19","volume-title":"NASA Formal Methods","author":"P-L Garoche","year":"2014","unstructured":"Garoche, P.-L., Howar, F., Kahsai, T., Thirioux, X.: Testing-based compiler validation for synchronous languages. In: Badger, J.M., Rozier, K.Y. (eds.) NFM 2014. LNCS, vol. 8430, pp. 246\u2013251. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06200-6_19"},{"key":"2_CR34","doi-asserted-by":"publisher","unstructured":"Ghit, B., Poggi, N., Rosen, J., Xin, R., Boncz, P.A.: SparkFuzz: searching correctness regressions in modern query engines. In: International Workshop on Testing Database Systems (DBTest@SIGMOD 2020), pp. 1:1\u20131:6 (2020). https:\/\/doi.org\/10.1145\/3395032.3395327","DOI":"10.1145\/3395032.3395327"},{"issue":"3","key":"2_CR35","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.: Hermit: an OWL 2 reasoner. J. Autom. Reason. 53(3), 245\u2013269 (2014)","journal-title":"J. Autom. Reason."},{"key":"2_CR36","doi-asserted-by":"publisher","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: Conference on Programming Language Design and Implementation (PLDI), pp. 213\u2013223. ACM (2005). https:\/\/doi.org\/10.1145\/1065010.1065036","DOI":"10.1145\/1065010.1065036"},{"issue":"3","key":"2_CR37","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/2093548.2093564","volume":"55","author":"P Godefroid","year":"2012","unstructured":"Godefroid, P., Levin, M.Y., Molnar, D.A.: SAGE: whitebox fuzzing for security testing. Commun. ACM 55(3), 40\u201344 (2012). https:\/\/doi.org\/10.1145\/2093548.2093564","journal-title":"Commun. ACM"},{"issue":"3","key":"2_CR38","doi-asserted-by":"publisher","first-page":"571","DOI":"10.3233\/SW-222993","volume":"13","author":"S Gottschalk","year":"2022","unstructured":"Gottschalk, S., Demidova, E.: Tab2KG: semantic table interpretation with lightweight semantic profiles. Semant. Web 13(3), 571\u2013597 (2022). https:\/\/doi.org\/10.3233\/SW-222993","journal-title":"Semant. Web"},{"issue":"3","key":"2_CR39","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/3418294","volume":"64","author":"C Gutierrez","year":"2021","unstructured":"Gutierrez, C., Sequeda, J.F.: Knowledge graphs. Commun. ACM 64(3), 96\u2013104 (2021)","journal-title":"Commun. ACM"},{"issue":"4","key":"2_CR40","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1147\/SJ.94.0242","volume":"9","author":"KV Hanford","year":"1970","unstructured":"Hanford, K.V.: Automatic generation of test cases. IBM Syst. J. 9(4), 242\u2013257 (1970). https:\/\/doi.org\/10.1147\/SJ.94.0242","journal-title":"IBM Syst. J."},{"key":"2_CR41","unstructured":"Havrikov, N.: Grammar-based fuzzing using input features. Ph.D. thesis, Saarland University, Saarbr\u00fccken, Germany (2021). https:\/\/publikationen.sulb.uni-saarland.de\/handle\/20.500.11880\/32722"},{"key":"2_CR42","doi-asserted-by":"publisher","unstructured":"Hawblitzel, C., et al.: Will you still compile me tomorrow? static cross-version compiler validation. In: Joint Meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering, (ESEC\/FSE), pp. 191\u2013201. ACM (2013). https:\/\/doi.org\/10.1145\/2491411.2491442","DOI":"10.1145\/2491411.2491442"},{"issue":"2","key":"2_CR43","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/3397512","volume":"64","author":"P Hitzler","year":"2021","unstructured":"Hitzler, P.: A review of the semantic web field. Commun. ACM 64(2), 76\u201383 (2021). https:\/\/doi.org\/10.1145\/3397512","journal-title":"Commun. ACM"},{"key":"2_CR44","doi-asserted-by":"publisher","unstructured":"Hodov\u00e1n, R., Kiss, \u00c1., Gyim\u00f3thy, T.: Grammarinator: a grammar-based open source fuzzer. In: International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST@SIGSOFT FSE, pp. 45\u201348. ACM (2018). https:\/\/doi.org\/10.1145\/3278186.3278193","DOI":"10.1145\/3278186.3278193"},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"Hogan, A., et al.: Knowledge graphs. ACM Comput. Surv. 54(4), 71:1\u201371:37 (2022)","DOI":"10.1145\/3447772"},{"key":"2_CR46","unstructured":"Holler, C., Herzig, K., Zeller, A.: Fuzzing with code fragments. In: USENIX Security Symposium, pp. 445\u2013458. USENIX Association (2012). https:\/\/www.usenix.org\/conference\/usenixsecurity12\/technical-sessions\/presentation\/holler"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Horridge, M., Bechhofer, S.: The OWL API: a java API for working with OWL 2 ontologies. In: International Workshop on OWL: Experiences and Directions OWLED. CEUR Workshop Proceedings, vol.\u00a0529. CEUR-WS.org (2009)","DOI":"10.3233\/SW-2011-0025"},{"key":"2_CR48","unstructured":"Horrocks, I., Wu, Z., Grau, B.C., Fokoue, A., Motik, B.: OWL 2 web ontology language profiles (second edition). W3C recommendation, W3C (2012). https:\/\/www.w3.org\/TR\/2012\/REC-owl2-profiles-20121211"},{"key":"2_CR49","unstructured":"Houkj\u00e6r, K., Torp, K., Wind, R.: Simple and realistic data generation. In: International Conference on Very Large Data Bases (VLDB), pp. 1243\u20131246 (2006)"},{"key":"2_CR50","doi-asserted-by":"publisher","unstructured":"Hua, Z., et al.: GDsmith: detecting bugs in cypher graph database engines. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 163\u2013174. ACM (2023). https:\/\/doi.org\/10.1145\/3597926.3598046","DOI":"10.1145\/3597926.3598046"},{"key":"2_CR51","doi-asserted-by":"publisher","unstructured":"Hubert, N., Monnin, P., d\u2019Aquin, M., Monticolo, D., Brun, A.: Pygraft: configurable generation of synthetic schemas and knowledge graphs at your fingertips. In: The Semantic Web - International Conference ESWC (2). LNCS, vol. 14665, pp. 3\u201320. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-60635-9_1","DOI":"10.1007\/978-3-031-60635-9_1"},{"key":"2_CR52","unstructured":"Ileri, A.M., McGinty, H.: VEL: a formally verified reasoner for EL++ description logic. In: International Semantic Web Conference ISWC (Posters\/Demos\/Industry). International Workshop on OWL: Experiences and Directions, CEUR Workshop Proceedings, vol.\u00a03828. CEUR-WS.org (2024)"},{"key":"2_CR53","unstructured":"Apache Jena, issue tracker. https:\/\/github.com\/apache\/jena\/issues"},{"key":"2_CR54","doi-asserted-by":"publisher","unstructured":"Jiang, Y., Liu, J., Ba, J., Yap, R.H.C., Liang, Z., Rigger, M.: Detecting logic bugs in graph database management systems via injective and surjective graph query transformation. In: International Conference on Software Engineering (ICSE), pp. 46:1\u201346:12. ACM (2024). https:\/\/doi.org\/10.1145\/3597503.3623307","DOI":"10.1145\/3597503.3623307"},{"key":"2_CR55","doi-asserted-by":"publisher","unstructured":"John, T., Johnsen, E.B., Kamburjan, E.: Mutation-based integration testing of knowledge graph applications. In: International Symposium on Software Reliability Engineering (ISSRE), pp. 475\u2013486. ACM (2024). https:\/\/doi.org\/10.1109\/ISSRE62328.2024.00052","DOI":"10.1109\/ISSRE62328.2024.00052"},{"key":"2_CR56","doi-asserted-by":"publisher","unstructured":"John, T., Johnsen, E.B., Kamburjan, E., Steinh\u00f6fel, D.: Supplementary material for paper \u201cLanguage-based testing for knowledge graphs\". Zenodo (2025). https:\/\/doi.org\/10.5281\/zenodo.14512591","DOI":"10.5281\/zenodo.14512591"},{"issue":"1","key":"2_CR57","doi-asserted-by":"publisher","first-page":"57","DOI":"10.14778\/3357377.3357382","volume":"13","author":"J Jung","year":"2019","unstructured":"Jung, J., Hu, H., Arulraj, J., Kim, T., Kang, W.H.: APOLLO: automatic detection and diagnosis of performance regressions in database systems. Proc. VLDB Endow. 13(1), 57\u201370 (2019)","journal-title":"Proc. VLDB Endow."},{"key":"2_CR58","doi-asserted-by":"publisher","unstructured":"Kamm, M., Rigger, M., Zhang, C., Su, Z.: Testing graph database engines via query partitioning. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 140\u2013149. ACM (2024). https:\/\/doi.org\/10.1145\/3597926.3598044","DOI":"10.1145\/3597926.3598044"},{"issue":"1","key":"2_CR59","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.: The incredible ELK - from polynomial procedures to efficient reasoning with EL ontologies. J. Autom. Reason. 53(1), 1\u201361 (2014)","journal-title":"J. Autom. Reason."},{"key":"2_CR60","doi-asserted-by":"publisher","unstructured":"Le, V., Afshari, M., Su, Z.: Compiler validation via equivalence modulo inputs. In: Conference on Programming Language Design and Implementation (PLDI), pp. 216\u2013226. ACM (2014). https:\/\/doi.org\/10.1145\/2594291.2594334","DOI":"10.1145\/2594291.2594334"},{"key":"2_CR61","doi-asserted-by":"publisher","unstructured":"Le, V., Sun, C., Su, Z.: Finding deep compiler bugs via guided stochastic program mutation. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2015), pp. 386\u2013399. ACM (2015). https:\/\/doi.org\/10.1145\/2814270.2814319","DOI":"10.1145\/2814270.2814319"},{"key":"2_CR62","doi-asserted-by":"publisher","unstructured":"Lindig, C.: Random testing of C calling conventions. In: International Workshop on Automated Debugging (AADEBUG), pp. 3\u201312. ACM (2005). https:\/\/doi.org\/10.1145\/1085130.1085132","DOI":"10.1145\/1085130.1085132"},{"key":"2_CR63","doi-asserted-by":"publisher","unstructured":"Liu, S., et al.: Testing graph database systems with graph-state persistence oracle. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 666\u2013677. ACM (2024). https:\/\/doi.org\/10.1145\/3650212.3680311","DOI":"10.1145\/3650212.3680311"},{"issue":"OOPSLA1","key":"2_CR64","doi-asserted-by":"publisher","first-page":"1380","DOI":"10.1145\/3649860","volume":"8","author":"Y Lu","year":"2024","unstructured":"Lu, Y., Hou, W., Pan, M., Li, X., Su, Z.: Understanding and finding Java decompiler bugs. Proc. ACM Program. Lang. 8(OOPSLA1), 1380\u20131406 (2024)","journal-title":"Proc. ACM Program. Lang."},{"key":"2_CR65","doi-asserted-by":"publisher","unstructured":"Mansur, M.N., Christakis, M., W\u00fcstholz, V., Zhang, F.: Detecting critical bugs in SMT solvers using blackbox mutational fuzzing. In: Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE), pp. 701\u2013712. ACM (2020). https:\/\/doi.org\/10.1145\/3368089.3409763","DOI":"10.1145\/3368089.3409763"},{"issue":"12","key":"2_CR66","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/96267.96279","volume":"33","author":"BP Miller","year":"1990","unstructured":"Miller, B.P., Fredriksen, L., So, B.: An empirical study of the reliability of UNIX utilities. Commun. ACM 33(12), 32\u201344 (1990). https:\/\/doi.org\/10.1145\/96267.96279","journal-title":"Commun. ACM"},{"issue":"5807","key":"2_CR67","doi-asserted-by":"publisher","first-page":"1856","DOI":"10.1126\/science.314.5807.1856","volume":"314","author":"G Miller","year":"2006","unstructured":"Miller, G.: A scientist\u2019s nightmare: software problem leads to five retractions. Science 314(5807), 1856\u20131857 (2006). https:\/\/doi.org\/10.1126\/science.314.5807.1856","journal-title":"Science"},{"issue":"4","key":"2_CR68","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/2757001.2757003","volume":"1","author":"MA Musen","year":"2015","unstructured":"Musen, M.A.: The Prot\u00e9g\u00e9 project: a look back and a look forward. AI Matters 1(4), 4\u201312 (2015). https:\/\/doi.org\/10.1145\/2757001.2757003","journal-title":"AI Matters"},{"key":"2_CR69","doi-asserted-by":"publisher","first-page":"91","DOI":"10.2197\/IPSJTSLDM.7.91","volume":"7","author":"E Nagai","year":"2014","unstructured":"Nagai, E., Hashimoto, A., Ishiura, N.: Reinforcing random testing of arithmetic optimization of C compilers by scaling up size and number of expressions. IPSJ Trans. Syst. LSI Des. Methodol. 7, 91\u2013100 (2014). https:\/\/doi.org\/10.2197\/IPSJTSLDM.7.91","journal-title":"IPSJ Trans. Syst. LSI Des. Methodol."},{"key":"2_CR70","doi-asserted-by":"publisher","unstructured":"Ofenbeck, G., Rompf, T., P\u00fcschel, M.: Randir: differential testing for embedded compilers. In: Symposium on Scala (SCALA@SPLASH), pp. 21\u201330. ACM (2016). https:\/\/doi.org\/10.1145\/2998392.2998397","DOI":"10.1145\/2998392.2998397"},{"key":"2_CR71","unstructured":"Openllet, issue tracker. https:\/\/github.com\/Galigator\/openllet\/issues"},{"key":"2_CR72","unstructured":"OWL-API, issue tracker. https:\/\/github.com\/owlcs\/owlapi\/issues"},{"key":"2_CR73","doi-asserted-by":"publisher","unstructured":"Park, H., Kim, M.: Trilliong: a trillion-scale synthetic graph generator using a recursive vector model. In: International Conference on Management of Data (SIGMOD Conference), pp. 913\u2013928. ACM (2017). https:\/\/doi.org\/10.1145\/3035918.3064014","DOI":"10.1145\/3035918.3064014"},{"issue":"4","key":"2_CR74","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, R.S., Glimm, B., Steigmiller, A.: The OWL reasoner evaluation (ORE) 2015 competition report. J. Autom. Reason. 59(4), 455\u2013482 (2017). https:\/\/doi.org\/10.1007\/S10817-017-9406-8","journal-title":"J. Autom. Reason."},{"key":"2_CR75","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-36727-4_11","volume-title":"Selected Topics in Performance Evaluation and Benchmarking","author":"M-D Pham","year":"2013","unstructured":"Pham, M.-D., Boncz, P., Erling, O.: S3G2: a scalable structure-correlated social graph generator. In: Nambiar, R., Poess, M. (eds.) TPCTC 2012. LNCS, vol. 7755, pp. 156\u2013172. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36727-4_11"},{"key":"2_CR76","doi-asserted-by":"publisher","unstructured":"Portisch, J., Paulheim, H.: The DLCC node classification benchmark for analyzing knowledge graph embeddings. In: International Semantic Web Conference (ISWC 2022). LNCS, vol. 13489, pp. 592\u2013609. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-19433-7_34","DOI":"10.1007\/978-3-031-19433-7_34"},{"key":"2_CR77","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/BF01932308","volume":"12","author":"P Purdom","year":"1972","unstructured":"Purdom, P.: A sentence generator for testing parsers. BIT Numer. Math. 12, 366\u2013375 (1972)","journal-title":"BIT Numer. Math."},{"key":"2_CR78","doi-asserted-by":"publisher","unstructured":"P\u00fcroja, D., Waudby, J., Boncz, P.A., Sz\u00e1rnyas, G.: The LDBC social network benchmark interactive workload v2: A transactional graph query benchmark with deep delete operations. In: Performance Evaluation and Benchmarking: TPC Technology Conference (TPCTC). LNCS, vol. 14247, pp. 107\u2013123. Springer, Heidelberg (2023). https:\/\/doi.org\/10.1007\/978-3-031-68031-1_8","DOI":"10.1007\/978-3-031-68031-1_8"},{"issue":"2","key":"2_CR79","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.: A generic and high-performance RDF instance generator. Int. J. Web Eng. Technol. 11(2), 133\u2013152 (2016). https:\/\/doi.org\/10.1504\/IJWET.2016.077342","journal-title":"Int. J. Web Eng. Technol."},{"key":"2_CR80","unstructured":"RDF 1.2 Turtle standard, issue tracker. https:\/\/github.com\/w3c\/rdf-turtle\/issues"},{"key":"2_CR81","doi-asserted-by":"publisher","unstructured":"Rigger, M., Su, Z.: Finding bugs in database systems via query partitioning. Proc. ACM Program. Lang. 4(OOPSLA), 211:1\u2013211:30 (2020). https:\/\/doi.org\/10.1145\/3428279","DOI":"10.1145\/3428279"},{"key":"2_CR82","unstructured":"Rigger, M., Su, Z.: Testing database engines via pivoted query synthesis. In: Symposium on Operating Systems Design and Implementation (OSDI), pp. 667\u2013682 (2020)"},{"key":"2_CR83","unstructured":"Samanta, B., et al.: NEVAE: a deep generative model for molecular graphs. J. Mach. Learn. Res. 21, 114:1\u2013114:33 (2020). https:\/\/jmlr.org\/papers\/v21\/19-671.html"},{"key":"2_CR84","doi-asserted-by":"publisher","unstructured":"Samet, H.: A normal form for compiler testing. In: Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, pp. 155\u2013162. ACM (1977). https:\/\/doi.org\/10.1145\/800228.806945","DOI":"10.1145\/800228.806945"},{"key":"2_CR85","doi-asserted-by":"publisher","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2005), pp. 263\u2013272. ACM (2005). https:\/\/doi.org\/10.1145\/1081706.1081750","DOI":"10.1145\/1081706.1081750"},{"issue":"14","key":"2_CR86","doi-asserted-by":"publisher","first-page":"1475","DOI":"10.1002\/SPE.812","volume":"37","author":"F Sheridan","year":"2007","unstructured":"Sheridan, F.: Practical testing of a C99 compiler using output comparison. Softw. Pract. Exp. 37(14), 1475\u20131488 (2007). https:\/\/doi.org\/10.1002\/SPE.812","journal-title":"Softw. Pract. Exp."},{"key":"2_CR87","doi-asserted-by":"publisher","unstructured":"Sirer, E.G., Bershad, B.N.: Using production grammars in software testing. In: Conference on Domain-Specific Languages (DSL), pp. 1\u201313. ACM (1999). https:\/\/doi.org\/10.1145\/331960.331965","DOI":"10.1145\/331960.331965"},{"issue":"2","key":"2_CR88","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, B.C., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Semant. 5(2), 51\u201353007 (2007)","journal-title":"J. Web Semant."},{"key":"2_CR89","unstructured":"Slutz, D.R.: Massive stochastic testing of SQL. In: International Conference on Very Large Data Bases (VLDB), vol.\u00a098, pp. 618\u2013622. ACM (1998)"},{"key":"2_CR90","doi-asserted-by":"publisher","unstructured":"Song, J., et al.: Testing database systems via differential query execution. In: International Conference on Software Engineering (ICSE), pp. 2072\u20132084 (2023). https:\/\/doi.org\/10.1109\/ICSE48619.2023.00175","DOI":"10.1109\/ICSE48619.2023.00175"},{"issue":"7821","key":"2_CR91","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1038\/s41586-020-2515-2","volume":"584","author":"J S\u00f8rensen","year":"2020","unstructured":"S\u00f8rensen, J., et al.: Retraction note: exploring the quantum speed limit with computer games. Nature 584(7821), 484\u2013484 (2020). https:\/\/doi.org\/10.1038\/s41586-020-2515-2","journal-title":"Nature"},{"key":"2_CR92","doi-asserted-by":"crossref","unstructured":"Steinh\u00f6fel, D., Zeller, A.: Input invariants. In: Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE), pp. 583\u2013594. ACM (2022)","DOI":"10.1145\/3540250.3549139"},{"issue":"4","key":"2_CR93","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/3631520","volume":"67","author":"D Steinh\u00f6fel","year":"2024","unstructured":"Steinh\u00f6fel, D., Zeller, A.: Language-based software testing. Commun. ACM 67(4), 80\u201384 (2024)","journal-title":"Commun. ACM"},{"key":"2_CR94","doi-asserted-by":"crossref","unstructured":"Stephens, N., et al.: Driller: augmenting fuzzing through selective symbolic execution. In: Annual Network and Distributed System Security Symposium (NDSS). The Internet Society (2016). http:\/\/wp.internetsociety.org\/ndss\/wp-content\/uploads\/sites\/25\/2017\/09\/driller-augmenting-fuzzing-through-selective-symbolic-execution.pdf","DOI":"10.14722\/ndss.2016.23368"},{"key":"2_CR95","doi-asserted-by":"publisher","unstructured":"Sun, C., Le, V., Su, Z.: Finding and analyzing compiler warning defects. In: International Conference on Software Engineering (ICSE), pp. 203\u2013213. ACM (2016). https:\/\/doi.org\/10.1145\/2884781.2884879","DOI":"10.1145\/2884781.2884879"},{"key":"2_CR96","doi-asserted-by":"crossref","unstructured":"Sun, K., Xu, Y.E., Zha, H., Liu, Y., Dong, X.L.: Head-to-tail: how knowledgeable are large language models (LLMs)? A.K.A. will LLMs replace knowledge graphs? In: Conference of the North American Chapter of the Association for Computational Linguistics NAACL-HLT, pp. 311\u2013325. Association for Computational Linguistics (2024)","DOI":"10.18653\/v1\/2024.naacl-long.18"},{"key":"2_CR97","doi-asserted-by":"publisher","unstructured":"Tao, Q., Wu, W., Zhao, C., Shen, W.: An automatic testing approach for compiler based on metamorphic testing technique. In: Asia Pacific Software Engineering Conference (APSEC), pp. 270\u2013279. IEEE Computer Society (2010). https:\/\/doi.org\/10.1109\/APSEC.2010.39","DOI":"10.1109\/APSEC.2010.39"},{"key":"2_CR98","doi-asserted-by":"crossref","unstructured":"Tao, Y., Chen, Z., Liu, Y., Xuan, J., Xu, Z., Qin, S.: Demystifying \u201cbad\u201d error messages in data science libraries. In: Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC\/SIGSOFT FSE, pp. 818\u2013829. ACM (2021)","DOI":"10.1145\/3468264.3468560"},{"key":"2_CR99","unstructured":"Tomaszuk, D., Kellogg, G.: RDF 1.2 Turtle. W3C working draft, W3C (2024). https:\/\/www.w3.org\/TR\/2024\/WD-rdf12-turtle-20241031"},{"key":"2_CR100","unstructured":"Tomaszuk, D., Kellogg, G.: RDF 1.2 Turtle (outdated). W3C working draft, W3C (2024). https:\/\/www.w3.org\/TR\/2024\/WD-rdf12-turtle-20241024"},{"key":"2_CR101","unstructured":"Vecovska, M., Jovanovik, M.: RDFGraphGen: a synthetic RDF graph generator based on SHACL constraints (2024). https:\/\/arxiv.org\/abs\/2407.17941"},{"key":"2_CR102","doi-asserted-by":"crossref","unstructured":"Vrandecic, D.: Ontology evaluation. In: Handbook on Ontologies, pp. 293\u2013313. International Handbooks on Information Systems. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-540-92673-3_13"},{"key":"2_CR103","doi-asserted-by":"publisher","unstructured":"Wang, H., et al.: GraphGAN: graph representation learning with generative adversarial nets. In: AAAI Conference on Artificial Intelligence, pp. 2508\u20132515. AAAI Press (2018). https:\/\/doi.org\/10.1609\/AAAI.V32I1.11872","DOI":"10.1609\/AAAI.V32I1.11872"},{"issue":"OOPSLA2","key":"2_CR104","doi-asserted-by":"publisher","first-page":"2378","DOI":"10.1145\/3689795","volume":"8","author":"D Winterer","year":"2024","unstructured":"Winterer, D., Su, Z.: Validating SMT solvers for correctness and performance via grammar-based enumeration. Proc. ACM Program. Lang. 8(OOPSLA2), 2378\u20132401 (2024). https:\/\/doi.org\/10.1145\/3689795","journal-title":"Proc. ACM Program. Lang."},{"key":"2_CR105","doi-asserted-by":"crossref","unstructured":"Winterer, D., Zhang, C., Su, Z.: Validating SMT solvers via semantic fusion. In: International Conference on Programming Language Design and Implementation PLDI, pp. 718\u2013730. ACM (2020)","DOI":"10.1145\/3385412.3385985"},{"issue":"5","key":"2_CR106","first-page":"4969","volume":"35","author":"B Xue","year":"2023","unstructured":"Xue, B., Zou, L.: Knowledge graph quality management: a comprehensive survey. IEEE Trans. Knowl. Data Eng. 35(5), 4969\u20134988 (2023)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"2_CR107","doi-asserted-by":"publisher","unstructured":"Yang, R., Zheng, Y., Tang, L., Dou, W., Wang, W., Wei, J.: Randomized differential testing of RDF stores. In: International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), pp. 136\u2013140 (2023). https:\/\/doi.org\/10.1109\/ICSE-Companion58688.2023.00041","DOI":"10.1109\/ICSE-Companion58688.2023.00041"},{"key":"2_CR108","unstructured":"You, J., Ying, R., Ren, X., Hamilton, W.L., Leskovec, J.: GraphRNN: generating realistic graphs with deep auto-regressive models. In: International Conference on Machine Learning (ICML). Proceedings of Machine Learning Research, vol.\u00a080, pp. 5694\u20135703. PMLR (2018). http:\/\/proceedings.mlr.press\/v80\/you18a.html"},{"key":"2_CR109","unstructured":"Yun, I., Lee, S., Xu, M., Jang, Y., Kim, T.: QSYM: a practical concolic execution engine tailored for hybrid fuzzing. In: Security Symposium, pp. 745\u2013761. USENIX Association (2018). https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/yun"},{"issue":"2","key":"2_CR110","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1023\/A:1022904917707","volume":"29","author":"SV Zelenov","year":"2003","unstructured":"Zelenov, S.V., Zelenova, S.A., Kossatchev, A.S., Petrenko, A.K.: Test generation for compilers and other formal text processors. Program. Comput. Softw. 29(2), 104\u2013111 (2003). https:\/\/doi.org\/10.1023\/A:1022904917707","journal-title":"Program. Comput. Softw."},{"key":"2_CR111","unstructured":"Zeller, A., Gopinath, R., B\u00f6hme, M., Fraser, G., Holler, C.: The Fuzzing Book. CISPA Helmholtz Center for Information Security (2024). https:\/\/www.fuzzingbook.org\/. Accessed 01 July 2024"},{"key":"2_CR112","doi-asserted-by":"publisher","unstructured":"Zheng, Y., et al.: Differential optimization testing of gremlin-based graph database systems. In: Conference on Software Testing, Verification and Validation (ICST), pp. 25\u201336 (2024). https:\/\/doi.org\/10.1109\/ICST60714.2024.00012","DOI":"10.1109\/ICST60714.2024.00012"},{"key":"2_CR113","doi-asserted-by":"publisher","unstructured":"Zheng, Y., et al.: Finding bugs in Gremlin-based graph database systems via Randomized differential testing. In: International Symposium on Software Testing and Analysis, pp. 302\u2013313. ACM (2022). https:\/\/doi.org\/10.1145\/3533767.3534409","DOI":"10.1145\/3533767.3534409"},{"key":"2_CR114","doi-asserted-by":"publisher","unstructured":"Zhong, R., Chen, Y., Hu, H., Zhang, H., Lee, W., Wu, D.: SQUIRREL: testing database management systems with language validity and coverage feedback. In: Computer and Communications Security (CCS), pp. 955\u2013970 (2020). https:\/\/doi.org\/10.1145\/3372297.3417260","DOI":"10.1145\/3372297.3417260"},{"key":"2_CR115","doi-asserted-by":"publisher","unstructured":"Zhuang, Z., Li, P., Ma, P., Meng, W., Wang, S.: Testing graph database systems via graph-aware metamorphic relations. Proc. VLDB Endow. 17(4), 836\u2013848 (2024). https:\/\/doi.org\/10.14778\/3636218.3636236","DOI":"10.14778\/3636218.3636236"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-94578-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T22:02:59Z","timestamp":1748642579000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94578-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031945779","9783031945786"],"references-count":115,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94578-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"31 May 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESWC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Semantic Web Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portoroz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Slovenia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esws2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2025.eswc-conferences.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}