{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T00:40:20Z","timestamp":1737592820360,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001973"},{"type":"electronic","value":"9783540361879"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36187-1_10","type":"book-chapter","created":{"date-parts":[[2007,11,28]],"date-time":"2007-11-28T01:17:37Z","timestamp":1196212657000},"page":"107-118","source":"Crossref","is-referenced-by-count":3,"title":["Modeling Programs with Unstructured Control Flow for Debugging"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Mayer","sequence":"first","affiliation":[]},{"given":"Markus","family":"Stumptner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,8]]},"reference":[{"issue":"5","key":"10_CR1","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. ACMTransactions on Programming Languages and Systems, 16(5):1512\u20131542, September 1994.","journal-title":"ACMTransactions on Programming Languages and Systems"},{"key":"10_CR2","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, pages 1494\u20131499, Chambery, August 1993.","DOI":"10.1007\/BFb0019402"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. Abstract interpretation:A unified latice model for static analysis fo programs by construction of approximation of fixpoints. In Proceedings on Principles of Programming Languages, volume 4, Los Angeles, California, January 1977.","DOI":"10.1145\/512950.512973"},{"issue":"4","key":"10_CR4","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM TOPLAS, 13(4):451\u2013490, 1991.","journal-title":"ACM TOPLAS"},{"key":"10_CR5","unstructured":"Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, and Markus Stumptner. Consistency based diagnosis of configuration knowledge-bases. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, Loch Awe, June 1999."},{"issue":"3","key":"10_CR6","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Jeanne Ferrante, Karl J. Ottenstein, and Joe D. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, 9(3):319\u2013349, 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"10_CR7","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":"10_CR8","doi-asserted-by":"crossref","unstructured":"Richard Johnson and Keshav Pingali. Dependence-based program analysis. In SIGPLAN Conference on Programming Language Design and Implementation, pages 78\u201389, 1993.","DOI":"10.1145\/155090.155098"},{"key":"10_CR9","unstructured":"Ulrich Junker. QUICKXPLAIN: Conflict detection for arbitrary constraint propagation algorithms. In IJCAI\u201901 Workshop on Modelling and Solving problems with constraints, Seattle,WA, USA, August 2001."},{"key":"10_CR10","unstructured":"Beat Liver. Modeling software systems for diagnosis. In Proceedings of the Fifth International Workshop on Principles of Diagnosis, pages 179\u2013184, New Paltz, NY, October 1994."},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF03037396","volume":"5","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Declarative Error Diagnosis. New Generation Computing, 5:133\u2013154, 1987.","journal-title":"New Generation Computing"},{"key":"10_CR12","unstructured":"Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Debugging of Java programs using a model-based approach. In Proceedings of the Tenth InternationalWorkshop on Principles of Diagnosis, Loch Awe, Scotland, 1999."},{"key":"10_CR13","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":"10_CR14","unstructured":"Cristinel Mateis, Markus Stumptner, and Franz Wotawa. A Value-Based Diagnosis Model for Java Programs. In Proceedings of the Eleventh InternationalWorkshop on Principles of Diagnosis, Morelia, Mexico, June 2000."},{"key":"10_CR15","unstructured":"Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models. In F. van Harmelen, editor, Proc. ECAI, Amsterdam, 2002."},{"key":"10_CR16","unstructured":"Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Towards an Integrated Debugging Environment. In F. van Harmelen, editor, Proc. ECAI, Amsterdam, 2002."},{"key":"10_CR17","unstructured":"Wolfgang Mayer, Markus Stumptner, and Franz Wotawa. Model-based Debugging or How to Diagnose Programs Automatically. In Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer LNAI, Cairns, Australia, June 2002."},{"issue":"1","key":"10_CR18","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. Atheory of diagnosis from first principles. Artificial Intelligence, 32(1):57\u201395, 1987.","journal-title":"Artificial Intelligence"},{"key":"10_CR19","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":"10_CR20","doi-asserted-by":"crossref","unstructured":"Saurabh Sinha and Mary Jean Harrold. Analysis and Testing of Programs with Exception Handling Constructs. IEEE Transactions on Software Engineering, 26(9), 2000.","DOI":"10.1109\/32.877846"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Markus Stumptner. Using design information to identify structural software faults. In Proceedings 14th Australian Joint Conference on Artificial Intelligence, Springer LNAI 2256, pages 473\u2013486, Adelaide, December 2001.","DOI":"10.1007\/3-540-45656-2_41"},{"issue":"4","key":"10_CR22","first-page":"62","volume":"14","author":"M. Stumptner","year":"2000","unstructured":"Markus Stumptner and Franz Wotawa. Using Model-Based Reasoning for Locating Faults in VHDL Designs. K\u00fcnstliche Intelligenz, 14(4):62\u201367, 2000.","journal-title":"K\u00fcnstliche Intelligenz"},{"issue":"4","key":"10_CR23","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Mark Weiser. Program slicing. IEEETransactions on Software Engineering, 10(4):352\u2013357, July 1984.","journal-title":"IEEETransactions on Software Engineering"},{"issue":"1\u20132","key":"10_CR24","first-page":"124","volume":"135","author":"F. Wotawa","year":"2002","unstructured":"Franz Wotawa. On the Relationship between Model-Based Debugging and Program Slicing. Artificial Intelligence, 135(1\u20132):124\u2013143, 2002.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","AI 2002: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36187-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T00:02:27Z","timestamp":1737590547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36187-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001973","9783540361879"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-36187-1_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}