{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:53:09Z","timestamp":1725551589335},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304623"},{"type":"electronic","value":"9783540316527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589990_98","type":"book-chapter","created":{"date-parts":[[2005,11,26]],"date-time":"2005-11-26T06:28:03Z","timestamp":1132986483000},"page":"865-870","source":"Crossref","is-referenced-by-count":0,"title":["An Object Store Model for Diagnosing Java Programs"],"prefix":"10.1007","author":[{"given":"Rong","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"98_CR1","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/604131.604140","volume-title":"Proc. of POPL","author":"T. Ball","year":"2003","unstructured":"Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. In: Proc. of POPL, pp. 97\u2013105. ACM Press, New York (2003)"},{"issue":"7","key":"98_CR2","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H","volume":"30","author":"W.R. Bush","year":"2000","unstructured":"Bush, W.R., Pincus, J.D., Sielaff, D.J.: A static analyzer for finding dynamic programming errors. Software Practice and Experience\u00a030(7), 775\u2013802 (2000)","journal-title":"Software Practice and Experience"},{"key":"98_CR3","unstructured":"Chen, R., Koeb, D., Wotawa, F.: Exploring object relations for automated fault localization. In: Pacific Grove, California, USA (2005)"},{"key":"98_CR4","volume-title":"Model Checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (2000)"},{"issue":"11","key":"98_CR5","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/949343.949314","volume":"38","author":"B. Demsky","year":"2003","unstructured":"Demsky, B., Rinard, M.: Automatic detection and repair of errors in data structures. ACM SIGPLAN Notices\u00a038(11), 78\u201395 (2003)","journal-title":"ACM SIGPLAN Notices"},{"key":"98_CR6","unstructured":"Detlefs, D.L., Leino, K.R.M., Nelson, G., Saxe, J.B.: Extended static checking. Technical Report SRC-RR-159, HP Laboratories (1998)"},{"key":"98_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-24730-2_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Groce","year":"2004","unstructured":"Groce, A.: Error explanation with distance metrics. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 108\u2013122. Springer, Heidelberg (2004)"},{"issue":"2","key":"98_CR8","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 TOSEM\u00a04(2), 109\u2013145 (1995)","journal-title":"ACM TOSEM"},{"key":"98_CR9","first-page":"417","volume-title":"Proc. ECAI","author":"W. Mayer","year":"2002","unstructured":"Mayer, W., Stumptner, M., Wieland, D., Wotawa, F.: Can ai help to improve debugging substantially? debugging experiences with value-based models. In: Proc. ECAI, pp. 417\u2013421. IOS Press, Amsterdam (2002)"},{"issue":"1","key":"98_CR10","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":"98_CR11","unstructured":"Wieland, D.: Model-Based Debugging of Java Programs Using Dependencies. PhD thesis, Vienna University of Technology, Institute of Information Systems (184) (November 2001)"},{"key":"98_CR12","doi-asserted-by":"crossref","unstructured":"Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering\u00a028(2) (2002)","DOI":"10.1109\/32.988498"}],"container-title":["Lecture Notes in Computer Science","AI 2005: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589990_98.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T16:40:38Z","timestamp":1683304838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589990_98"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304623","9783540316527"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11589990_98","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}