{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T02:04:07Z","timestamp":1768701847873,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540001317","type":"print"},{"value":"9783540361312","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36131-6_18","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T01:42:30Z","timestamp":1186882950000},"page":"172-181","source":"Crossref","is-referenced-by-count":3,"title":["Max-CSP Approach for Software Diagnosis"],"prefix":"10.1007","author":[{"given":"R.","family":"Ceballos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael M.","family":"Gasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carmelo","family":"Del Valle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel","family":"Toro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"key":"18_CR1","unstructured":"Robert V. Binder.: Testing Object-Oriented Systems: Models, Patterms, and Tools. Addison Wesley."},{"key":"18_CR2","unstructured":"R. Ceballos, R. M. Gasca, Carmelo Del Valle y Miguel Toro: Diagnosis basada en modelos para la depuraci\u00f3n de software mediante t\u00e9cnicas simb\u00f3licas. IV Jornadas de ARCA, Sistemas Cualitativos y Diagnosis, Vilanova i la Geltr\u00fa, Spain, June 2002."},{"key":"18_CR3","unstructured":"Khalil, M.: Automated strategies for software diagnosis. The Ninth International Sympsosium on Software Reliability Engineering, Paderborn, Germany, Nov. 1998."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"K. Kask.: New Search Heuristics for Max-CSP In Proceeding of CP\u20192000, pg. 262\u2013277, 2000.","DOI":"10.1007\/3-540-45349-0_20"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Khalil, M.: An Experimental Comparison of Software Diagnosis Methods. 25th Euromicro Conference 1999.","DOI":"10.1109\/EURMIC.1999.794774"},{"key":"18_CR6","unstructured":"ILOG: ILOG Solver 4.4 User\u2019s Manual. ILOG 1999."},{"key":"18_CR7","unstructured":"J. Larrossa: Algorithms and Heuristics for Total and Partial Constraint Satisfaction. Ph.D dissertation, 1998."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"J. Larrossa and P. Meseguer.: Partition-based lower bound for max-csp. Proceedings CP, pages 303\u2013315, 1999.","DOI":"10.1007\/978-3-540-48085-3_22"},{"key":"18_CR9","unstructured":"Lyle J. R. and Weiser, M.: Automatic bug location by program slicing. Second International Conference on Computers and Applications, Beijing, China, pag. 877\u2013883, June 1987."},{"key":"18_CR10","unstructured":"Cristinel Mateis, Markus Stumptner, Dominik Wieland and Franz Wotawa.: Debugging of Java programs using a model-based approach. DX-99 Work-Shop,LLoch Awe, Scotland (1999)."},{"key":"18_CR11","unstructured":"Cristinel Mateis, Markus Stumptner, Dominik Wieland and Franz Wotawa.: Extended Abstract-Model-Based Debugging of Java Programs. AADEBUG, August 2000, Munich."},{"issue":"7","key":"18_CR12","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Weiser, M.: Programmers Use Slices When Debugging. Communications of the ACM, Vol. 25, No. 7, pp.446\u2013452,1982.","journal-title":"Communications of the ACM"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"4","author":"M. Weiser","year":"1984","unstructured":"Weiser, M.: Program Slicing. IEEE Transactions on Software Engineering SE-10, 4, pp. 352\u2013357, 1984","journal-title":"IEEE Transactions on Software Engineering SE-10"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence \u2014 IBERAMIA 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36131-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T14:46:11Z","timestamp":1548341171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36131-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001317","9783540361312"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-36131-6_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}