{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:53:32Z","timestamp":1725533612726},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642025679"},{"type":"electronic","value":"9783642025686"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02568-6_39","type":"book-chapter","created":{"date-parts":[[2009,6,25]],"date-time":"2009-06-25T12:54:02Z","timestamp":1245934442000},"page":"379-388","source":"Crossref","is-referenced-by-count":2,"title":["Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge"],"prefix":"10.1007","author":[{"given":"Safeeullah","family":"Soomro","sequence":"first","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","first-page":"238","volume-title":"Proceedings POPL 1977","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpreation: A unified lattice model for static analysis of programs by construction of approximation of fixpoints. In: Proceedings POPL 1977, pp. 238\u2013252. ACM, New York (1977)"},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence 32(1), 97\u2013130 (1987)","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Forbus, K.D.: Qualitative process theory. Artificial Intelligence 24, 85\u2013168 (1984)","DOI":"10.1016\/0004-3702(84)90038-9"},{"issue":"2","key":"39_CR4","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":"1","key":"39_CR5","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. Greiner","year":"1989","unstructured":"Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiter\u2019s theory of diagnosis. Artificial Intelligence\u00a041(1), 79\u201388 (1989)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"39_CR6","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":"39_CR7","doi-asserted-by":"crossref","unstructured":"Kuipers, B.: Qualitative simulation. Artificial Intelligence 29, 289\u2013388 (1986)","DOI":"10.1016\/0004-3702(86)90073-1"},{"key":"39_CR8","unstructured":"Mayer, W., Stumptner, M.: Debugging program loops using approximate modeling. In: Proceedings ECAI 2004, Valencia, Spain, pp. 843\u2013847 (2004)"},{"key":"39_CR9","doi-asserted-by":"crossref","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57\u201395 (1987)","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"Soomro, S.: Using abstract dependences to localize faults from procedural programs. In: Proceedings Artificial Intelligence and Applications, Innsbruck, Austria, pp. 180\u2013185 (2007)","DOI":"10.5772\/6334"},{"key":"39_CR11","doi-asserted-by":"crossref","unstructured":"Weiser, M.: Programmers use slices when debugging. Communications of the ACM 25(7), 446\u2013452 (1982)","DOI":"10.1145\/358557.358577"},{"issue":"4","key":"39_CR12","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M.: Program slicing. IEEE Transactions on Software Engineering\u00a010(4), 352\u2013357 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"volume-title":"Readings in Qualitative Reasoning about Physical Systems","year":"1989","key":"39_CR13","unstructured":"Weld, D., de Kleer, J. (eds.): Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Francisco (1989)"},{"key":"39_CR14","unstructured":"Wieland, D.: Model-Based Debugging of Java Programs Using Dependencies. PhD thesis, Vienna University of Technology, Computer Science Department, Institute of Information Systems, Database and Artificial Intelligence Group (2001)"},{"issue":"1\u20132","key":"39_CR15","first-page":"124","volume":"135","author":"F. Wotawa","year":"2002","unstructured":"Wotawa, F.: On the Relationship between Model-Based Debugging and Program Slicing. Artificial Intelligence\u00a0135(1\u20132), 124\u2013143 (2002)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Next-Generation Applied Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02568-6_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T02:40:28Z","timestamp":1558406428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02568-6_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642025679","9783642025686"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02568-6_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}