{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:28:07Z","timestamp":1743031687277,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031808883"},{"type":"electronic","value":"9783031808890"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-80889-0_6","type":"book-chapter","created":{"date-parts":[[2025,1,24]],"date-time":"2025-01-24T08:44:52Z","timestamp":1737708292000},"page":"79-92","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reevaluating the\u00a0Small-Scope Testing Hypothesis of\u00a0Answer Set Programs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0348-064X","authenticated-orcid":false,"given":"Liliana Marie","family":"Prikler","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0462-2283","authenticated-orcid":false,"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,25]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","unstructured":"Alblwi, S., Ayad, A., Mili, A.: Mutation coverage is not strongly correlated with mutation coverage. In: Proceedings of the 5th ACM\/IEEE International Conference on Automation of Software Test (AST 2024), AST 2024, pp. 1\u201311. Association for Computing Machinery, New York (2024). https:\/\/doi.org\/10.1145\/3644032.3644442","DOI":"10.1145\/3644032.3644442"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-030-75775-5_24","volume-title":"Logics in Artificial Intelligence","author":"G Amendola","year":"2021","unstructured":"Amendola, G., Berei, T., Ricca, F.: Testing in ASP: revisited language and programming environment. In: Faber, W., Friedrich, G., Gebser, M., Morak, M. (eds.) JELIA 2021. LNCS (LNAI), vol. 12678, pp. 362\u2013376. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-75775-5_24"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.artint.2015.09.008","volume":"231","author":"F Calimeri","year":"2016","unstructured":"Calimeri, F., Gebser, M., Maratea, M., Ricca, F.: Design and results of the fifth answer set programming competition. Artif. Intell. 231, 151\u2013181 (2016). https:\/\/doi.org\/10.1016\/j.artint.2015.09.008","journal-title":"Artif. Intell."},{"issue":"4","key":"6_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R DeMillo","year":"1978","unstructured":"DeMillo, R., Lipton, R., Sayward, F.: Hints on test data selection: help for the practicing programmer. Computer 11(4), 34\u201341 (1978). https:\/\/doi.org\/10.1109\/C-M.1978.218136","journal-title":"Computer"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-642-41524-1_21","volume-title":"Applications of Declarative Programming and Knowledge Management","author":"O Febbraro","year":"2013","unstructured":"Febbraro, O., Leone, N., Reale, K., Ricca, F.: Unit testing in ASPIDE. In: Tompits, H., et al. (eds.) INAP\/WLP -2011. LNCS (LNAI), vol. 7773, pp. 345\u2013364. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41524-1_21"},{"issue":"4\u20135","key":"6_CR6","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1017\/S1471068415000150","volume":"15","author":"M Gebser","year":"2015","unstructured":"Gebser, M., Harrison, A., Kaminski, R., Lifschitz, V., Schaub, T.: Abstract gringo. Theory Pract. Logic Program. 15(4\u20135), 449\u2013463 (2015). https:\/\/doi.org\/10.1017\/S1471068415000150","journal-title":"Theory Pract. Logic Program."},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Multi-shot asp solving with Clingo. Theory Pract. Logic Program. 19(1), 27\u201382 (2019). https:\/\/doi.org\/10.1017\/S1471068418000054","DOI":"10.1017\/S1471068418000054"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-319-61660-5_21","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"A Gre\u00dfler","year":"2017","unstructured":"Gre\u00dfler, A., Oetsch, J., Tompits, H.: $$\\sf Harvey$$: a system for random testing in ASP. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 229\u2013235. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61660-5_21"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Hughes, J.: QuickCheck testing for fun and profit. In: Hanus, M. (ed.) Practical Aspects of Declarative Languages, pp. 1\u201332. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-69611-7_1"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"Jackson, D., Damon, C.A.: Elements of style: analyzing a software design feature with a counterexample detector. ACM SIGSOFT Softw. Eng. Notes 21(3), 239\u2013249 (1996).https:\/\/doi.org\/10.1145\/226295.226322","DOI":"10.1145\/226295.226322"},{"key":"6_CR11","doi-asserted-by":"publisher","unstructured":"Janhunen, T., Niemel\u00e4, I., Oetsch, J., P\u00fchrer, J., Tompits, H.: On testing answer-set programs. In: Coelho, H., Studer, R., Wooldridge, M.J. (eds.) ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, 16\u201320 August 2010. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 951\u2013956. IOS Press (2010). https:\/\/doi.org\/10.3233\/978-1-60750-606-5-951","DOI":"10.3233\/978-1-60750-606-5-951"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-642-20895-9_26","volume-title":"Logic Programming and Nonmonotonic Reasoning","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 (LNAI), vol. 6645, pp. 242\u2013247. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20895-9_26"},{"key":"6_CR13","unstructured":"Oetsch, J., Prischink, M., P\u00fchrer, J., Schwengerer, M., Tompits, H.: On the small-scope hypothesis for testing answer-set programs. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, 10\u201314 June 2012. AAAI Press (2012). http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR12\/paper\/view\/4550"},{"key":"6_CR14","doi-asserted-by":"publisher","unstructured":"Offutt, A., Rothermel, G., Zapf, C.: An experimental evaluation of selective mutation. In: Proceedings of 1993 15th International Conference on Software Engineering, pp. 100\u2013107 (1993). https:\/\/doi.org\/10.1109\/ICSE.1993.346062","DOI":"10.1109\/ICSE.1993.346062"},{"key":"6_CR15","doi-asserted-by":"publisher","unstructured":"Papadakis, M., Henard, C., Harman, M., Jia, Y., Le\u00a0Traon, Y.: Threats to the validity of mutation-based test assessment. In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, pp. 354\u2013365. Association for Computing Machinery, New York (2016). https:\/\/doi.org\/10.1145\/2931037.2931040","DOI":"10.1145\/2931037.2931040"},{"key":"6_CR16","unstructured":"Rosa, A.: On certain valuations of the vertices of a graph. In: Theory of Graphs, International Symposium, pp. 349\u2013355. Gordon and Breach (1966)"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Tange, O.: GNU Parallel 20240222 (2024). https:\/\/doi.org\/10.5281\/zenodo.10719803. GNU Parallel is a general parallelizer to run multiple serial command line programs in parallel without changing them","DOI":"10.5281\/zenodo.10719803"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"110388","DOI":"10.1016\/j.jss.2019.07.100","volume":"157","author":"A Viola Pizzoleto","year":"2019","unstructured":"Viola Pizzoleto, A., Cutigi Ferrari, F., Offutt, J., Fernandes, L., Ribeiro, M.: A systematic literature review of techniques and metrics to reduce the cost of mutation testing. J. Syst. Softw. 157, 110388 (2019). https:\/\/doi.org\/10.1016\/j.jss.2019.07.100","journal-title":"J. Syst. Softw."},{"key":"6_CR19","doi-asserted-by":"publisher","unstructured":"Wotawa, F., Tazl, O.: On the verification of diagnosis models. In: Industrial Artificial Intelligence Technologies and Applications, pp. 189\u2013203 (2022). https:\/\/doi.org\/10.13052\/rp-9788770227902","DOI":"10.13052\/rp-9788770227902"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-80889-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,24]],"date-time":"2025-01-24T08:44:56Z","timestamp":1737708296000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-80889-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031808883","9783031808890"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-80889-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"25 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare relevant to this article\u2019s content.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"ICTSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Testing Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"36","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pts2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ictss-2024","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}