{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:41:47Z","timestamp":1725543707515},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354536"},{"type":"electronic","value":"9783540354543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11779568_71","type":"book-chapter","created":{"date-parts":[[2006,6,23]],"date-time":"2006-06-23T11:00:22Z","timestamp":1151060422000},"page":"660-667","source":"Crossref","is-referenced-by-count":2,"title":["Towards Lightweight Fault Localization in Procedural Programs"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Peischl","sequence":"first","affiliation":[]},{"given":"Safeeullah","family":"Soomro","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"71_CR1","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(1), 97\u2013130 (1987)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"71_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","volume":"111","author":"G. Friedrich","year":"1999","unstructured":"Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. Artificial Intelligence\u00a0111(2), 3\u201339 (1999)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"71_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/210134.210135","volume":"4","author":"D. Jackson","year":"1995","unstructured":"Jackson, D.: Aspect: Detecting Bugs with Abstract Dependences. ACM Transactions on Software Engineering and Methodology\u00a04(2), 109\u2013145 (1995)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"71_CR4","first-page":"833","volume-title":"16th European Conference on Artificial Intelligence (ECAI)","author":"D. K\u00f6b","year":"2004","unstructured":"K\u00f6b, D., Wotawa, F.: Introducing alias information into model-based debugging. In: 16th European Conference on Artificial Intelligence (ECAI), Valencia, Spain, pp. 833\u2013837. IOS Press, Amsterdam (2004)"},{"key":"71_CR5","doi-asserted-by":"crossref","unstructured":"Kuper, R.I.: Dependency-directed localization of software bugs. Technical Report AI-TR 1053, MIT AI Lab (May 1989)","DOI":"10.21236\/ADA210837"},{"key":"71_CR6","doi-asserted-by":"crossref","unstructured":"Mayer, W., Stumptner, M.: Extending diagnosis to debug programs with exceptions. In: Proceedings 18 th Int\u2019l. IEEE Conference on Automated Software Engineering, Montreal, Canada, pp. 240\u2013244 (October 2003)","DOI":"10.1109\/ASE.2003.1240312"},{"issue":"3","key":"71_CR7","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MIS.2003.1200725","volume":"18","author":"B. Peischl","year":"2003","unstructured":"Peischl, B., Wotawa, F.: Model-based diagnosis or reasoning from first principles. IEEE Intelligent Systems\u00a018(3), 32\u201337 (2003)","journal-title":"IEEE Intelligent Systems"},{"key":"71_CR8","first-page":"8","volume-title":"IEEE Design & Test of Computers","author":"B. Peischl","year":"2006","unstructured":"Peischl, B., Wotawa, F.: Automated source-level error localization in hardware designs. In: IEEE Design & Test of Computers, pp. 8\u201319. IEEE Computer Society Press, Los Alamitos (2006)"},{"issue":"1","key":"71_CR9","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(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"71_CR10","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/3-540-45656-2_41","volume-title":"AI 2001: Proceedings of the 14th Australian Joint Conference on Artificial Intelligence","author":"M. Stumptner","year":"2001","unstructured":"Stumptner, M.: Using design information to identify structural software faults. In: AI 2001: Proceedings of the 14th Australian Joint Conference on Artificial Intelligence, pp. 473\u2013486. Springer, London, UK (2001)"},{"key":"71_CR11","unstructured":"Wieland, D.: Model-Based Debugging of Java Programs Using Dependencies. PhD thesis, Vienna University of Technology, Computer Science Department, Institute of Information Systems (184), Database and Artificial Intelligence Group (184\/2) (November 2001)"},{"issue":"1","key":"71_CR12","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1023\/A:1012821511498","volume":"16","author":"F. Wotawa","year":"2002","unstructured":"Wotawa, F.: Debugging hardware designs using a value-based Model. Applied Intelligence\u00a016(1), 71\u201392 (2002)","journal-title":"Applied Intelligence"},{"key":"71_CR13","series-title":"LNCS (LNAI)","first-page":"357","volume-title":"Proceedings of 18th International Conference on Industrial Engineering Applications of Artificial Intelligence Expert Systems","author":"F. Wotawa","year":"2005","unstructured":"Wotawa, F., Soomro, S.: Fault localization based on abstract dependencies. In: Proceedings of 18th International Conference on Industrial Engineering Applications of Artificial Intelligence Expert Systems. LNCS (LNAI), pp. 357\u2013359. Springer, Heidelberg (2005)"},{"key":"71_CR14","unstructured":"Wotawa, F., Soomro, S.: Using abstract dependencies in debugging. In: Proceedings of 19th International Workshop on Qualitative Reasoning QR 2005, pp. 23\u201328 (2005)"}],"container-title":["Lecture Notes in Computer Science","Advances in Applied Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11779568_71","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T14:25:56Z","timestamp":1555683956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11779568_71"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354536","9783540354543"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11779568_71","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}