{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:49:04Z","timestamp":1760586544717},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236108"},{"type":"electronic","value":"9783540304760"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30476-0_37","type":"book-chapter","created":{"date-parts":[[2011,1,12]],"date-time":"2011-01-12T12:51:35Z","timestamp":1294836695000},"page":"456-469","source":"Crossref","is-referenced-by-count":1,"title":["Localizing Errors in Counterexample with Iteratively Witness Searching"],"prefix":"10.1007","author":[{"given":"ShengYu","family":"Shen","sequence":"first","affiliation":[]},{"given":"Ying","family":"Qin","sequence":"additional","affiliation":[]},{"given":"SiKun","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","unstructured":"Shen, S., Qin, Y., Li, S.: Bug Localization of Hardware System with Control Flow Distance Minimization. In: 13th IEEE International Workshop on Logic and Synthesis (IWLS 2004), Temecula, California, USA, (June 2-4, 2004) (accepted)"},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"Shen, S., Qin, Y., Li, S.: Debugging Complex Counterexample of Hardware System using Control Flow Distance Metrics. In: 47rd IEEE Midwest Symposium on Circuits and Systems(MWSCAS 2004), Hiroshima, Japan (July 25-28, 2004) (accpeted)","DOI":"10.1109\/MWSCAS.2004.1354037"},{"key":"37_CR3","doi-asserted-by":"crossref","unstructured":"Ravi, K., Somenzi, F.: Minimal Assignments for Bounded Model Checking. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (March-April 2004)","DOI":"10.1007\/978-3-540-24730-2_3"},{"key":"37_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/978-3-540-27813-9_35","volume-title":"Computer Aided Verification","author":"A. Groce","year":"2004","unstructured":"Groce, A., Kroening, D., Lerda, F.: Understanding Counterexamples with explain. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 453\u2013456. Springer, Heidelberg (2004)"},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"Ball, T., Naik, M., Rajamani, S.: From Symptom to Cause: Localizing Errors in Counterexample Traces. In: Proceedings of ACM Symposium on Principles of Programming Languages (POPL 2003), New Orleans, LA (January 2003)","DOI":"10.1145\/604131.604140"},{"key":"37_CR6","doi-asserted-by":"publisher","first-page":"556","DOI":"10.2307\/2025310","volume":"70","author":"D. Lewis","year":"1973","unstructured":"Lewis, D.: Causation. Journal of Philosophy\u00a070, 556\u2013567 (1973)","journal-title":"Journal of Philosophy"},{"key":"37_CR7","unstructured":"Renieris, M., Reiss, S.: fault localization with nearest neighbor queries. In: Automatic Software Engineering (2003)"},{"key":"37_CR8","doi-asserted-by":"crossref","unstructured":"Groce, A., Visser, W.: What Went Wrong: Explaining Counterexamples. In: SPIN Workshop on Model Checking of Software, May 2003, pp. 121\u2013135 (2003)","DOI":"10.1007\/3-540-44829-2_8"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"Groce, A.: Error Explanation with Distance Metrics. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (March-April 2004)","DOI":"10.1007\/978-3-540-24730-2_8"},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Jin, H., Ravi, K., Somenzi, F.: Fate and free will in error traces. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 445\u2013458 (2002)","DOI":"10.1007\/3-540-46002-0_31"},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"Fey, G., Drechsler, R.: Finding Good Counter-Examples to Aid Design Verification. In: Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003) (2003)","DOI":"10.1109\/MEMCOD.2003.1210088"},{"key":"37_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, p. 359. Springer, Heidelberg (2002)"},{"key":"37_CR13","doi-asserted-by":"crossref","unstructured":"Chechik, M., Gurfinkel, A.: Proof-like counterexamples. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 160\u2013175 (2003)","DOI":"10.1007\/3-540-36577-X_12"},{"key":"37_CR14","unstructured":"Aloul, F., Ramani, A., Markov, I., Sakallah, K.: PBS: A Backtrack-Search Pseudo- Boolean Solver and Optimizer. In: Symposium on the Theory and Applications of Satisfiability Testing (SAT), Ohio, pp. 346\u2013353 (2002)"},{"key":"37_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-45294-X_25","volume-title":"FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science","author":"D. Peled","year":"2001","unstructured":"Peled, D., Pnueli, A., Zuck, L.: From falsification to verification. In: Hariharan, R., Mukund, M., Vinay, V. (eds.) FSTTCS 2001. LNCS, vol.\u00a02245, p. 292. Springer, Heidelberg (2001)"},{"key":"37_CR16","doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Fujita, M., Zhu, Y.: Symbolic Model Checking using SAT procedures instead of BDDs. In: Proceedings of Design Automation Conference (DAC 1999) (1999)","DOI":"10.21236\/ADA360973"},{"key":"37_CR17","unstructured":"McMillan, K.L., Schwalbe, J.: Formal verification of the Encore Gigamax cache consistency protocols. In: Int. Symp. on Shared Memory Multiprocessors, Tokyo, Japan, April 2-4, pp. 242\u2013251 (1991)"},{"key":"37_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/3-540-45657-0_37","volume-title":"Computer Aided Verification","author":"L. Tan","year":"2002","unstructured":"Tan, L., Cleaveland, R.: Evidence-Based Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 455\u2013470. Springer, Heidelberg (2002)"},{"key":"37_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-44585-4_2","volume-title":"Computer Aided Verification","author":"K. Namjoshi","year":"2001","unstructured":"Namjoshi, K.: Certifying Model Checkers. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, p. 2. Springer, Heidelberg (2001)"},{"key":"37_CR20","doi-asserted-by":"crossref","unstructured":"Moskewicz, M., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient SAT solver. In: Proceedings of the Design Automation Conference, Las Vegas, NV, June 2001, pp. 530\u2013535 (2001)","DOI":"10.1145\/378239.379017"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30476-0_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:53:46Z","timestamp":1605743626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30476-0_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236108","9783540304760"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30476-0_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}