{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T11:14:22Z","timestamp":1770290062272,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,21]],"date-time":"2014-07-21T00:00:00Z","timestamp":1405900800000},"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":[[2014,7,21]]},"DOI":"10.1145\/2610384.2628052","type":"proceedings-article","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T12:10:42Z","timestamp":1405080642000},"page":"429-432","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["MuCheck: an extensible tool for mutation testing of haskell programs"],"prefix":"10.1145","author":[{"given":"Duc","family":"Le","sequence":"first","affiliation":[{"name":"Oregon State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad Amin","family":"Alipour","sequence":"additional","affiliation":[{"name":"Oregon State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Gopinath","sequence":"additional","affiliation":[{"name":"Oregon State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Groce","sequence":"additional","affiliation":[{"name":"Oregon State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA076575","volume-title":"Mutation analysis. Technical report","author":"Acree A. T.","year":"1979","unstructured":"A. T. Acree , T. A. Budd , R. A. DeMillo , R. J. Lipton , and F. G. Sayward . Mutation analysis. Technical report , Georgia Institute of Technology , 1979 . A. T. Acree, T. A. Budd, R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Mutation analysis. Technical report, Georgia Institute of Technology, 1979."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"e_1_3_2_1_3_1","unstructured":"N. Broberg. The haskell-src-exts package. http: \/\/hackage.haskell.org\/package\/haskell-src-exts.  N. Broberg. The haskell-src-exts package. http: \/\/hackage.haskell.org\/package\/haskell-src-exts."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988042.1988046"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483769"},{"key":"e_1_3_2_1_8_1","unstructured":"R. Gopinath M. A. Alipour I. Ahmed C. Jensen and A. Groce. An empirical comparison of mutant selection approaches. under submission.  R. Gopinath M. A. Alipour I. Ahmed C. Jensen and A. Groce. An empirical comparison of mutant selection approaches. under submission."},{"key":"e_1_3_2_1_10_1","unstructured":"D. Gorin. The hint package. http:\/\/hackage.haskell.org\/package\/hint.  D. Gorin. The hint package. http:\/\/hackage.haskell.org\/package\/hint."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336763"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.231145"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_1_15_1","first-page":"605","volume-title":"Computer Software and Applications Conference, 1991. COMPSAC \u201991., Proceedings of the Fifteenth Annual International","author":"Mathur A.","year":"1991","unstructured":"A. Mathur . Performance, effectiveness , and reliability issues in software testing . In Computer Software and Applications Conference, 1991. COMPSAC \u201991., Proceedings of the Fifteenth Annual International , pages 604\u2013 605 , 1991 . A. Mathur. Performance, effectiveness, and reliability issues in software testing. In Computer Software and Applications Conference, 1991. COMPSAC \u201991., Proceedings of the Fifteenth Annual International, pages 604\u2013605, 1991."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/257572.257597"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00098-0"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693070"}],"event":{"name":"ISSTA '14: International Symposium on Software Testing and Analysis","location":"San Jose CA USA","acronym":"ISSTA '14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2014 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2610384.2628052","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2610384.2628052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:55:48Z","timestamp":1750229748000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2610384.2628052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,21]]},"references-count":17,"alternative-id":["10.1145\/2610384.2628052","10.1145\/2610384"],"URL":"https:\/\/doi.org\/10.1145\/2610384.2628052","relation":{},"subject":[],"published":{"date-parts":[[2014,7,21]]},"assertion":[{"value":"2014-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}