{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:16Z","timestamp":1772163916112,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T00:00:00Z","timestamp":1221868800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,9,20]]},"DOI":"10.1145\/1411204.1411233","type":"proceedings-article","created":{"date-parts":[[2008,9,23]],"date-time":"2008-09-23T09:39:01Z","timestamp":1222162741000},"page":"201-212","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Data-flow testing of declarative programs"],"prefix":"10.1145","author":[{"given":"Sebastian","family":"Fischer","sequence":"first","affiliation":[{"name":"University of Kiel, Kiel, Germany"}]},{"given":"Herbert","family":"Kuchen","sequence":"additional","affiliation":[{"name":"University of M\u00fcnster, M\u00fcnster, Germany"}]}],"member":"320","published-online":{"date-parts":[[2008,9,20]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69611-7_8"},{"key":"e_1_3_2_2_2_1","unstructured":"B. Beizer. Black-Box Testing. Wiley 1995."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1756972.1756983"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1788446.1788479"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/80156"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273930"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291203"},{"key":"e_1_3_2_2_9_1","volume-title":"Curry: An integrated functional logic language (version 0.8.2). Available at URL http:\/\/www.informatik.uni-kiel.de\/~curry","author":"M. Hanus","year":"2006","unstructured":"M. Hanus et al. Curry: An integrated functional logic language (version 0.8.2). Available at URL http:\/\/www.informatik.uni-kiel.de\/~curry, 2006."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1756972.1756978"},{"key":"e_1_3_2_2_11_1","volume-title":"CyTest benchmarks web pages. URL http:\/\/danae.uni-muenster.de\/lehre\/kuchen\/ICFP08\/","author":"Kuchen H.","year":"2008","unstructured":"H. Kuchen and S. Fischer. CyTest benchmarks web pages. URL http:\/\/danae.uni-muenster.de\/lehre\/kuchen\/ICFP08\/, 2008."},{"key":"e_1_3_2_2_12_1","volume-title":"A logic programming library for test-data generation.","author":"Lindblad Fredrik","year":"2007","unstructured":"Fredrik Lindblad, Matthew Naylor, and Colin Runciman. A logic programming library for test-data generation. Available at http:\/\/www-users.cs.york.ac.uk\/~mfn\/lazysmallcheck\/, 2007."},{"key":"e_1_3_2_2_13_1","first-page":"365","volume-title":"IASTED Conf. on Software Engineering","author":"M\u00fcller Roger A.","year":"2004","unstructured":"Roger A. M\u00fcller, Christoph Lembeck, and Herbert Kuchen. A symbolic Java virtual machine for test-case generation. In IASTED Conf. on Software Engineering, pages 365--371, 2004."},{"key":"e_1_3_2_2_14_1","volume-title":"Proc. LOPSTR","author":"Mweze N.","year":"2006","unstructured":"N. Mweze andW. Vanhoof. Automatic generation of test inputs for Mercury programs. In Proc. LOPSTR, 2006."},{"key":"e_1_3_2_2_15_1","volume-title":"A logic programming library for test-data generation.","author":"Naylor Matthew","year":"2007","unstructured":"Matthew Naylor. A logic programming library for test-data generation. Available at http:\/\/www-users.cs.york.ac.uk\/~mfn\/sparsecheck\/, 2007."},{"key":"e_1_3_2_2_16_1","volume-title":"Haskell 98 Language and Libraries-The Revised Report","author":"Jones S. Peyton","year":"2003","unstructured":"S. Peyton Jones, editor. Haskell 98 Language and Libraries-The Revised Report. Cambridge University Press, 2003."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/554362"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291218"}],"event":{"name":"ICFP08: ACM SIGPLAN International Conference on Functional Programming","location":"Victoria BC Canada","acronym":"ICFP08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 13th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411204.1411233","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1411204.1411233","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,14]],"date-time":"2025-08-14T16:40:45Z","timestamp":1755189645000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411204.1411233"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,20]]},"references-count":18,"alternative-id":["10.1145\/1411204.1411233","10.1145\/1411204"],"URL":"https:\/\/doi.org\/10.1145\/1411204.1411233","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1411203.1411233","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,9,20]]},"assertion":[{"value":"2008-09-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}