{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:31:37Z","timestamp":1772119897226,"version":"3.50.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:00:00Z","timestamp":1712880000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:00:00Z","timestamp":1712880000000},"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":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1007\/s11334-024-00558-1","type":"journal-article","created":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T14:02:36Z","timestamp":1712930556000},"page":"687-705","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A bounded constraint-based approach to aid in fault localization from a counterexample"],"prefix":"10.1007","volume":"21","author":[{"given":"Mohammed","family":"Bekkouche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"558_CR1","unstructured":"Avizienis A, Laprie J-C, Randell B (2001) Fundamental concepts of dependability. Department of Computing Science Technical Report Series"},{"key":"558_CR2","doi-asserted-by":"crossref","unstructured":"Avi\u017eienis A, Laprie J-C, Randell B (2004) Dependability and its threats: a taxonomy. In: Building the information society: IFIP 18th world computer congress topical sessions 22\u201327 August 2004 Toulouse, France, Springer, pp 91\u2013120","DOI":"10.1007\/978-1-4020-8157-6_13"},{"key":"558_CR3","doi-asserted-by":"crossref","unstructured":"Wong WE, Debroy V (2010) Software fault localization. In: Encyclopedia of software engineering","DOI":"10.1081\/E-ESE-120044231"},{"key":"558_CR4","unstructured":"Testing and Debugging. http:\/\/www.jodypaul.com\/SWE\/TD\/TestDebug.html. Accessed 13 Oct (2022)"},{"key":"558_CR5","doi-asserted-by":"crossref","unstructured":"Bekkouche M, Collavizza H, Rueher M (2015) Locfaults: a new flow-driven and constraint-based error localization approach. In: Proceedings of the 30th annual ACM symposium on applied computing, pp 1773\u20131780","DOI":"10.1145\/2695664.2695822"},{"issue":"1","key":"558_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-007-9084-z","volume":"40","author":"MH Liffiton","year":"2008","unstructured":"Liffiton MH, Sakallah KA (2008) Algorithms for computing minimal unsatisfiable subsets of constraints. J Autom Reason 40(1):1\u201333","journal-title":"J Autom Reason"},{"issue":"6","key":"558_CR7","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/1993316.1993550","volume":"46","author":"M Jose","year":"2011","unstructured":"Jose M, Majumdar R (2011) Cause clue clauses: error localization using maximum satisfiability. ACM SIGPLAN Notices 46(6):437\u2013446","journal-title":"ACM SIGPLAN Notices"},{"issue":"2","key":"558_CR8","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/271775.271790","volume":"23","author":"A Gotlieb","year":"1998","unstructured":"Gotlieb A, Botella B, Rueher M (1998) Automatic test data generation using constraint solving techniques. ACM SIGSOFT Softw Eng Notes 23(2):53\u201362","journal-title":"ACM SIGSOFT Softw Eng Notes"},{"key":"558_CR9","doi-asserted-by":"crossref","unstructured":"Xuan J, Monperrus M (2014) Test case purification for improving fault localization. In: Proceedings of the 22nd ACM SIGSOFT international symposium on foundations of software engineering, pp 52\u201363","DOI":"10.1145\/2635868.2635906"},{"key":"558_CR10","doi-asserted-by":"crossref","unstructured":"Jones JA, Harrold MJ, Stasko J (2002) Visualization of test information to assist fault localization. In: Proceedings of the 24th international conference on software engineering. ICSE 2002, IEEE, pp 467\u2013477","DOI":"10.1145\/581396.581397"},{"issue":"2","key":"558_CR11","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/32.988498","volume":"28","author":"A Zeller","year":"2002","unstructured":"Zeller A, Hildebrandt R (2002) Simplifying and isolating failure-inducing input. IEEE Trans Softw Eng 28(2):183\u2013200","journal-title":"IEEE Trans Softw Eng"},{"key":"558_CR12","unstructured":"Renieres M, Reiss SP (2003) Fault localization with nearest neighbor queries. In: 18th IEEE international conference on automated software engineering. Proceedings., IEEE, pp 30\u201339 (2003)"},{"issue":"6","key":"558_CR13","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/1064978.1065014","volume":"40","author":"B Liblit","year":"2005","unstructured":"Liblit B, Naik M, Zheng AX, Aiken A, Jordan MI (2005) Scalable statistical bug isolation. Acm Sigplan Notices 40(6):15\u201326","journal-title":"Acm Sigplan Notices"},{"key":"558_CR14","doi-asserted-by":"crossref","unstructured":"Guo L, Roychoudhury A, Wang T (2006) Accurately choosing execution runs for software fault localization. In: International conference on compiler construction, Springer, pp 80\u201395","DOI":"10.1007\/11688839_7"},{"key":"558_CR15","doi-asserted-by":"crossref","unstructured":"Dallmeier V, Lindig C, Zeller A (2005) Lightweight defect localization for java. In: European conference on object-oriented programming, Springer, pp 528\u2013550","DOI":"10.1007\/11531142_23"},{"key":"558_CR16","doi-asserted-by":"publisher","first-page":"100008","DOI":"10.1016\/j.array.2019.100008","volume":"3","author":"A Zakari","year":"2019","unstructured":"Zakari A, Lee SP, Hashem IAT (2019) A single fault localization technique based on failed test input. Array 3:100008","journal-title":"Array"},{"key":"558_CR17","doi-asserted-by":"publisher","first-page":"23990","DOI":"10.1109\/ACCESS.2018.2829541","volume":"6","author":"A Zakari","year":"2018","unstructured":"Zakari A, Lee SP, Chong CY (2018) Simultaneous localization of software faults based on complex network theory. IEEE Access 6:23990\u201324002","journal-title":"IEEE Access"},{"issue":"4","key":"558_CR18","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/s11334-021-00403-9","volume":"17","author":"A Dutta","year":"2021","unstructured":"Dutta A, Kunal K, Srivastava SS, Shankar S, Mall R (2021) Ftfl: a fisher\u2019s test-based approach for fault localization. Innovat Syst Softw Eng 17(4):381\u2013405","journal-title":"Innovat Syst Softw Eng"},{"key":"558_CR19","doi-asserted-by":"crossref","unstructured":"Clarke EM, Emerson EA (1981) Design and synthesis of synchronization skeletons using branching time temporal logic. In: Workshop on logic of programs, Springer, pp 52\u201371","DOI":"10.1007\/BFb0025774"},{"issue":"7","key":"558_CR20","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.1109\/TCAD.2008.923410","volume":"27","author":"V D\u2019silva","year":"2008","unstructured":"D\u2019silva V, Kroening D, Weissenbacher G (2008) A survey of automated techniques for formal software verification. IEEE Trans Comput-Aid Des Integr Circuits Syst 27(7):1165\u20131178","journal-title":"IEEE Trans Comput-Aid Des Integr Circuits Syst"},{"key":"558_CR21","doi-asserted-by":"crossref","unstructured":"Ball T, Naik M, Rajamani SK (2003) From symptom to cause: localizing errors in counterexample traces. In: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages, pp 97\u2013105","DOI":"10.1145\/604131.604140"},{"key":"558_CR22","doi-asserted-by":"crossref","unstructured":"Groce A, Kroening D, Lerda F (2004) Understanding counterexamples with explain. In: International conference on computer aided verification, Springer, pp 453\u2013456","DOI":"10.1007\/978-3-540-27813-9_35"},{"issue":"3","key":"558_CR23","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10009-005-0202-0","volume":"8","author":"A Groce","year":"2006","unstructured":"Groce A, Chaki S, Kroening D, Strichman O (2006) Error explanation with distance metrics. Int J Softw Tools Technol Transf 8(3):229\u2013247","journal-title":"Int J Softw Tools Technol Transf"},{"issue":"17","key":"558_CR24","doi-asserted-by":"publisher","first-page":"556","DOI":"10.2307\/2025310","volume":"70","author":"D Lewis","year":"1974","unstructured":"Lewis D (1974) Causation. J Philos 70(17):556\u2013567","journal-title":"J Philos"},{"key":"558_CR25","doi-asserted-by":"crossref","unstructured":"Jose M, Majumdar R (2011) Bug-assist: assisting fault localization in ansi-c programs. In: International conference on computer aided verification, Springer, pp 504\u2013509","DOI":"10.1007\/978-3-642-22110-1_40"},{"key":"558_CR26","doi-asserted-by":"crossref","unstructured":"Marques-Silva J, Planes J (2008) Algorithms for maximum satisfiability using unsatisfiable cores. In: Proceedings of the conference on design, automation and test in Europe, pp 408\u2013413","DOI":"10.1145\/1403375.1403474"},{"key":"558_CR27","unstructured":"Marques-Silva J (2009) The msuncore maxsat solver"},{"key":"558_CR28","doi-asserted-by":"crossref","unstructured":"Lamraoui S-M, Nakajima S (2014) A formula-based approach for automatic fault localization of imperative programs. In: International conference on formal engineering methods, Springer, pp 251\u2013266","DOI":"10.1007\/978-3-319-11737-9_17"},{"issue":"1","key":"558_CR29","first-page":"88","volume":"24","author":"S-M Lamraoui","year":"2016","unstructured":"Lamraoui S-M, Nakajima S (2016) A formula-based approach for automatic fault localization of multi-fault programs. J Inf Process 24(1):88\u201398","journal-title":"J Inf Process"},{"key":"558_CR30","unstructured":"Dutertre B, De Moura L (2006) The yices smt solver at Tool paper 2(2):1\u20132 http:\/\/yices.csl.sri.com\/tool-paper.pdf"},{"key":"558_CR31","unstructured":"Chinneck JW (2007) Feasibility and infeasibility in optimization:: algorithms and computational methods vol. 118. Springer"},{"issue":"1","key":"558_CR32","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1287\/ijoc.8.1.55","volume":"8","author":"JW Chinneck","year":"1996","unstructured":"Chinneck JW (1996) Localizing and diagnosing infeasibilities in networks. INFORMS J Comput 8(1):55\u201362","journal-title":"INFORMS J Comput"},{"issue":"3","key":"558_CR33","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1287\/ijoc.13.3.210.12632","volume":"13","author":"JW Chinneck","year":"2001","unstructured":"Chinneck JW (2001) Fast heuristics for the maximum feasible subsystem problem. INFORMS J Comput 13(3):210\u2013223","journal-title":"INFORMS J Comput"},{"issue":"1","key":"558_CR34","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1080\/0952813021000026795","volume":"15","author":"E Birnbaum","year":"2003","unstructured":"Birnbaum E, Lozinskii EL (2003) Consistent subsets of inconsistent systems: structure and behaviour. J Exp Theoret Artif Intell 15(1):25\u201346","journal-title":"J Exp Theoret Artif Intell"},{"issue":"2","key":"558_CR35","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0305-0548(95)00018-H","volume":"23","author":"M Tamiz","year":"1996","unstructured":"Tamiz M, Mardle SJ, Jones DF (1996) Detecting iis in infeasible linear programmes using techniques from goal programming. Comput Oper Res 23(2):113\u2013119","journal-title":"Comput Oper Res"},{"key":"558_CR36","unstructured":"Junker U (2004) Preferred explanations and relaxations for over-constrained problems. In: AAAI-2004"},{"key":"558_CR37","doi-asserted-by":"crossref","unstructured":"Barnett M, Leino KRM (2005) Weakest-precondition of unstructured programs. In: Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on program analysis for software tools and engineering, pp 82\u201387","DOI":"10.1145\/1108792.1108813"},{"issue":"2","key":"558_CR38","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/s10601-009-9089-9","volume":"15","author":"H Collavizza","year":"2010","unstructured":"Collavizza H, Rueher M, Van Hentenryck P (2010) Cpbpv: a constraint-programming framework for bounded program verification. Constraints 15(2):238\u2013264","journal-title":"Constraints"},{"issue":"1","key":"558_CR39","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s10009-012-0258-6","volume":"16","author":"H Collavizza","year":"2014","unstructured":"Collavizza H, Le Vinh N, Ponsini O, Rueher M, Rollet A (2014) Constraint-based bmc: a backjumping strategy. Int J Softw Tools Technol Transf 16(1):103\u2013121","journal-title":"Int J Softw Tools Technol Transf"},{"issue":"2","key":"558_CR40","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1023\/A:1009717821137","volume":"2","author":"DS Rosenblum","year":"1997","unstructured":"Rosenblum DS, Weyuker EJ (1997) Lessons learned from a regression testing case study. Empir Softw Eng 2(2):188\u2013191","journal-title":"Empir Softw Eng"},{"key":"558_CR41","doi-asserted-by":"crossref","unstructured":"Clarke E, Kroening D, Lerda F (2004) A tool for checking ansi-c programs. In: International conference on tools and algorithms for the construction and analysis of systems, Springer, pp 168\u2013176","DOI":"10.1007\/978-3-540-24730-2_15"},{"issue":"2","key":"558_CR42","first-page":"92","volume":"31","author":"M Bekkouche","year":"2023","unstructured":"Bekkouche M (2023) Correcting instruction expression logic errors with genexp: a genetic programming solution. Comput Sci 31(2):92","journal-title":"Comput Sci"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-024-00558-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11334-024-00558-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-024-00558-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T03:05:14Z","timestamp":1750302314000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11334-024-00558-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,12]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["558"],"URL":"https:\/\/doi.org\/10.1007\/s11334-024-00558-1","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-2229982\/v1","asserted-by":"object"}]},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,4,12]]},"assertion":[{"value":"2 November 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 March 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 April 2024","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 author has no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}