{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:57:30Z","timestamp":1760043450159,"version":"3.37.3"},"reference-count":73,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,11,18]],"date-time":"2021-11-18T00:00:00Z","timestamp":1637193600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,18]],"date-time":"2021-11-18T00:00:00Z","timestamp":1637193600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100004541","name":"Ministry of Human Resource Development","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100004541","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2022,5]]},"DOI":"10.1007\/s10515-021-00308-8","type":"journal-article","created":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T10:02:47Z","timestamp":1637920967000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["BOLD: an ontology-based log debugger for C programs"],"prefix":"10.1007","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9073-8524","authenticated-orcid":false,"given":"Dileep Kumar","family":"Pattipati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rupesh","family":"Nasre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sreenivasa Kumar","family":"Puligundla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,18]]},"reference":[{"key":"308_CR1","unstructured":"(2021 (accessed)) GCC macros. https:\/\/gcc.gnu.org\/onlinedocs\/cpp\/Macros.html, accessed: 2021-03-18"},{"key":"308_CR2","unstructured":"(2021 (accessed)) UndoDB man page. https:\/\/docs.undo.io\/, accessed: 2021-03-18"},{"key":"308_CR3","doi-asserted-by":"publisher","unstructured":"Abreu, R., Zoeteweij, P., Gemund, A.J.C.v.: An evaluation of similarity coefficients for software fault localization. In: Proceedings of the 12th Pacific Rim International Symposium on Dependable Computing, IEEE Computer Society, USA, PRDC \u201906, pp. 39\u201346, (2006) https:\/\/doi.org\/10.1109\/PRDC.2006.18","DOI":"10.1109\/PRDC.2006.18"},{"key":"308_CR4","doi-asserted-by":"publisher","unstructured":"Antoniou, G., van Harmelen, F.: Web Ontology Language: OWL, Springer Berlin Heidelberg, pp. 67\u201392. Handbook on Ontologies, (2004). https:\/\/doi.org\/10.1007\/978-3-540-24750-0_4","DOI":"10.1007\/978-3-540-24750-0_4"},{"key":"308_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"M Ashburner","year":"2000","unstructured":"Ashburner, M., Ball, C.A., Blake, J.A., Botstein, D., Butler, H., Cherry, J.M., Davis, A.P., Dolinski, K., Dwight, S.S., Eppig, J.T., Harris, M.A., Hill, D.P., Issel-Tarver, L., Kasarskis, A., Lewis, S., Matese, J.C., Richardson, J.E., Ringwald, M., Rubin, G.M., Sherlock, G.: Gene ontology: tool for the unification of biology. the gene ontology consortium. Nat. Genet. 25, 25\u201329 (2000). https:\/\/doi.org\/10.1038\/75556","journal-title":"Nat. Genet."},{"key":"308_CR6","doi-asserted-by":"crossref","unstructured":"Atzeni, M., Atzori, M.: CodeOntology: RDF-ization of Source Code. In: International Semantic Web Conference (2017)","DOI":"10.1007\/978-3-319-68204-4_2"},{"key":"308_CR7","doi-asserted-by":"publisher","unstructured":"Auguston, M., Jeffery, C., Underwood, S.: A framework for automatic debugging. In: Proceedings 17th IEEE International Conference on Automated Software Engineering,, pp. 217\u2013222 (2002). https:\/\/doi.org\/10.1109\/ASE.2002.1115015","DOI":"10.1109\/ASE.2002.1115015"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"308_CR8","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York, NY, USA (2003)"},{"issue":"1","key":"308_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/200912.200913","volume":"13","author":"PC Bates","year":"1995","unstructured":"Bates, P.C.: Debugging heterogeneous distributed systems using event-based models of behavior. ACM Trans. Comput. Syst. 13(1), 1\u201331 (1995). https:\/\/doi.org\/10.1145\/200912.200913","journal-title":"ACM Trans. Comput. Syst."},{"issue":"5","key":"308_CR10","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O., et al.: The semantic web. Sci. Am. 284(5), 28\u201337 (2001)","journal-title":"Sci. Am."},{"issue":"3","key":"308_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jswis.2009081901","volume":"5","author":"C Bizer","year":"2009","unstructured":"Bizer, C., Heath, T., Berners-Lee, T.: Linked data - the story so far. Int. J. Seman. Web Inf. Syst. (IJSWIS) 5(3), 1\u201322 (2009)","journal-title":"Int. J. Seman. Web Inf. Syst. (IJSWIS)"},{"key":"308_CR12","unstructured":"Brickley, D. (ed). RDF vocabulary description language 1.0: RDF Schema (2004)"},{"key":"308_CR13","doi-asserted-by":"publisher","unstructured":"Cao, Q., Abdelzaher, T., Stankovic, J., Whitehouse, K., Luo, L.: Declarative tracepoints: A programmable and application independent debugging system for wireless sensor networks. In: Proceedings of the 6th ACM Conference on Embedded Network Sensor Systems, Association for Computing Machinery, New York, NY, USA, SenSys \u201908, pp. 85\u201398 (2008). https:\/\/doi.org\/10.1145\/1460412.1460422","DOI":"10.1145\/1460412.1460422"},{"key":"308_CR14","unstructured":"Dean, M. (ed). OWL Web Ontology Language. 1.0 reference. World Wide Web Consortium (W3C) (2003)"},{"key":"308_CR15","doi-asserted-by":"crossref","unstructured":"Devanbu, P.T., Brachman, R.J., Selfridge, P.G., Ballard, B.W.: LaSSIE:a Knowledge-based Software Information System. In: Proceedings of the 12th International Conference on Software Engineering, IEEE Computer Society Press, Los Alamitos, CA, USA, pp. 249\u2013261 (1990)","DOI":"10.1109\/ICSE.1990.63631"},{"issue":"4","key":"308_CR16","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/s10664-005-3861-2","volume":"10","author":"H Do","year":"2005","unstructured":"Do, H., Elbaum, S., Rothermel, G.: Supporting controlled experimentation with testing techniques: an infrastructure and its potential impact. Empirical Softw. Eng. 10(4), 405\u2013435 (2005). https:\/\/doi.org\/10.1007\/s10664-005-3861-2","journal-title":"Empirical Softw. Eng."},{"key":"308_CR17","doi-asserted-by":"crossref","unstructured":"Ducass\u00e9, M.: Coca: A debugger for C based on fine grained control flow and data events. In: International Conference on Software Engineering 1998 (1998)","DOI":"10.1145\/302405.302682"},{"key":"308_CR18","unstructured":"Eberhart, A., Argawal, S.: SmartAPI - Associating Ontologies and APIs for RAD. In: Proceedings of Modellierung (2004)"},{"key":"308_CR19","unstructured":"Engblom, J.: A review of reverse debugging. In: Proceedings of the 2012 System, Software, SoC and Silicon Debug Conference, pp 1\u20136 (2012)"},{"key":"308_CR20","doi-asserted-by":"publisher","unstructured":"Engblom, J., Aarno, D., Werner, B.: Full-System Simulation from Embedded to High-Performance Systems, Springer US, Boston, MA, pp 25\u201345 (2010). https:\/\/doi.org\/10.1007\/978-1-4419-6175-4_3","DOI":"10.1007\/978-1-4419-6175-4_3"},{"issue":"2","key":"308_CR21","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/32.908957","volume":"27","author":"MD Ernst","year":"2001","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Softw. Eng. 27(2), 99\u2013123 (2001). https:\/\/doi.org\/10.1109\/32.908957","journal-title":"IEEE Trans. Softw. Eng."},{"key":"308_CR22","unstructured":"Ganapathi, G., Lourdusamy, R., Rajaram, V.: Towards ontology development for teaching programming language. In: Proceedings of the World Congress on Engineering 2011, WCE 2011 (3) (2011)"},{"key":"308_CR23","doi-asserted-by":"publisher","unstructured":"Gao, Q., Zhang, H., Wang, J., Xiong, Y., Zhang, L., Mei, H.: Fixing recurring crash bugs via analyzing Q&A sites. In: Proceedings of the 30th IEEE\/ACM International Conference on Automated Software Engineering, IEEE Press, ASE \u201915, pp. 307\u2013318 (2015). https:\/\/doi.org\/10.1109\/ASE.2015.81","DOI":"10.1109\/ASE.2015.81"},{"key":"308_CR24","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1007\/978-3-642-01973-9_78","volume-title":"Computational Science - ICCS 2009","author":"M Geimer","year":"2009","unstructured":"Geimer, M., Shende, S.S., Malony, A.D., Wolf, F.: A generic and configurable source-code instrumentation component. In: Allen, G., Nabrzyski, J., Seidel, E., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) Computational Science - ICCS 2009, pp. 696\u2013705. Springer, Berlin Heidelberg, Berlin, Heidelberg (2009)"},{"key":"308_CR25","doi-asserted-by":"publisher","unstructured":"Goldsmith, S.F., O\u2019Callahan, R., Aiken, A.: Relational queries over program traces. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, ACM, New York, NY, USA, OOPSLA \u201905, pp. 385\u2013402 (2005). https:\/\/doi.org\/10.1145\/1094811.1094841","DOI":"10.1145\/1094811.1094841"},{"key":"308_CR26","unstructured":"Happel, H.J., Seedorf, S., Informatik, F.F., Mannheim, U.: Applications of ontologies in software engineering. In: In 2nd SWESE, held at the 5th International Semantic Web Conference (2006)"},{"key":"308_CR27","unstructured":"Hofer, C., Denker, M., Ducasse, S.: Design and implementation of a backward-in-time debugger. In: NODe\/GSEM (2006)"},{"key":"308_CR28","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.05.003","author":"I Horrocks","year":"2005","unstructured":"Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL Rules: A proposal and prototype implementation. J. Web Seman. (2005). https:\/\/doi.org\/10.1016\/j.websem.2005.05.003","journal-title":"J. Web Seman."},{"key":"308_CR29","unstructured":"IMOP team. IMOP compiler infrastructure. https:\/\/github.com\/amannougrahiya\/imop-compiler, accessed: 2021-03-18 (2020)"},{"key":"308_CR30","doi-asserted-by":"publisher","unstructured":"Jones, J.A., Harrold, M.J., Stasko, J.: Visualization of test information to assist fault localization. In: Proceedings of the 24th International Conference on Software Engineering, Association for Computing Machinery, New York, NY, USA, International Conference on Software Engineering \u201902, pp. 467\u2013477 (2002). https:\/\/doi.org\/10.1145\/581339.581397","DOI":"10.1145\/581339.581397"},{"key":"308_CR31","doi-asserted-by":"publisher","unstructured":"Kempf, T., Karuri, K., Gao, L.: Software Instrumentation, American Cancer Society, pp. 1\u201311 (2008). https:\/\/doi.org\/10.1002\/9780470050118.ecse386, https:\/\/onlinelibrary.wiley.com\/doi\/abs\/10.1002\/9780470050118.ecse386,","DOI":"10.1002\/9780470050118.ecse386"},{"key":"308_CR32","unstructured":"Kernighan, B.W., Pike, R.: The Practice of Programming. Addison-Wesley Longman Publishing Co., Inc, Boston, MA, USA (1999)"},{"key":"308_CR33","unstructured":"Khoo, Y.P., Foster, J.S., Hicks, M.: Expositor: Scriptable time-travel debugging with first-class traces. In: Proceedings of the 2013 International Conference on Software Engineering, IEEE Press, Piscataway, NJ, USA, International Conference on Software Engineering \u201913, pp. 352\u2013361 (2013). http:\/\/dl.acm.org\/citation.cfm?id=2486788.2486835"},{"key":"308_CR34","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP\u201997 - European Conference on Object-Oriented Programming, pp. 220\u2013242. Springer, Berlin Heidelberg (1997)","DOI":"10.1007\/BFb0053381"},{"key":"308_CR35","doi-asserted-by":"crossref","unstructured":"Kim, D., Nam, J., Song, J., Kim, S.: Automatic patch generation learned from human-written patches. In: Proceedings of the 2013 International Conference on Software Engineering, IEEE Press, International Conference on Software Engineering \u201913, pp. 802\u2013811 (2013)","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"308_CR36","doi-asserted-by":"publisher","unstructured":"Kim, S., Pan, K., Whitehead, E.E.J.: Memories of bug fixes. In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Association for Computing Machinery, New York, NY, USA, SIGSOFT \u201906\/FSE-14, pp. 35\u201345 (2006). https:\/\/doi.org\/10.1145\/1181775.1181781","DOI":"10.1145\/1181775.1181781"},{"key":"308_CR37","unstructured":"Klyne, G. (ed)., Resource Description Framework (RDF): Concepts and Abstract Syntax. 1.0 reference (2004)"},{"key":"308_CR38","unstructured":"K\u00f6b, D., Wotawa, F.: Introducing alias information into model-based debugging. In: Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, NLD, ECAI\u201904, pp. 833\u2013837 (2004)"},{"issue":"1","key":"308_CR39","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/TSE.2011.104","volume":"38","author":"C Le Goues","year":"2012","unstructured":"Le Goues, C., Nguyen, T., Forrest, S., Weimer, W.: Genprog: a generic method for automatic software repair. IEEE Trans. Softw. Eng. 38(1), 54\u201372 (2012). https:\/\/doi.org\/10.1109\/TSE.2011.104","journal-title":"IEEE Trans. Softw. Eng."},{"key":"308_CR40","doi-asserted-by":"publisher","unstructured":"Lefebvre, G., Cully, B., Head, C., Spear, M., Hutchinson, N., Feeley, M., Warfield, A.: Execution mining. In: Proceedings of the 8th ACM SIGPLAN\/SIGOPS Conference on Virtual Execution Environments, ACM, New York, NY, USA, VEE \u201912, pp. 145\u2013158 (2012). https:\/\/doi.org\/10.1145\/2151024.2151044","DOI":"10.1145\/2151024.2151044"},{"key":"308_CR41","unstructured":"Lewis, B.: Debugging backwards in time. Computing Research Repository cs.SE\/0310016 (2003)"},{"key":"308_CR42","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-319-33630-5_15","volume-title":"ICT Systems Security and Privacy Protection","author":"H Li","year":"2016","unstructured":"Li, H., Oh, J., Oh, H., Lee, H.: Automated source code instrumentation for verifying potential vulnerabilities. In: Hoepman, J.H., Katzenbeisser, S. (eds.) ICT Systems Security and Privacy Protection, pp. 211\u2013226. Springer International Publishing, Cham (2016)"},{"key":"308_CR43","doi-asserted-by":"publisher","unstructured":"Mahrenholz, D., Spinczyk, O., Schroder-Preikschat, W.: Program instrumentation for debugging and monitoring with aspectc++. In: Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002, 249\u2013256 (2002). https:\/\/doi.org\/10.1109\/ISORC.2002.1003713","DOI":"10.1109\/ISORC.2002.1003713"},{"issue":"1","key":"308_CR44","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1186\/2041-1480-5-25","volume":"5","author":"J Malone","year":"2014","unstructured":"Malone, J., Brown, A., Lister, A.L., Ison, J., Hull, D., Parkinson, H., Stevens, R.: The Software Ontology (SWO): a resource for reproducibility in biomedical data analysis, curation and digital preservation. J. Biomed. Seman. 5(1), 25 (2014)","journal-title":"J. Biomed. Seman."},{"key":"308_CR45","unstructured":"Manola, F., Miller, E. (eds). RDF primer, 1.0 reference, vol\u00a010 (2004)"},{"issue":"1","key":"308_CR46","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10515-006-0003-z","volume":"14","author":"G Marceau","year":"2007","unstructured":"Marceau, G., Cooper, G.H., Spiro, J.P., Krishnamurthi, S., Reiss, S.P.: The design and implementation of a dataflow language for scriptable debugging. Autom. Softw. Eng. 14(1), 59\u201386 (2007). https:\/\/doi.org\/10.1007\/s10515-006-0003-z","journal-title":"Autom. Softw. Eng."},{"key":"308_CR47","unstructured":"Marshall, D., Martinez, J., Graff, E., Schonning, N.: Time travel debugging - sample app walkthrough. https:\/\/docs.microsoft.com\/en-us\/windows-hardware\/drivers\/debugger\/time-travel-debugging-walkthrough, accessed: 2021-03-18 (2020)"},{"key":"308_CR48","doi-asserted-by":"publisher","unstructured":"Martin, M., Livshits, B., Lam, M.S.: Finding application errors and security flaws using PQL: A Program Query Language. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, ACM, New York, NY, USA, OOPSLA \u201905, pp. 365\u2013383 (2005). https:\/\/doi.org\/10.1145\/1094811.1094840","DOI":"10.1145\/1094811.1094840"},{"key":"308_CR49","unstructured":"Mateis, C., Stumptner, M., Wotawa, F.: Modeling Java programs for diagnosis. In: Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, NLD, ECAI\u201900, pp. 171\u2013175 (2000)"},{"key":"308_CR50","unstructured":"Mayer, W., Stumptner, M.: Debugging program loops using approximate modeling. In: Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, NLD, ECAI\u201904, pp. 843\u2013847 (2004)"},{"key":"308_CR51","unstructured":"Mayer, W., Stumptner, M., Wieland, D., Wotawa, F.: Can AI help to improve debugging substantially? debugging experiences with value-based models. In: Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press, NLD, ECAI\u201902, pp. 417\u2013421 (2002)"},{"issue":"1","key":"308_CR52","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1023\/A:1015741304337","volume":"23","author":"B Mohr","year":"2002","unstructured":"Mohr, B., Malony, A.D., Shende, S., Wolf, F.: Design and prototype of a performance tool interface for OpenMP. J. Supercomput. 23(1), 105\u2013128 (2002). https:\/\/doi.org\/10.1023\/A:1015741304337","journal-title":"J. Supercomput."},{"issue":"1","key":"308_CR53","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. Web Semant. 3(1), 41\u201360 (2005). https:\/\/doi.org\/10.1016\/j.websem.2005.05.001","journal-title":"Web Semant."},{"key":"308_CR54","unstructured":"Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C., et\u00a0al.: OWL 2 Web Ontology Language profiles. W3C recommendation. 1.0 reference 27:61 (2009)"},{"key":"308_CR55","doi-asserted-by":"publisher","DOI":"10.1145\/2000791.2000795","author":"L Naish","year":"2011","unstructured":"Naish, L., Lee, H.J., Ramamohanarao, K.: A model for spectra-based software diagnosis. ACM Trans. Softw. Eng. Methodol. (2011). https:\/\/doi.org\/10.1145\/2000791.2000795","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"308_CR56","doi-asserted-by":"publisher","unstructured":"Nguyen, T.T., Nguyen, H.A., Pham, N.H., Al-Kofahi, J., Nguyen, T.N.: Recurring bug fixes in object-oriented programs. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering - Volume 1, Association for Computing Machinery, New York, NY, USA, International Conference on Software Engineering \u201910, pp. 315\u2013324 (2010). https:\/\/doi.org\/10.1145\/1806799.1806847","DOI":"10.1145\/1806799.1806847"},{"issue":"2","key":"308_CR57","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1002\/spe.4380210207","volume":"21","author":"RA Olsson","year":"1991","unstructured":"Olsson, R.A., Crawford, R.H., Ho, W.W.: A dataflow approach to event-based debugging. Softw. Pract. Exp. 21(2), 209\u2013229 (1991). https:\/\/doi.org\/10.1002\/spe.4380210207","journal-title":"Softw. Pract. Exp."},{"key":"308_CR58","volume-title":"Computational Intelligence in Time Series Forecasting: Theory and Engineering Applications (Advances in Industrial Control)","author":"AK Palit","year":"2005","unstructured":"Palit, A.K., Popovic, D.: Computational Intelligence in Time Series Forecasting: Theory and Engineering Applications (Advances in Industrial Control). Springer-Verlag, Berlin, Heidelberg (2005)"},{"issue":"8","key":"308_CR59","doi-asserted-by":"publisher","first-page":"1425","DOI":"10.1002\/spe.2821","volume":"50","author":"DK Pattipati","year":"2020","unstructured":"Pattipati, D.K., Nasre, R., Puligundla, S.K.: Opal: an extensible framework for ontology-based program analysis. Softw. Pract. Exp. 50(8), 1425\u20131462 (2020). https:\/\/doi.org\/10.1002\/spe.2821","journal-title":"Softw. Pract. Exp."},{"key":"308_CR60","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511803161","volume-title":"Causality: Models, Reasoning and Inference","author":"J Pearl","year":"2009","unstructured":"Pearl, J.: Causality: Models, Reasoning and Inference, 2nd edn. Cambridge University Press, USA (2009)","edition":"2"},{"key":"308_CR61","unstructured":"Planning, S.: The economic impacts of inadequate infrastructure for software testing. RTI Project Number 7007.011. National Institute of Standards and Technology (2002)"},{"key":"308_CR62","doi-asserted-by":"publisher","unstructured":"Pothier, G., Tanter, E., Piquer, J.: Scalable omniscient debugging. In: Proceedings of the 22Nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications, ACM, New York, NY, USA, OOPSLA \u201907, pp. 535\u2013552 (2007). https:\/\/doi.org\/10.1145\/1297027.1297067","DOI":"10.1145\/1297027.1297067"},{"key":"308_CR63","unstructured":"Prud\u2019hommeaux, E., Seaborne, A. (eds). SPARQL Query Language for RDF. W3C Recommendation. 1.0 reference . Accessed: 2021-03-18 (2008)"},{"key":"308_CR64","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-45213-3_27","volume-title":"Modular Programming Languages","author":"M Schordan","year":"2003","unstructured":"Schordan, M., Quinlan, D.: A source-to-source architecture for user-defined optimizations. In: B\u00f6sz\u00f6rm\u00e9nyi, L., Schojer, P. (eds.) Modular Programming Languages, pp. 214\u2013223. Springer, Berlin Heidelberg (2003)"},{"issue":"2","key":"308_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, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Web Semant 5(2), 51\u201353 (2007). https:\/\/doi.org\/10.1016\/j.websem.2007.03.004","journal-title":"Web Semant"},{"key":"308_CR66","first-page":"303","volume":"13","author":"S Sosnovsky","year":"2006","unstructured":"Sosnovsky, S., Gavrilova, T.: Development of educational ontology for C-programming. Int. J. Inf. Theories Appl. 13, 303\u2013308 (2006)","journal-title":"Int. J. Inf. Theories Appl."},{"key":"308_CR67","doi-asserted-by":"publisher","unstructured":"Templer, K.S., Jeffery, C.L.: A configurable automatic instrumentation tool for ANSI C. In: Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239), pp. 249\u2013258 (1998). https:\/\/doi.org\/10.1109\/ASE.1998.732663","DOI":"10.1109\/ASE.1998.732663"},{"key":"308_CR68","doi-asserted-by":"crossref","unstructured":"Tenorth, M., Beetz, M.: KNOWROB: Knowledge Processing for Autonomous Personal Robots. In: Proceedings of the 2009 IEEE\/RSJ International Conference on Intelligent Robots and Systems, IEEE Press, Piscataway, NJ, USA, IROS\u201909, 4261\u20134266 (2009). URL http:\/\/dl.acm.org\/citation.cfm?id=1732643.1732745","DOI":"10.1109\/IROS.2009.5354602"},{"issue":"5","key":"308_CR69","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1109\/TSMC.1986.289308","volume":"16","author":"I Vessey","year":"1986","unstructured":"Vessey, I.: Expertise in debugging computer programs: An analysis of the content of verbal protocols. IEEE Trans. Syst. Man Cybern. 16(5), 621\u2013637 (1986)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"308_CR70","doi-asserted-by":"crossref","unstructured":"Visan, A.M., Arya, K., Cooperman, G., Denniston, T.: URDB: A Universal Reversible DeBugger based on decomposing debugging histories. In: PLOS \u201911 (2011)","DOI":"10.1145\/2039239.2039251"},{"issue":"8","key":"308_CR71","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1109\/TSE.2016.2521368","volume":"42","author":"WE Wong","year":"2016","unstructured":"Wong, W.E., Gao, R., Li, Y., Abreu, R., Wotawa, F.: A survey on software fault localization. IEEE Trans. Software Eng. 42(8), 707\u2013740 (2016)","journal-title":"IEEE Trans. Software Eng."},{"key":"308_CR72","doi-asserted-by":"crossref","unstructured":"Wotawa, F., Stumptner, M., Mayer, W.: Model-based debugging or how to diagnose programs automatically. In: Proceedings of the 15th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems: Developments in Applied Artificial Intelligence, Springer-Verlag, Berlin, Heidelberg, IEA\/AIE \u201902, pp 746\u2013757 (2002)","DOI":"10.1007\/3-540-48035-8_72"},{"key":"308_CR73","unstructured":"Zhao, Y., Chen, G., Liao, C., Shen, X.: Towards Ontology-Based Program Analysis. In: Krishnamurthi S, Lerner BS (eds) 30th ECOOP, LIPIcs, vol\u00a056, 26:1\u201326:25 (2016)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-021-00308-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10515-021-00308-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-021-00308-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T02:01:19Z","timestamp":1726192879000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10515-021-00308-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,18]]},"references-count":73,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,5]]}},"alternative-id":["308"],"URL":"https:\/\/doi.org\/10.1007\/s10515-021-00308-8","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2021,11,18]]},"assertion":[{"value":"3 August 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 November 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 November 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"2"}}