{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T07:54:49Z","timestamp":1772783689283,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540291053","type":"print"},{"value":"9783540320302","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560548_6","type":"book-chapter","created":{"date-parts":[[2005,10,6]],"date-time":"2005-10-06T09:38:22Z","timestamp":1128591502000},"page":"35-49","source":"Crossref","is-referenced-by-count":49,"title":["Finding and Fixing Faults"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Staber","sequence":"first","affiliation":[]},{"given":"Barbara","family":"Jobstmann","sequence":"additional","affiliation":[]},{"given":"Roderick","family":"Bloem","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-61474-5_95","volume-title":"Computer Aided Verification","author":"R.K. Brayton","year":"1996","unstructured":"Brayton, R.K., et al.: VIS: A system for verification and synthesis. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 428\u2013432. Springer, Heidelberg (1996)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: Localizing errors in counterexample traces. In: 30th Symposium on Principles of Programming Languages (POPL 2003), January 2003, pp. 97\u2013105 (2003)","DOI":"10.1145\/604131.604140"},{"key":"6_CR3","first-page":"1494","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 1993)","author":"L. Console","year":"1993","unstructured":"Console, L., Friedrich, G., Theseider Dupr\u00e9, D.: Model-based diagnosis meets error diagnosis in logic programs. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 1494\u20131499. Morgan-Kaufmann, San Francisco (1993)"},{"key":"6_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"3","key":"6_CR5","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"Console, L., Torasso, P.: A spectrum of logical definitions of model-based diagnosis. Computational Intelligence\u00a07(3), 133\u2013141 (1991)","journal-title":"Computational Intelligence"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1109\/92.311641","volume":"2","author":"P.-Y. Chung","year":"1994","unstructured":"Chung, P.-Y., Wang, Y.-M., Hajj, I.N.: Logic design error diagnosis and correction. IEEE Transactions on Very Large Scale Integration (VLSI) Systems\u00a02, 320\u2013332 (1994)","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Fahim Ali, M., Veneris, A., Safarpur, S., Drechsler, R., Smith, A., Abadir, M.: Debugging sequential circuits using boolean satisfiability. In: International Conference on Computer Aided Design, pp. 204\u2013209 (2004)","DOI":"10.1109\/ICCAD.2004.1382572"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-24730-2_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Groce","year":"2004","unstructured":"Groce, A.: Error explanation with distance metrics. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 108\u2013122. Springer, Heidelberg (2004)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44829-2_8","volume-title":"Model Checking Software","author":"A. Groce","year":"2003","unstructured":"Groce, A., Visser, W.: What went wrong: Explaining counterexamples. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 121\u2013135. Springer, Heidelberg (2003)"},{"key":"6_CR10","unstructured":"Hamscher, W., Davis, R.: Diagnosing circuits with state: An inherently underconstrained problem. In: Proceedings of the Fourth National Conference on Artificial Intelligence (AAAI 1984), Austin, TX, pp. 142\u2013147 (1984)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11513988_23","volume-title":"Computer Aided Verification","author":"B. Jobstmann","year":"2005","unstructured":"Jobstmann, B., Griesmayer, A., Bloem, R.: Program repair as a game. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 226\u2013238. Springer, Heidelberg (2005)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/3-540-46002-0_31","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Jin","year":"2002","unstructured":"Jin, H., Ravi, K., Somenzi, F.: Fate and free will in error traces. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 445\u2013459. Springer, Heidelberg (2002)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence\u00a032, 97\u2013130 (1987)","journal-title":"Artificial Intelligence"},{"key":"6_CR14","unstructured":"Liaw, H.-T., Tsiah, J.-H., Hajj, I.N.: Efficient automatic diagnosis of digital circuits. In: Proceedings of the IEEE International Conference on Computer Aided Design, pp. 464\u2013467 (1990)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Madre, J.C., Coudert, O., Billon, J.P.: Automating the diagmosis and the rectification of design error with PRIAM. In: Proceedings of the IEEE International Conference on Computer Aided Design, pp. 30\u201333 (1989)","DOI":"10.1109\/ICCAD.1989.76898"},{"key":"6_CR16","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-1-4612-4792-0_13","volume-title":"The Knowledge Frontier: Essays in the Representation of Knowledge","author":"D.L. Poole","year":"1987","unstructured":"Poole, D.L., Goebel, R., Aleliunas, R.: Theorist: a logical reasoning system for defaults and diagnosis. In: Cercone, N., McCalla, G. (eds.) The Knowledge Frontier: Essays in the Representation of Knowledge, pp. 331\u2013352. Springer, Heidelberg (1987)"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032, 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Renieris, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: International Conference on Automated Software Engineering, Montreal, Canada, October 2003, pp. 30\u201339 (2003)","DOI":"10.1109\/ASE.2003.1240292"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-24730-2_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Ravi","year":"2004","unstructured":"Ravi, K., Somenzi, F.: Minimal assignments for bounded model checking. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 31\u201345. Springer, Heidelberg (2004)"},{"key":"6_CR20","unstructured":"Stumptner, M., Wotawa, F.: Debugging functional programs. In: Proceedings on the 16th International Joint Conference on Artificial Intelligence (1999)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Tomita, M., Yamamoto, T., Sumikawa, F., Hirano, K.: Rectification of multiple logic design errors in multiple output circuits. In: Proceedings of the Design Automation Conference, pp. 212\u2013217 (1994)","DOI":"10.1145\/196244.196356"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1994.1092","volume":"115","author":"M. Vardi","year":"1994","unstructured":"Vardi, M., Wolper, P.: Reasoning about infinite computations. Information and Computation\u00a0115, 1\u201337 (1994)","journal-title":"Information and Computation"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/3-540-60385-9_11","volume-title":"Correct Hardware Design and Verification Methods","author":"A. Wahba","year":"1995","unstructured":"Wahba, A., Borrione, D.: Design error diagnosis in sequential circuits. In: Camurati, P.E., Eveking, H. (eds.) CHARME 1995. LNCS, vol.\u00a0987, pp. 171\u2013188. Springer, Heidelberg (1995)"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Zeller, A.: Isolating cause-effect chains from computer programs. In: 10th International Symposium on the Foundations of Software Engineering (FSE-10), November 2002, pp. 1\u201310 (2002)","DOI":"10.1145\/587051.587053"},{"issue":"2","key":"6_CR25","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/32.988498","volume":"28","author":"A. Zeller","year":"2002","unstructured":"Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering\u00a028(2), 183\u2013200 (2002)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560548_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T19:51:47Z","timestamp":1736020307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560548_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291053","9783540320302"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11560548_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}