{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:49:56Z","timestamp":1743079796596,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319190655"},{"type":"electronic","value":"9783319190662"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19066-2_69","type":"book-chapter","created":{"date-parts":[[2015,4,30]],"date-time":"2015-04-30T01:20:34Z","timestamp":1430356834000},"page":"712-721","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Focused Diagnosis for Failing Software Tests"],"prefix":"10.1007","author":[{"given":"Birgit","family":"Hofer","sequence":"first","affiliation":[]},{"given":"Seema","family":"Jehan","sequence":"additional","affiliation":[]},{"given":"Ingo","family":"Pill","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,5,1]]},"reference":[{"issue":"6","key":"69_CR1","doi-asserted-by":"publisher","first-page":"1684","DOI":"10.1145\/197320.197331","volume":"16","author":"MM Brandis","year":"1994","unstructured":"Brandis, M.M., M\u00f6ssenb\u00f6ck, H.: Single-pass generation of static assignment form for structured languages. ACM TOPLAS 16(6), 1684\u20131698 (1994)","journal-title":"ACM TOPLAS"},{"key":"69_CR2","unstructured":"Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast scalable constraint solver. In: Proceedings of ECAI 2006, Riva del Garda, pp. 98\u2013102. IOS Press (2006)"},{"issue":"1","key":"69_CR3","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 41(1), 79\u201388 (1989)","journal-title":"Artificial Intelligence"},{"key":"69_CR4","unstructured":"Hofer, B., Jehan, S., Pill, I., Wotawa, F.: Functional diagnosis of a SOA\u2019s BPEL processes. In: International Workshop on Principles of Diagnosis (DX) (2014)"},{"key":"69_CR5","doi-asserted-by":"crossref","unstructured":"Hofer, B., Wotawa, F.: Combining slicing and constraint solving for better debugging: The conbas approach. Adv. Software Engineering 2012 (2012)","DOI":"10.1155\/2012\/628571"},{"issue":"1","key":"69_CR6","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J de Kleer","year":"1987","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence 32(1), 97\u2013130 (1987)","journal-title":"Artificial Intelligence"},{"issue":"11\u201312","key":"69_CR7","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1016\/S0950-5849(98)00089-5","volume":"40","author":"B Korel","year":"1998","unstructured":"Korel, B., Rilling, J.: Dynamic program slicing methods. Information & Software Technology 40(11\u201312), 647\u2013659 (1998)","journal-title":"Information & Software Technology"},{"key":"69_CR8","unstructured":"Mayer, W., Friedrich, G., Stumptner, M.: On computing correct processes and repairs sing partial behavioral models. In: ECAI. Frontiers in Artificial Intelligence and Applications, vol. 242, pp. 582\u2013587. IOS Press (2012)"},{"issue":"4","key":"69_CR9","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2006.12.030","volume":"174","author":"W Mayer","year":"2007","unstructured":"Mayer, W., Stumptner, M.: Model-based debugging - state of the art and future challenges. Electron. Notes Theor. Comput. Sci. 174(4), 61\u201382 (2007). http:\/\/dx.doi.org\/10.1016\/j.entcs.2006.12.030","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"69_CR10","doi-asserted-by":"crossref","unstructured":"Metodi, A., Stern, R., Kalech, M., Codish, M.: Compiling model-based diagnosis to Boolean satisfaction. In: 26th AAAI Conference on Artificial Intelligence, pp. 793\u2013799 (2012)","DOI":"10.1609\/aaai.v26i1.8222"},{"key":"69_CR11","unstructured":"Nica, I., Pill, I., Quaritsch, T., Wotawa, F.: The route to success - a performance comparison of diagnosis algorithms. In: International Joint Conference on Artificial Intelligence, pp. 1039\u20131045 (2013)"},{"key":"69_CR12","unstructured":"Pill, I., Quaritsch, T.: Behavioral diagnosis of LTL specifications at operator level. In: International Conference on Artificial Intelligence, pp. 1053\u20131059 (2013)"},{"issue":"1","key":"69_CR13","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. Artif. Intelligence 32(1), 57\u201395 (1987)","journal-title":"Artif. Intelligence"},{"key":"69_CR14","doi-asserted-by":"crossref","unstructured":"Wotawa, F., Schulz, M., Pill, I., Jehan, S., Leitner, P., Hummer, W., Schulte, S., Hoenisch, P., Dustdar, S.: Fifty shades of grey in SOA testing. In: 9th Workshop on Advances in Model Based Testing; 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 154\u2013157 (2013)","DOI":"10.1109\/ICSTW.2013.26"},{"key":"69_CR15","doi-asserted-by":"crossref","unstructured":"Wotawa, F.: Fault localization based on dynamic slicing and hitting-set computation. In: The 10th International Conference on Quality Software (QSIC). IEEE (2010)","DOI":"10.1109\/QSIC.2010.51"},{"issue":"4","key":"69_CR16","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1016\/j.jlap.2012.03.002","volume":"81","author":"F Wotawa","year":"2012","unstructured":"Wotawa, F., Nica, M., Moraru, I.: Automated debugging based on a constraint model of the program and a test case. The journal of logic and algebraic programming 81(4), 390\u2013407 (2012)","journal-title":"The journal of logic and algebraic programming"},{"key":"69_CR17","doi-asserted-by":"crossref","unstructured":"Zhang, X., He, H., Gupta, N., Gupta, R.: Experimental evaluation of using dynamic slices for fault localization. In: Sixth International Symposium on Automated & Analysis-Driven Debugging (AADEBUG), pp. 33\u201342 (2005)","DOI":"10.1145\/1085130.1085135"}],"container-title":["Lecture Notes in Computer Science","Current Approaches in Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19066-2_69","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T01:21:06Z","timestamp":1676942466000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19066-2_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319190655","9783319190662"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19066-2_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}