{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T08:03:15Z","timestamp":1772524995202,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003999","name":"Science Fund for Creative Research Groups","doi-asserted-by":"publisher","award":["60821003"],"award-info":[{"award-number":["60821003"]}],"id":[{"id":"10.13039\/501100003999","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002855","name":"Ministry of Science and Technology of the People's Republic of China","doi-asserted-by":"publisher","award":["2007AA010301"],"award-info":[{"award-number":["2007AA010301"]}],"id":[{"id":"10.13039\/501100002855","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002855","name":"Ministry of Science and Technology of the People's Republic of China","doi-asserted-by":"publisher","award":["2009CB320703"],"award-info":[{"award-number":["2009CB320703"]}],"id":[{"id":"10.13039\/501100002855","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-0725190"],"award-info":[{"award-number":["CCF-0725190"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["90718016"],"award-info":[{"award-number":["90718016"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1145\/1806799.1806863","type":"proceedings-article","created":{"date-parts":[[2010,6,8]],"date-time":"2010-06-08T12:37:34Z","timestamp":1276000654000},"page":"435-444","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":101,"title":["Is operator-based mutant selection superior to random mutant selection?"],"prefix":"10.1145","author":[{"given":"Lu","family":"Zhang","sequence":"first","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shan-Shan","family":"Hou","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun-Jue","family":"Hu","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[{"name":"North Carolina State University, Raleigh, NC"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong","family":"Mei","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,5]]},"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","volume-title":"Design of mutant operators for the C programming language. Technical report","author":"Agrawal H.","year":"2006","unstructured":"H. Agrawal , R. A. DeMillo , B. Hathaway , W. Hsu , W. Hsu , E. W. Krauser , R. J. Martin , A. P. Mathur , and E. Spafford . Design of mutant operators for the C programming language. Technical report , Purdue University , 2006 . H. Agrawal, R. A. DeMillo, B. Hathaway, W. Hsu, W. Hsu, E. W. Krauser, R. J. Martin, A. P. Mathur, and E. Spafford. Design of mutant operators for the C programming language. Technical report, Purdue University, 2006."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"issue":"2","key":"e_1_3_2_1_4_1","first-page":"113","article-title":"Toward the determination of sufficient mutant operators for C","volume":"11","author":"Barbosa E. F.","year":"2001","unstructured":"E. F. Barbosa , J. C. Maldonado , and A. M. R. Vincenzi . Toward the determination of sufficient mutant operators for C . STVR , 11 ( 2 ): 113 -- 136 , 2001 . E. F. Barbosa, J. C. Maldonado, and A. M. R. Vincenzi. Toward the determination of sufficient mutant operators for C. STVR, 11(2):113--136, 2001.","journal-title":"STVR"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134300"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999415"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.910859"},{"key":"e_1_3_2_1_8_1","first-page":"79","volume-title":"Proc. Conference on Performability in Computing Systems","author":"Delamaro M. E.","year":"1996","unstructured":"M. E. Delamaro and J. C. Maldonado . Proteum - a tool for the assessment of test adequacy for C programs . In Proc. Conference on Performability in Computing Systems , pages 79 -- 95 , 1996 . M. E. Delamaro and J. C. Maldonado. Proteum - a tool for the assessment of test adequacy for C programs. In Proc. Conference on Performability in Computing Systems, pages 79--95, 1996."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1991.170202"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_11_1","volume-title":"The Mothra software testing environment user's manual. Technical report","author":"DeMillo R. A.","year":"1987","unstructured":"R. A. DeMillo and R. J. Martin . The Mothra software testing environment user's manual. Technical report , Software Engineering Research Center , 1987 . R. A. DeMillo and R. J. Martin. The Mothra software testing environment user's manual. Technical report, Software Engineering Research Center, 1987."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.92"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348910"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312836"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.37"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.231145"},{"issue":"4","key":"e_1_3_2_1_18_1","first-page":"233","article-title":"Using program slicing to assist in the detection of equivalent mutants","volume":"9","author":"Hierons R.","year":"1999","unstructured":"R. Hierons and M. Harman . Using program slicing to assist in the detection of equivalent mutants . STVR , 9 ( 4 ): 233 -- 262 , 1999 . R. Hierons and M. Harman. Using program slicing to assist in the detection of equivalent mutants. STVR, 9(4):233--262, 1999.","journal-title":"STVR"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235571"},{"key":"e_1_3_2_1_20_1","first-page":"191","volume-title":"Proc. ICSE","author":"Hutchins M.","year":"1994","unstructured":"M. Hutchins , H. Foster , T. Goradia , and T. Ostrand . Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria . In Proc. ICSE , pages 191 -- 200 , 1994 . M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria. In Proc. ICSE, pages 191--200, 1994."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/WST.1988.5372"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.38"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2006.13"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v15:2"},{"key":"e_1_3_2_1_27_1","first-page":"604","volume-title":"Proc. COMPSAC","author":"Mathur A. P.","year":"1991","unstructured":"A. P. Mathur . Performance, effectiveness , and reliability issues in software testing . In Proc. COMPSAC , pages 604 -- 605 , 1991 . A. P. Mathur. Performance, effectiveness, and reliability issues in software testing. In Proc. COMPSAC, pages 604--605, 1991."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159733.1159751"},{"issue":"3","key":"e_1_3_2_1_29_1","first-page":"131","article-title":"Using compiler optimization techniques to detect equivalent mutants","volume":"4","author":"Offutt A. J.","year":"1994","unstructured":"A. J. Offutt and W. M. Craft . Using compiler optimization techniques to detect equivalent mutants . STVR , 4 ( 3 ): 131 -- 154 , 1994 . A. J. Offutt and W. M. Craft. Using compiler optimization techniques to detect equivalent mutants. STVR, 4(3):131--154, 1994.","journal-title":"STVR"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199902)29:2%3C167::AID-SPE225%3E3.3.CO;2-M"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/227607.227610"},{"issue":"3","key":"e_1_3_2_1_32_1","first-page":"165","article-title":"Automatically detecting equivalent mutants and infeasible paths","volume":"7","author":"Offutt A. J.","year":"1997","unstructured":"A. J. Offutt and J. Pan . Automatically detecting equivalent mutants and infeasible paths . STVR , 7 ( 3 ): 165 -- 192 , 1997 . A. J. Offutt and J. Pan. Automatically detecting equivalent mutants and infeasible paths. STVR, 7(3):165--192, 1997.","journal-title":"STVR"},{"key":"e_1_3_2_1_33_1","first-page":"257","volume-title":"Proc. International Conference on Parallel Processing","author":"Offutt A. J.","year":"1992","unstructured":"A. J. Offutt , R. P. Pargas , S. V. Fichter , and P. K. Khambekar . Mutation testing of software using mimd computer . In Proc. International Conference on Parallel Processing , pages 257 -- 266 , August 1992 . A. J. Offutt, R. P. Pargas, S. V. Fichter, and P. K. Khambekar. Mutation testing of software using mimd computer. In Proc. International Conference on Parallel Processing, pages 257--266, August 1992."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/850947.853294"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/519621.853398"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572282"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368136"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.06.009"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/154183.154265"},{"key":"e_1_3_2_1_40_1","volume-title":"Purdue University","author":"Wong W. E.","year":"1993","unstructured":"W. E. Wong . On mutation and data flow. PhD thesis , Purdue University , December 1993 . W. E. Wong. On mutation and data flow. PhD thesis, Purdue University, December 1993."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00098-0"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/WST.1988.5370"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.491648"}],"event":{"name":"ICSE '10: 32nd International Conference on Software Engineering","location":"Cape Town South Africa","acronym":"ICSE '10","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering - Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1806799.1806863","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1806799.1806863","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:37Z","timestamp":1750246777000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1806799.1806863"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":42,"alternative-id":["10.1145\/1806799.1806863","10.1145\/1806799"],"URL":"https:\/\/doi.org\/10.1145\/1806799.1806863","relation":{},"subject":[],"published":{"date-parts":[[2010,5]]},"assertion":[{"value":"2010-05-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}