{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:42:15Z","timestamp":1767339735275},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540459149"},{"type":"electronic","value":"9783540459156"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11881216_22","type":"book-chapter","created":{"date-parts":[[2006,10,12]],"date-time":"2006-10-12T01:36:47Z","timestamp":1160617007000},"page":"200-210","source":"Crossref","is-referenced-by-count":12,"title":["Diagnosing Errors in DbC Programs Using Constraint Programming"],"prefix":"10.1007","author":[{"given":"R.","family":"Ceballos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. M.","family":"Gasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Del Valle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Borrego","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Computer\u00a025, 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0164-1212(02)00026-2","volume":"1","author":"Y.L. Traon","year":"2003","unstructured":"Traon, Y.L., Ouabdesselam, F., Robach, C., Baudry, B.: From diagnosis to diagnosability: Axiomatization, measurement and application. The Journal of Systems and Software\u00a01, 31\u201350 (2003)","journal-title":"The Journal of Systems and Software"},{"key":"22_CR3","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\u00a04, 352\u2013357 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR4","unstructured":"Mateis, C., Stumptner, M., Wieland, D., Wotawa, F.: Model-based debugging of java programs. In: AADEBUG (2000)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Groce, A., Visser, W.: Model checking java programs using structural heuristics. In: ISSTA 2002: Proceedings of the, ACM SIGSOFT international symposium on Software testing and analysis, Roma, Italy, pp. 12\u201321 (2002)","DOI":"10.1145\/566172.566175"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Cleve, H., Zeller, A.: Locating causes of program failures. In: 27th International Conference on Software Engineering (ICSE 2005), St. Louis, Missouri (2005)","DOI":"10.1145\/1062455.1062522"},{"key":"22_CR7","unstructured":"Ceballos, R., Gasca, R.M., Valle, C.D., Rosa, F.D.L.: A constraint programming approach for software diagnosis. In: AADEBUG Fith International Symposium on Automated and Analysis-Driven Debugging, Ghent, Belgium, pp. 187\u2013196 (2003)"},{"key":"22_CR8","series-title":"Object Technology Series","volume-title":"Testing Object-Oriented Systems : Models, Patterms, and Tools","author":"R. Binder","year":"2000","unstructured":"Binder, R.: Testing Object-Oriented Systems: Models, Patterms, and Tools. Object Technology Series. Addison-Wesley, Reading (2000)"},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"2-3","author":"J. Kleer de","year":"1992","unstructured":"de Kleer, J., Mackworth, A., Reiter, R.: Characterizing diagnoses and systems. Artificial Intelligence\u00a02-3, 197\u2013222 (1992)","journal-title":"Artificial Intelligence"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Alpern, B., Wegman, M., Zadeck, F.K.: Detecting equality of variables in programs. In: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, San Diego, California, pp. 1\u201311 (1988)","DOI":"10.1145\/73560.73561"},{"key":"22_CR11","first-page":"137","volume":"20","author":"R. Ceballos","year":"2003","unstructured":"Ceballos, R., del Valle, C., G\u00f3mez-L\u00f3pez, M.T., Gasca, R.M.: CSP aplicados a la diagnosis basada en modelos. Revista Iberoamericana de Inteligencia Artificial\u00a020, 137\u2013150 (2003)","journal-title":"Revista Iberoamericana de Inteligencia Artificial"}],"container-title":["Lecture Notes in Computer Science","Current Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11881216_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T13:13:56Z","timestamp":1555852436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11881216_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540459149","9783540459156"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11881216_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}