{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:59:41Z","timestamp":1725465581255},"publisher-location":"New York","reference-count":20,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"038723151X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-23152-8_40","type":"book-chapter","created":{"date-parts":[[2006,1,19]],"date-time":"2006-01-19T06:36:28Z","timestamp":1137652588000},"page":"299-309","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Debugging with High-Level Observations"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Mayer","sequence":"first","affiliation":[]},{"given":"Markus","family":"Stumptner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"40_CR1","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E. M. Clarke","year":"1994","unstructured":"Clarke, Edmund M., Grumberg, Orna, and Long, David E. (1994). Model Checking and Abstraction. ACM Transactions on Programming Languages and Systems, 16(5): 1512\u20131542.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"Console, Luca, Friedrich, Gerhard, and Dupr\u00e9, Daniele Theseider (1993). Model-based diagnosis meets error diagnosis in logic programs. In Proc. 13th IJCAI, pages 1494\u20131499, Chambery.","DOI":"10.1007\/BFb0019402"},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"Cousot, Patrick and Cousot, Radhia (1977). Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixpoints. In POPL\u201977, pages 238\u2013252, Los Angeles.","DOI":"10.1145\/512950.512973"},{"key":"40_CR4","unstructured":"Cousot, Patrick and Cousot, Radhia (2000). Abstract interpretation based program testing. In Proceedings of the SSGRR 2000 Computer & eBusiness International Conference."},{"issue":"1","key":"40_CR5","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, Johan and Williams, Brian C. (1987). Diagnosing multiple faults. Artificial Intelligence, 32(1):97\u2013130.","journal-title":"Artificial Intelligence"},{"key":"40_CR6","unstructured":"Ducass\u00e9, Mireille, editor (2000). Proceedings of the 4th International Workshop on Automated and Algorithmic Debugging, AADEBUG\u2019 00. Munich."},{"key":"40_CR7","doi-asserted-by":"crossref","unstructured":"Ernst, Michael D., Czeisler, Adam, Griswold, William G., and Notkin, David (2000). Quickly detecting relevant program invariants. In Proceedings of the 22nd International Conference on Software Engineering, pages 449\u2013458, Limerick, Ireland.","DOI":"10.1109\/ICSE.2000.870435"},{"issue":"2","key":"40_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","volume":"111","author":"G. Friedrich","year":"1999","unstructured":"Friedrich, Gerhard, Stumptner, Markus, and Wotawa, Franz (1999). Model-based diagnosis of hardware designs. Artificial Intelligence, 111(2):3\u201339.","journal-title":"Artificial Intelligence"},{"issue":"17","key":"40_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/200994.201003","volume":"1","author":"M. P. Gerlek","year":"1995","unstructured":"Gerlek, Michael P., Stoltz, Eric, and Wolfe, Michael (1995). Beyond induction variables: Detecting and classifying sequences using a demand-driven SSA. ACM Transactions on Programming Languages and Systems, 1(17):85\u2013122.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"40_CR10","doi-asserted-by":"crossref","unstructured":"Groce, Alex and Visser, Willem (2003). What went wrong: Explaining counterexamples. In SPIN Workshop on Model Checking of Software.","DOI":"10.1007\/3-540-44829-2_8"},{"issue":"2","key":"40_CR11","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/210134.210135","volume":"4","author":"D. Jackson","year":"1995","unstructured":"Jackson, Daniel (1995). Aspect: Detecting Bugs with Abstract Dependences. ACM Transactions on Software Engineering and Methodology, 4(2): 109\u2013145.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"40_CR12","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF03037396","volume":"5","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd, J. W. (1987). Declarative Error Diagnosis. New Generation Computing, 5: 133\u2013154.","journal-title":"New Generation Computing"},{"key":"40_CR13","unstructured":"Mateis, Cristinel, Stumptner, Markus, and Wotawa, Franz (2000). A Value-Based Diagnosis Model for Java Programs. In Proc. 11th Int\u2019l Workshop on Principles of Diagnosis, Morelia, Mexico."},{"key":"40_CR14","unstructured":"Mayer, Wolfgang and Stumptner, Markus (2003). Model-based debugging using multiple abstract models. In Proceedings of the 5th International Workshop on Automated and Algorithmic Debugging, AADEBUG\u2019 03, pages 55\u201370, Ghent."},{"key":"40_CR15","unstructured":"Mayer, Wolfgang and Stumptner, Markus (2004). Approximate modeling for debugging program loops. In Proceedings of the Fifteenth International Workshop on Principles of Diagnosis, Carcassonne."},{"key":"40_CR16","unstructured":"Mayer, Wolfgang, Stumptner, Markus, Wieland, Dominik, and Wotawa, Franz (2002a). Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models. In Proc. ECAI, pages 417\u2013421, Lyon."},{"key":"40_CR17","unstructured":"Mayer, Wolfgang, Stumptner, Markus, Wieland, Dominik, and Wotawa, Franz (2002b). Towards an Integrated Debugging Environment. In Proceedings of the European Conference on Artificial Intelligence (ECAI), pages 422\u2013426, Lyon."},{"key":"40_CR18","doi-asserted-by":"crossref","unstructured":"Mayer, Wolfgang, Stumptner, Markus, and Wotawa, Franz (2002c). Model-based Debugging or How to Diagnose Programs Automatically. In Proc. IEAIAIE, Springer LNAI, pages 746\u2013757, Cairns, Australia.","DOI":"10.1007\/3-540-48035-8_72"},{"issue":"1","key":"40_CR19","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, Raymond (1987). A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57\u201395.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"40_CR20","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser, Mark (1984). Program slicing. IEEE Transactions on Software Engineering, 10(4):352\u2013357.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["IFIP International Federation for Information Processing","Intelligent Information Processing II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-23152-8_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:56:07Z","timestamp":1605642967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-23152-8_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["038723151X"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/0-387-23152-8_40","relation":{},"subject":[]}}