{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:01:34Z","timestamp":1725544894348},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540326045"},{"type":"electronic","value":"9783540326052"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11678779_11","type":"book-chapter","created":{"date-parts":[[2006,3,2]],"date-time":"2006-03-02T08:03:26Z","timestamp":1141286606000},"page":"149-157","source":"Crossref","is-referenced-by-count":1,"title":["Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains"],"prefix":"10.1007","author":[{"given":"Yosi","family":"Ben-Asher","sequence":"first","affiliation":[]},{"given":"Igor","family":"Breger","sequence":"additional","affiliation":[]},{"given":"Eitan","family":"Farchi","sequence":"additional","affiliation":[]},{"given":"Ilia","family":"Gordon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"11_CR1","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1142\/S0219198905000478","volume":"7","author":"Y. Ben-Asher","year":"1997","unstructured":"Ben-Asher, Y., Farchi, E.: Compact representations of search in complex domains. International Game Theory Review\u00a07(2), 171\u2013188 (1997)","journal-title":"International Game Theory Review"},{"key":"11_CR2","unstructured":"Ben-Asher, Y., Farchi, E., Newman, I.: Optimal search in trees. In: 8\u2019th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 1997), New Orleans (1997)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Choi, J.D., Zeller, A.: Isolating failure inducing thread schedules. In: International Symposium on Software Testing and Analysis (2002)","DOI":"10.1145\/566210.566211"},{"key":"11_CR4","unstructured":"Clarke, L.A.: Comparison of data-flow path selection criteria. IEEE Transaction on Software Engineering (1985)"},{"key":"11_CR5","unstructured":"Clarke, L.A.: An investigation of data flow path selection criteria. In: Work Shop On Software Testing, Banff, Canada (1986)"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1145\/161494.161498","volume":"1","author":"P. Fritzson","year":"1992","unstructured":"Fritzson, P., et al.: Generalized algorithmic debugging and testing. ACM Letters on Programming Languages and testing\u00a01, 303\u2013322 (1992)","journal-title":"ACM Letters on Programming Languages and testing"},{"key":"11_CR7","unstructured":"Peter, F., Mariam, K., Nahid, S.: Interprocedural dynamic slicing applied to interprocedural data flow testing. In: Proceedings of the Conference on Software Maintenance (1993)"},{"key":"11_CR8","unstructured":"Shahmehri, N., Kamkar, M., Fritzson, P.: Interprocedural dynamic slicing and its application to generalized algorithm debugging. In: Proceedings of the International Conference on Programming Language (1992)"},{"issue":"3","key":"11_CR9","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0164-1212(94)90032-9","volume":"25","author":"M. Auguston","year":"1994","unstructured":"Auguston, M., Fritzson, P., Shahmehri, N.: Using assertions in declarative and operational models for automated debugging. Journal of Systems and Software\u00a025(3), 223\u2013232 (1994)","journal-title":"Journal of Systems and Software"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Weyuker., E.J.: Axiomatizing software test data adequacy. IEEE Transaction on Software Engineering\u00a0SE-12(12) (December 1986)","DOI":"10.1109\/TSE.1986.6313008"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Weyuker, E.J.: The evaluation of program-based software test data adequacy criteria. Communications of the ACM\u00a031(6) (June 1988)","DOI":"10.1145\/62959.62963"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software, Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11678779_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:15:36Z","timestamp":1619493336000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11678779_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540326045","9783540326052"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11678779_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}