{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T04:11:08Z","timestamp":1750392668407,"version":"3.41.0"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319616599"},{"type":"electronic","value":"9783319616605"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-61660-5_21","type":"book-chapter","created":{"date-parts":[[2017,6,27]],"date-time":"2017-06-27T09:22:22Z","timestamp":1498555342000},"page":"229-235","source":"Crossref","is-referenced-by-count":8,"title":["$$\\mathsf {Harvey}$$ : A System for Random Testing in ASP"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Gre\u00dfler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"Oetsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,28]]},"reference":[{"key":"21_CR1","volume-title":"Black-Box Testing: Techniques for Functional Testing of Software and Systems","author":"B Beizer","year":"1999","unstructured":"Beizer, B.: Black-Box Testing: Techniques for Functional Testing of Software and Systems. Wiley, New York (1999)"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1007\/978-3-642-39799-8_40","volume-title":"Computer Aided Verification","author":"S Chakraborty","year":"2013","unstructured":"Chakraborty, S., Meel, K.S., Vardi, M.Y.: A scalable and nearly uniform generator of SAT witnesses. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 608\u2013623. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-39799-8_40"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-72788-0_13","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2007","author":"CP Gomes","year":"2007","unstructured":"Gomes, C.P., Hoffmann, J., Sabharwal, A., Selman, B.: Short XORs for model counting: from theory to practice. In: Marques-Silva, J., Sakallah, K.A. (eds.) SAT 2007. LNCS, vol. 4501, pp. 100\u2013106. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-72788-0_13"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Gomes, C.P., Sabharwal, A., Selman, B.: Near-uniform sampling of combinatorial spaces using XOR constraints. In: Proceedings of NIPS 2006, pp. 481\u2013488. MIT Press (2006)","DOI":"10.7551\/mitpress\/7503.003.0065"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Janhunen, T., Niemel\u00e4, I., Oetsch, J., P\u00fchrer, J., Tompits, H.: On testing answer-set programs. In: Proceedings of ECAI 2010, pp. 951\u2013956. IOS Press (2010)","DOI":"10.3233\/978-1-60750-606-5-951"},{"key":"21_CR6","doi-asserted-by":"crossref","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: LPNMR 2011, pp. 242\u2013247. Springer (2011)","DOI":"10.1007\/978-3-642-20895-9_26"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-540-24609-1_30","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T Janhunen","year":"2003","unstructured":"Janhunen, T., Oikarinen, E.: LPEQ and DLPEQ \u2013 translators for automated equivalence testing of logic programs. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS, vol. 2923, pp. 336\u2013340. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-24609-1_30"},{"key":"21_CR8","volume-title":"Art of Software Testing","author":"GJ Myers","year":"1979","unstructured":"Myers, G.J.: Art of Software Testing. Wiley, Hoboken (1979)"},{"key":"21_CR9","unstructured":"Oetsch, J., Prischink, M., P\u00fchrer, J., Schwengerer, M., Tompits, H.: On the small-scope hypothesis for testing answer-set programs. In: Proceedings of KR 2012, pp. 43\u201353. AAAI Press (2012)"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-00675-3_16","volume-title":"Applications of Declarative Programming and Knowledge Management","author":"J Oetsch","year":"2009","unstructured":"Oetsch, J., Seidl, M., Tompits, H., Woltran, S.: Testing relativised uniform equivalence under answer-set projection in the system ccT. In: Seipel, D., Hanus, M., Wolf, A. (eds.) INAP\/WLP -2007. LNCS, vol. 5437, pp. 241\u2013246. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-00675-3_16"},{"key":"21_CR11","unstructured":"Potassco \u2013 The Potsdam answer set solving collection. https:\/\/potassco.org\/"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61660-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T02:26:40Z","timestamp":1750386400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61660-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319616599","9783319616605"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61660-5_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}