{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T20:40:40Z","timestamp":1740256840322,"version":"3.37.3"},"reference-count":38,"publisher":"Cambridge University Press (CUP)","issue":"4-6","license":[{"start":{"date-parts":[[2010,7,9]],"date-time":"2010-07-09T00:00:00Z","timestamp":1278633600000},"content-version":"unspecified","delay-in-days":8,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2010,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e. invalid answer sets and inability to find existing solutions, in state-of-the-art answer set solver implementations. Moreover, we develop delta debugging techniques for shrinking failure-inducing inputs on which solvers exhibit defective behavior. In particular, we develop a delta debugging algorithm in the context of answer set solving, and evaluate two different elimination strategies for the algorithm.<\/jats:p>","DOI":"10.1017\/s1471068410000396","type":"journal-article","created":{"date-parts":[[2010,7,9]],"date-time":"2010-07-09T12:44:40Z","timestamp":1278679480000},"page":"741-758","source":"Crossref","is-referenced-by-count":2,"title":["Testing and debugging techniques for answer set solver development"],"prefix":"10.1017","volume":"10","author":[{"given":"ROBERT","family":"BRUMMAYER","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MATTI","family":"J\u00c4RVISALO","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2010,7,9]]},"reference":[{"key":"S1471068410000396_ref38","first-page":"239","volume-title":"Proceedings of the 19th International Conference on Logic Programming (ICLP)","author":"Zhao","year":"2003"},{"key":"S1471068410000396_ref37","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"S1471068410000396_ref26","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1145\/1134285.1134307","volume-title":"Proceedings of the 28th International Conference on Software Engineering (ICSE)","author":"Misherghi","year":"2006"},{"key":"S1471068410000396_ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"S1471068410000396_ref20","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.16.35-86"},{"key":"S1471068410000396_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-006-9033-2"},{"key":"S1471068410000396_ref18","first-page":"1070","volume-title":"Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP\/SLP 1988)","author":"Gelfond","year":"1988"},{"key":"S1471068410000396_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"S1471068410000396_ref12","first-page":"422","volume-title":"Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR)","author":"Drescher","year":"2008"},{"key":"S1471068410000396_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04238-6_75"},{"key":"S1471068410000396_ref10","first-page":"337","volume-title":"Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008)","author":"de Moura","year":"2008"},{"key":"S1471068410000396_ref8","unstructured":"Calimeri F. , Leone N. , Ricca F. and Veltri P. 2009. A visual tracer for DLV. In Proceedings of the 2nd International Workshop on Software Engineering for Answer Set Programming (SEA 2009), De Vos M. and Schaub T. , Eds. 79\u201393."},{"key":"S1471068410000396_ref3","doi-asserted-by":"crossref","first-page":"75","DOI":"10.3233\/SAT190039","article-title":"PicoSAT essentials","volume":"4","author":"Biere","year":"2008","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"key":"S1471068410000396_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/11591191_8"},{"key":"S1471068410000396_ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-81955-1_28"},{"volume-title":"Why Programs Fail. A Guide to Systematic Debugging","year":"2005","author":"Zeller","key":"S1471068410000396_ref36"},{"key":"S1471068410000396_ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.04.004"},{"key":"S1471068410000396_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04238-6_14"},{"key":"S1471068410000396_ref15","first-page":"286","volume-title":"Proceedings of the 20th International Joint Conference on Articifial Intelligence (IJCAI)","author":"Gebser","year":"2007"},{"key":"S1471068410000396_ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"S1471068410000396_ref13","unstructured":"Dutertre B. and de Moura L. 2006. The Yices SMT solver. http:\/\/yices.csl.sri.com\/tool-paper.pdf."},{"key":"S1471068410000396_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04238-6_20"},{"key":"S1471068410000396_ref21","first-page":"331","volume-title":"Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2004)","author":"Janhunen","year":"2004"},{"key":"S1471068410000396_ref9","first-page":"268","volume-title":"Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP 2000)","author":"Claessen","year":"2000"},{"key":"S1471068410000396_ref31","first-page":"77","volume-title":"Proceedings of the 11th International Workshop on Nonmonotonic Reasoning (NMR)","author":"Syrj\u00e4nen","year":"2006"},{"key":"S1471068410000396_ref17","first-page":"448","volume-title":"Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI)","author":"Gebser","year":"2008"},{"key":"S1471068410000396_ref33","unstructured":"Tron\u00e7on R. and Janssens G. 2006. A delta debugger for ILP query execution. In Proceedings of the 16th Workshop on Logic-Based Methods in Programming Environments (WLPE)."},{"key":"S1471068410000396_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/11546207_37"},{"volume-title":"Fuzzing \u2014 Brute Force Vulnerability Discovery","year":"2007","author":"Sutton","key":"S1471068410000396_ref30"},{"key":"S1471068410000396_ref2","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/978-3-540-73368-3_34","volume-title":"Proceedings of the 19th International Conference on Computer Aided Verification (CAV 2007)","author":"Barrett","year":"2007"},{"volume-title":"Fuzzing for Software Security Testing and Quality Assurance","year":"2008","author":"Takanen","key":"S1471068410000396_ref32"},{"key":"S1471068410000396_ref6","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn038"},{"key":"S1471068410000396_ref5","unstructured":"Brain M. and de Vos M. 2005. Debugging logic programs under the answer set semantics. In Proceedings of the 3rd Workshop on Answer Set Programming: Advances in Theory and Implementation (ASP), de Vos M. and Provetti A. , Eds. 142\u2013152."},{"key":"S1471068410000396_ref28","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"S1471068410000396_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_3"},{"key":"S1471068410000396_ref7","first-page":"1","volume-title":"Proceedings of the 7th International Workshop on Satisfiability Modulo Theories (SMT)","author":"Brummayer","year":"2009"},{"key":"S1471068410000396_ref35","first-page":"302","volume-title":"Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)","author":"Ward","year":"2004"},{"key":"S1471068410000396_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_5"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068410000396","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T20:11:35Z","timestamp":1740255095000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068410000396\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":38,"journal-issue":{"issue":"4-6","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["S1471068410000396"],"URL":"https:\/\/doi.org\/10.1017\/s1471068410000396","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2010,7]]}}}