{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T02:22:49Z","timestamp":1768184569411,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642028458","type":"print"},{"value":"9783642028465","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02846-5_25","type":"book-chapter","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T10:44:16Z","timestamp":1248086656000},"page":"281-295","source":"Crossref","is-referenced-by-count":26,"title":["Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework"],"prefix":"10.1007","author":[{"given":"Edison","family":"Mera","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Lopez-Garc\u00eda","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/154183.154203","volume-title":"ISSTA 1993: Proc. of the ACM SIGSOFT Int\u2019l. Symp. on Software Testing and Analysis","author":"F. Belli","year":"1993","unstructured":"Belli, F., Jack, O.: Implementation-based Analysis and Testing of Prolog Programs. In: ISSTA 1993: Proc. of the ACM SIGSOFT Int\u2019l. Symp. on Software Testing and Analysis, pp. 70\u201380. ACM, New York (1993)"},{"key":"25_CR2","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., L\u00f3pez-Garc\u00eda, P., Puebla, G. (eds.): The Ciao System. Ref. Manual (v1.13). Technical report, C. S. School, UPM (2006), http:\/\/www.ciaohome.org"},{"key":"25_CR3","unstructured":"Bueno, F., Deransart, P., Drabent, W., Ferrand, G., Hermenegildo, M., Maluszynski, J., Puebla, G.: On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In: Proc. of the 3rd. Int\u2019l WS on Automated Debugging\u2013AADEBUG, May 1997, pp. 155\u2013170. U. Link\u00f6ping Press (1997)"},{"key":"25_CR4","unstructured":"The CLIP Group. Program Assertions. The Ciao System Documentation Series \u2013 TR CLIP4\/97.1, Facultad de Inform\u00e1tica, UPM (August 1997)"},{"key":"25_CR5","first-page":"353","volume-title":"ICSE 1996: Proc. of the Int\u2019l. Conf. on Software Engineering","author":"N.S. Eickelmann","year":"1996","unstructured":"Eickelmann, N.S., Richardson, D.J.: An Evaluation of Software Test Environment Architectures. In: ICSE 1996: Proc. of the Int\u2019l. Conf. on Software Engineering, pp. 353\u2013364. IEEE Computer Society, Los Alamitos (1996)"},{"key":"25_CR6","unstructured":"G\u00f3mez-Zamalloa, M., Albert, E., Puebla, G.: On the Generation of Test Data for Prolog by Partial Evaluation. In: Workshop on Logic-based methods in Programming Environments (WLPE 2008), vol. WLPE\/2008\/06, pp. 26\u201343 (2008)"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-642-60085-2_7","volume-title":"The Logic Programming Paradigm: a 25\u2013Year Perspective","author":"M. Hermenegildo","year":"1999","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F.: Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. In: The Logic Programming Paradigm: a 25\u2013Year Perspective, pp. 161\u2013192. Springer, Heidelberg (1999)"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F., L\u00f3pez Garc\u00eda, P.: Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Comp.\u00a0Progr.\u00a058(1\u20132) (2005)","DOI":"10.1016\/j.scico.2005.02.006"},{"key":"25_CR9","unstructured":"Mera, E., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M.: Towards Integrating Run-Time Checking and Software Testing in a Verification Framework. Technical Report CLIP1\/2009.0, T. U. Madrid (UPM) (March 2009)"},{"key":"25_CR10","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Debugging of Constraint Logic Programs. In: ILPS 1997 WS on Tools and Environments for (C)LP (October 1997), ftp:\/\/clip.dia.fi.upm.es\/pub\/papers-\/assert_lang_tr_discipldeliv.ps.gz"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10720327_16","volume-title":"Logic-Based Program Synthesis and Transformation","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: A Framework for Assertion-based Debugging in Constraint Logic Programming. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol.\u00a01817. Springer, Heidelberg (2000)"},{"key":"25_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/10722311_3","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: A Generic Preprocessor for Program Validation and Debugging. In: Deransart, P., Ma\u0142uszy\u0144ski, J. (eds.) DiSCiPl 1999. LNCS, vol.\u00a01870, pp. 63\u2013107. Springer, Heidelberg (2000)"},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/10722311_2","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Constraint Logic Programs. In: Deransart, P., Ma\u0142uszy\u0144ski, J. (eds.) DiSCiPl 1999. LNCS, vol.\u00a01870, pp. 23\u201361. Springer, Heidelberg (2000)"},{"key":"25_CR14","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/215465.215561","volume-title":"Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation","author":"G. Puebla","year":"1995","unstructured":"Puebla, G., Hermenegildo, M.: Implementation of Multiple Specialization in Logic Programs. In: Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, June 1995, pp. 77\u201387. ACM Press, New York (1995)"},{"issue":"2&3","key":"25_CR15","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/S0743-1066(99)00031-X","volume":"41","author":"G. Puebla","year":"1999","unstructured":"Puebla, G., Hermenegildo, M.: Abstract Multiple Specialization and its Application to Program Parallelization. JLP\u00a041(2&3), 279\u2013316 (1999)","journal-title":"JLP"},{"key":"25_CR16","unstructured":"Wielemaker, J.: SWI Prolog Unit Tests, http:\/\/www.swi-prolog.org\/pldoc\/package\/plunit.html"},{"issue":"2","key":"25_CR17","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s11219-007-9039-y","volume":"16","author":"L. Zhao","year":"2008","unstructured":"Zhao, L., Gu, T., Qian, J., Cai, G.: Test Frame Updating in CPM Testing of Prolog Programs. Software Quality Control\u00a016(2), 277\u2013298 (2008)","journal-title":"Software Quality Control"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02846-5_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T02:05:56Z","timestamp":1685066756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02846-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642028458","9783642028465"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02846-5_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}