{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:29:59Z","timestamp":1743067799785,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"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_10","type":"book-chapter","created":{"date-parts":[[2025,1,24]],"date-time":"2025-01-24T08:44:28Z","timestamp":1737708268000},"page":"151-158","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Mutating Clingo\u2019s AST with\u00a0clingabomino"],"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":[{"issue":"12","key":"10_CR1","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczy\u0144ski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011). https:\/\/doi.org\/10.1145\/2043174.2043195","journal-title":"Commun. ACM"},{"doi-asserted-by":"publisher","unstructured":"Coles, H., Laurent, T., Henard, C., Papadakis, M., Ventresque, A.: Pit: a practical mutation testing tool for java (demo). In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, pp. 449\u2013452. Association for Computing Machinery, New York (2016). https:\/\/doi.org\/10.1145\/2931037.2948707","key":"10_CR2","DOI":"10.1145\/2931037.2948707"},{"unstructured":"Court\u00e8s, L.: D\u00e9ploiements reproductibles dans le temps avec GNU Guix. GNU\/Linux Magazine (2021). https:\/\/inria.hal.science\/hal-03418210","key":"10_CR3"},{"doi-asserted-by":"publisher","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","key":"10_CR4","DOI":"10.1017\/S1471068415000150"},{"doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Multi-shot ASP solving with clingo. TPLP 19(1), 27\u201382 (2019)","key":"10_CR5","DOI":"10.1017\/S1471068418000054"},{"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, Proceedings. 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","key":"10_CR6","DOI":"10.3233\/978-1-60750-606-5-951"},{"doi-asserted-by":"publisher","unstructured":"Kaufmann, D., Nica, I., Wotawa, F.: Intelligent agents diagnostics - enhancing cyber-physical systems with self-diagnostic capabilities. Adv. Intell. Syst. 3(5), 2000218 (2021). https:\/\/doi.org\/10.1002\/AISY.202000218","key":"10_CR7","DOI":"10.1002\/AISY.202000218"},{"doi-asserted-by":"publisher","unstructured":"Lifschitz, V.: Answer Set Programming. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-24658-7","key":"10_CR8","DOI":"10.1007\/978-3-030-24658-7"},{"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":"10_CR9"},{"doi-asserted-by":"publisher","unstructured":"Offutt, J.: A mutation carol: past, present and future. Inf. Softw. Technol. 53(10), 1098\u20131107 (2011). https:\/\/doi.org\/10.1016\/j.infsof.2011.03.007. Special Section on Mutation Testing","key":"10_CR10","DOI":"10.1016\/j.infsof.2011.03.007"},{"unstructured":"Pakkanen, J.: The meson build system. https:\/\/mesonbuild.com\/","key":"10_CR11"},{"doi-asserted-by":"publisher","unstructured":"Puente, J.P.B.: Persistence for the masses: RRB-vectors in a systems language. Proc. ACM Program. Lang. 1(ICFP) (2017). https:\/\/doi.org\/10.1145\/3110260","key":"10_CR12","DOI":"10.1145\/3110260"},{"doi-asserted-by":"publisher","unstructured":"Schreiner, H., et\u00a0al.: CLI11: Version 2.3.2, Zenodo (2023). https:\/\/doi.org\/10.5281\/zenodo.7502818. CLI11 is a header-only command line parser with no external requirements","key":"10_CR13","DOI":"10.5281\/zenodo.7502818"},{"doi-asserted-by":"publisher","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","key":"10_CR14","DOI":"10.1016\/j.jss.2019.07.100"},{"doi-asserted-by":"publisher","unstructured":"Wotawa, F., Kaufmann, D.: Model-based reasoning using answer set programming. Appl. Intell. 52(15), 16993\u201317011 (2022). https:\/\/doi.org\/10.1007\/S10489-022-03272-2","key":"10_CR15","DOI":"10.1007\/S10489-022-03272-2"},{"doi-asserted-by":"publisher","unstructured":"Wotawa, F., Tazl, O.: On the verification of diagnosis models. In: Vermesan, O., Wotawa, F., Nava, M.D., Debaillie, B. (eds.) Industrial Artificial Intelligence Technologies and Applications, pp. 189\u2013203. River Publishers Series in Communications and Networking (2022). https:\/\/doi.org\/10.13052\/rp-9788770227902","key":"10_CR16","DOI":"10.13052\/rp-9788770227902"},{"unstructured":"Zverovich, V.: fmt 9.1.0 (2022). https:\/\/fmt.dev\/. fmt is a formatting library, providing a fast and safe alternative to C stdio and C++ iostreams","key":"10_CR17"}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,24]],"date-time":"2025-01-24T08:44:32Z","timestamp":1737708272000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-80889-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031808883","9783031808890"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-80889-0_10","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"}}]}}