{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:18:33Z","timestamp":1743095913493,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415234"},{"type":"electronic","value":"9783642415241"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-41524-1_21","type":"book-chapter","created":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T10:48:20Z","timestamp":1384512500000},"page":"345-364","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Unit Testing in ASPIDE"],"prefix":"10.1007","author":[{"given":"Onofrio","family":"Febbraro","sequence":"first","affiliation":[]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[]},{"given":"Kristian","family":"Reale","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,16]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. NGC 9, 365\u2013385 (1991)","journal-title":"NGC"},{"key":"21_CR2","unstructured":"Lifschitz, V.: Answer set planning. In: ICLP\u201999, pp. 23\u201337. MIT Press (1999)"},{"issue":"5","key":"21_CR3","first-page":"845","volume":"12","author":"F Buccafurri","year":"2000","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Enhancing disjunctive datalog by constraints. IEEE TKDE 12(5), 845\u2013860 (2000)","journal-title":"IEEE TKDE"},{"issue":"1","key":"21_CR4","first-page":"278","volume":"175","author":"W Faber","year":"2011","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Semantics and complexity of recursive aggregates in answer set programming. AI 175(1), 278\u2013298 (2011). Special Issue: John McCarthy\u2019s Legacy","journal-title":"AI"},{"issue":"3","key":"21_CR5","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM TODS 22(3), 364\u2013418 (1997)","journal-title":"ACM TODS"},{"key":"21_CR6","first-page":"3","volume-title":"LPNMR 2007. LNCS (LNAI)","author":"M Gebser","year":"2007","unstructured":"Gebser, M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T., Truszczy\u0144ski, M.: The first answer set programming system competition. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 3\u201317. Springer, Heidelberg (2007)"},{"key":"21_CR7","first-page":"439","volume-title":"LPNMR 2001. LNCS (LNAI)","author":"M Balduccini","year":"2001","unstructured":"Balduccini, M., Gelfond, M., Watson, R., Nogueira, M.: The USA-Advisor: a case study in answer set planning. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 439\u2013442. Springer, Heidelberg (2001)"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-1-4615-1567-8_12","volume-title":"Logic-Based Artificial Intelligence","author":"C Baral","year":"2000","unstructured":"Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 257\u2013279. Kluwer, Dordrecht (2000)"},{"key":"21_CR9","first-page":"186","volume-title":"LPNMR 2001. LNCS (LNAI)","author":"C Baral","year":"2001","unstructured":"Baral, C., Uyan, C.: Declarative specification and solution of combinatorial auctions using logic programming. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 186\u2013199. Springer, Heidelberg (2001)"},{"key":"21_CR10","first-page":"561","volume-title":"LPAR 2001. LNCS (LNAI)","author":"E Franconi","year":"2001","unstructured":"Franconi, E., Palma, A.L., Leone, N., Perri, S.: Census data repair: a challenging application of disjunctive logic programming. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol. 2250, pp. 561\u2013578. Springer, Heidelberg (2001)"},{"key":"21_CR11","first-page":"169","volume-title":"PADL 2001. LNCS","author":"M Nogueira","year":"2001","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An A-Prolog decision support system for the space shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 169\u2013183. Springer, Heidelberg (2001)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Leone, N., et al.: The INFOMIX system for advanced integration of incomplete and inconsistent data. In: SIGMOD 2005, pp. 915\u2013917. ACM Press (2005)","DOI":"10.1145\/1066157.1066286"},{"key":"21_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"21_CR14","first-page":"591","volume-title":"LPNMR 2009. LNCS","author":"G Grasso","year":"2009","unstructured":"Grasso, G., Iiritano, S., Leone, N., Ricca, F.: Some DLV applications for knowledge management. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 591\u2013597. Springer, Heidelberg (2009)"},{"issue":"2\u20133","key":"21_CR15","first-page":"323","volume":"11","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Schaub, T., Thiele, S., Veber, P.: Detecting inconsistencies in large biological networks with answer set programming. TPLP 11(2\u20133), 323\u2013360 (2011)","journal-title":"TPLP"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Schaub, T.: aspcud: a linux package configuration tool based on answer set programming. In: LoCoCo, pp. 12\u201325 (2011)","DOI":"10.4204\/EPTCS.65.2"},{"issue":"1\u20132","key":"21_CR17","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3233\/FI-2010-357","volume":"105","author":"F Ricca","year":"2010","unstructured":"Ricca, F., Dimasi, A., Grasso, G., Ielpa, S.M., Iiritano, S., Manna, M., Leone, N.: Logic-based system for e-Tourism. FI 105(1\u20132), 35\u201355 (2010)","journal-title":"FI"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Ricca, F., Grasso, G., Alviano, M., Manna, M., Lio, V., Iiritano, S., Leone, N.: Team-building with answer set programming in the Gioia-Tauro seaport. TPLP. http:\/\/dx.doi.org\/10.1017\/S147106841100007X (2011)","DOI":"10.1017\/S147106841100007X"},{"key":"21_CR19","first-page":"637","volume-title":"LPNMR 2009. LNCS","author":"M Denecker","year":"2009","unstructured":"Denecker, M., Vennekens, J., Bond, S., Gebser, M., Truszczy\u0144ski, M.: The second answer set programming competition. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 637\u2013654. Springer, Heidelberg (2009)"},{"key":"21_CR20","first-page":"388","volume-title":"LPNMR 2011. LNCS","author":"F Calimeri","year":"2011","unstructured":"Calimeri, F., et al.: The third answer set programming competition: preliminary report of the system competition track. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 388\u2013403. Springer, Heidelberg (2011)"},{"key":"21_CR21","unstructured":"Dovier, A., Erdem, E.: Report on application session @lpnmr09. http:\/\/www.cs.nmsu.edu\/ALP\/2010\/03\/report-on-application-session-lpnmr09\/ (2009)"},{"key":"21_CR22","unstructured":"Perri, S., Ricca, F., Terracina, G., Cianni, D., Veltri, P.: An integrated graphic tool for developing and testing DLV programs. In: SEA 07, pp. 86\u2013100 (2007)"},{"key":"21_CR23","unstructured":"Sureshkumar, A., Vos, M.D., Brain, M., Fitch, J.: APE: an AnsProlog* environment. In: SEA 07, pp. 101\u2013115 (2007)"},{"key":"21_CR24","unstructured":"Brain, M., Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H., Woltran, S.: That is illogical captain! The debugging support tool spock for answer-set programs: system description. In: SEA 07, pp. 71\u201385 (2007)"},{"key":"21_CR25","unstructured":"Brain, M., De Vos, M.: Debugging logic programs under the answer set semantics. In: ASP\u201905, Bath, UK (2005)"},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"El-Khatib, O., Pontelli, E., Son, T.C.: Justification and debugging of answer set programs in ASP. In: Proceedings of Automated Debugging, California, USA. ACM (2005)","DOI":"10.1145\/1085130.1085137"},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: Catching the ouroboros: on debugging non-ground answer-set programs. In: Proceedings of the ICLP\u201910 (2010)","DOI":"10.1017\/S1471068410000256"},{"key":"21_CR28","first-page":"31","volume-title":"LPNMR 2007. LNCS (LNAI)","author":"M Brain","year":"2007","unstructured":"Brain, M., Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H., Woltran, S.: Debugging ASP programs by means of ASP. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 31\u201343. Springer, Heidelberg (2007)"},{"key":"21_CR29","unstructured":"De Vos, M., Schaub, T., (eds.): SEA\u201907: Software Engineering for Answer Set Programming, vol. 281. CEUR. http:\/\/CEUR-WS.org\/Vol-281\/ (2007)"},{"key":"21_CR30","unstructured":"De Vos, M., Schaub, T., (eds.): SEA\u201909: Software Engineering for Answer Set Programming, vol. 546. CEUR. http:\/\/CEUR-WS.org\/Vol-546\/ (2009)"},{"issue":"4","key":"21_CR31","first-page":"643","volume":"19","author":"F Ricca","year":"2009","unstructured":"Ricca, F., Gallucci, L., Schindlauer, R., Dell\u2019Armi, T., Grasso, G., Leone, N.: OntoDLV: an ASP-based system for enterprise ontologies. JLC 19(4), 643\u2013670 (2009)","journal-title":"JLC"},{"key":"21_CR32","first-page":"317","volume-title":"LPNMR 2011. LNCS","author":"O Febbraro","year":"2011","unstructured":"Febbraro, O., Reale, K., Ricca, F.: ASPIDE: integrated development environment for answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 317\u2013330. Springer, Heidelberg (2011)"},{"key":"21_CR33","first-page":"951","volume-title":"In: Proceeding of the conference on ECAI 2010: 19th European Conference on Artificial Intelligence","author":"T Janhunen","year":"2010","unstructured":"Janhunen, T., Niemel\u00e4, I., Oetsch, J., P\u00fchrer, J., Tompits, H.: On testing answer-set programs. In: Proceeding of the conference on ECAI 2010: 19th European Conference on Artificial Intelligence, pp. 951\u2013956. IOS Press, Amsterdam (2010)"},{"key":"21_CR34","first-page":"242","volume-title":"LPNMR 2011. LNCS","author":"T Janhunen","year":"2011","unstructured":"Janhunen, T., Niemel\u00e4, I., Oetsch, J., P\u00fchrer, J., Tompits, H.: Random vs. structure-based testing of answer-set programs: an experimental comparison. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 242\u2013247. Springer, Heidelberg (2011)"},{"key":"21_CR35","unstructured":"JUnit.org community: JUnit, Resources for Test Driven Development. http:\/\/www.junit.org\/"},{"key":"21_CR36","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1613\/jair.2810","volume":"35","author":"T Janhunen","year":"2009","unstructured":"Janhunen, T., Oikarinen, E., Tompits, H., Woltran, S.: Modularity aspects of disjunctive stable models. J. Artif. Intell. Res. (JAIR) 35, 813\u2013857 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"21_CR37","doi-asserted-by":"publisher","DOI":"10.1515\/9783110816006","volume-title":"Software Testing for Conventional and Logic Programming","author":"O Jack","year":"1996","unstructured":"Jack, O.: Software Testing for Conventional and Logic Programming. Walter de Gruyter & Co., Hawthorne (1996)"},{"key":"21_CR38","unstructured":"Wielemaker, J.: Prolog Unit Tests. http:\/\/www.swi-prolog.org\/pldoc\/package\/plunit.html"},{"key":"21_CR39","unstructured":"Cancinos, C.: Prolog Development Tools - ProDT. http:\/\/prodevtools.sourceforge.net"},{"issue":"1\u20132","key":"21_CR40","first-page":"3","volume":"138","author":"M Gelfond","year":"2002","unstructured":"Gelfond, M., Leone, N.: Logic programming and knowledge representation - the A-Prolog perspective. AI 138(1\u20132), 3\u201338 (2002)","journal-title":"AI"},{"key":"21_CR41","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: ICLP\u201994, pp. 23\u201337. MIT Press (1994)"},{"key":"21_CR42","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172, 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"21_CR43","unstructured":"Dell\u2019Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV. In: IJCAI 2003, Acapulco. Mexico, pp. 847\u2013852 (2003)"},{"key":"21_CR44","volume-title":"Software Engineering","author":"I Sommerville","year":"2004","unstructured":"Sommerville, I.: Software Engineering. Addison-Wesley, Harlow (2004)"},{"issue":"3","key":"21_CR45","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM TCL 7(3), 499\u2013562 (2006)","journal-title":"ACM TCL"},{"key":"21_CR46","doi-asserted-by":"crossref","unstructured":"Calimeri, F., Ianni, G., Ricca, F.: The third answer set programming system competition. https:\/\/www.mat.unical.it\/aspcomp2011\/ (2011)","DOI":"10.1609\/aimag.v33i4.2448"},{"key":"21_CR47","first-page":"129","volume":"8","author":"G Terracina","year":"2008","unstructured":"Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. TPLP 8, 129\u2013165 (2008)","journal-title":"TPLP"},{"key":"21_CR48","unstructured":"Ianni, G., Ielpa, G., Pietramala, A., Santoro, M.C.: Answer set programming with templates. In: ASP\u201903, Messina, Italy, pp. 239\u2013252. http:\/\/CEUR-WS.org\/Vol-78\/ (2003)"},{"key":"21_CR49","unstructured":"Calimeri, F., Leone, N., Ricca, F., Veltri, P.: A visual tracer for DLV. In: Proceedings of SEA\u201909, Potsdam, Germany (2009)"},{"key":"21_CR50","unstructured":"Febbraro, O., Reale, K., Ricca, F.: A visual interface for drawing ASP programs. In: Proceedings of CILC2010, Rende(CS), Italy (2010)"},{"key":"21_CR51","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: IJCAI 2007, pp. 386\u2013392 (2007)"},{"key":"21_CR52","first-page":"382","volume-title":"LPNMR 2011. LNCS","author":"J Oetsch","year":"2011","unstructured":"Oetsch, J., P\u00fchrer, J., Seidl, M., Tompits, H., Zwickl, P.: VIDEAS: a development tool for answer-set programs based on model-driven engineering technology. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 382\u2013387. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41524-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T19:50:50Z","timestamp":1676836250000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-41524-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415234","9783642415241"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41524-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"16 November 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}