{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:36:54Z","timestamp":1737178614037,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429609"},{"type":"electronic","value":"9783540456568"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45656-2_41","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T15:46:10Z","timestamp":1183391170000},"page":"473-486","source":"Crossref","is-referenced-by-count":3,"title":["Using Design Information to Identify Structural Software Faults"],"prefix":"10.1007","author":[{"given":"Markus","family":"Stumptner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,14]]},"reference":[{"key":"41_CR1","doi-asserted-by":"crossref","unstructured":"Lisa Burnell and Eric Horvitz. Structure and Chance: Melding Logic and Probability for Software Debugging. Communications of the ACM, pages 31\u201341, 1995.","DOI":"10.1145\/203330.203338"},{"key":"41_CR2","unstructured":"Claudia B\u00f6ttcher. No faults in structure? How to diagnose hidden interaction. In Proc. IJCA1, Montreal, August 1995."},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"Luca Console, Gerhard Friedrich, and Daniele Theseider Dupr\u00e9. Model-based diagnosis meets error diagnosis in logic programs. In Proceedings 13 th International Joint Conf. on Artificial Intelligence, Chambery, August 1993.","DOI":"10.1007\/BFb0019402"},{"issue":"5","key":"41_CR4","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E. M. Clarke","year":"1994","unstructured":"Edmund M. Clarke, Orna Grumberg, and David E. Long. Model Checking and Abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512\u20131542, September 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"41_CR5","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R. Davis","year":"1984","unstructured":"Randall Davis. Diagnostic reasoning based on structure and behavior. Artificial Intelligence, 24:347\u2013410, 1984.","journal-title":"Artificial Intelligence"},{"issue":"l","key":"41_CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(l):97\u2013130, 1987.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"41_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","volume":"111","author":"G. Friedrich","year":"1999","unstructured":"Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. Artificial Intelligence, 111(2):3\u201339, July 1999.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"41_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/210134.210135","volume":"4","author":"D. Jackson","year":"1995","unstructured":"Daniel Jackson. Aspect: Detecting Bugs with Abstract Dependences. ACM Transactions on Software Engineering and Methodology, 4(2): 109\u2013145, April 1995.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"41_CR9","unstructured":"Bogdan Korel and Jurgen Rilling. Applications of Dynamic Slicing in Program Debugging. In Proceedings of the Third International Workshop on Automatic Debugging (AADEBUG-97), Link\u00f6ping, Sweden, 1997."},{"issue":"10","key":"41_CR10","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"B. Meyer. Applying \u201cDesign by Contract\u201d. IEEE Computer, 25(10):40\u201351, October 1992.","journal-title":"IEEE Computer"},{"key":"41_CR11","unstructured":"Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Debugging of Java programs using a model-based approach. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, Loch Awe, Scotland, 1999."},{"key":"41_CR12","unstructured":"Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Modeling Java Programs for Diagnosis. In Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin, Germany, August 2000."},{"key":"41_CR13","unstructured":"Cristinel Mateis, Markus Stumptner, and Franz Wotawa. A Value-Based Diagnosis Model for Java Programs. In Proceedings of the Eleventh International Workshop on Principles of Diagnosis, Morelia, Mexico, June 2000."},{"key":"41_CR14","unstructured":"C. Preist and B. Welham. Modelling bridge faults for diagnosis in electronic circuits. In Proc. DX\u201990 Workshop, Stanford, 1990."},{"issue":"l","key":"41_CR15","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(l):57\u201395, 1987.","journal-title":"Artificial Intelligence"},{"key":"41_CR16","unstructured":"J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley Publishing Company, 1999."},{"key":"41_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E. Shapiro","year":"1983","unstructured":"Ehud Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, Massachusetts, 1983."},{"key":"41_CR18","unstructured":"Markus Stumptner and Franz Wotawa. Debugging Functional Programs. In Proceedings 16 th 1 International Joint Conf. on Artificial Intelligence, Stockholm, Sweden, August 1999."},{"issue":"4","key":"41_CR19","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Mark Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352\u2013357, July 1984","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","AI 2001: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45656-2_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T02:51:53Z","timestamp":1737168713000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45656-2_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429609","9783540456568"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45656-2_41","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}