{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:34:11Z","timestamp":1784342051410,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":82,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,18]],"date-time":"2016-07-18T00:00:00Z","timestamp":1468800000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"the National 973 Program of China","award":["No.2015CB352201"],"award-info":[{"award-number":["No.2015CB352201"]}]},{"name":"Google Faculty Research Award"},{"name":"the National Natural Science Foundation of China","award":["No.61421091, 61225007, 61522201, 61272157, and 61529201."],"award-info":[{"award-number":["No.61421091, 61225007, 61522201, 61272157, and 61529201."]}]},{"name":"UT Dallas start-up fund","award":["NSF grant CCF-1566589"],"award-info":[{"award-number":["NSF grant CCF-1566589"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,18]]},"DOI":"10.1145\/2931037.2931038","type":"proceedings-article","created":{"date-parts":[[2016,7,7]],"date-time":"2016-07-07T12:33:29Z","timestamp":1467894809000},"page":"342-353","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":64,"title":["Predictive mutation testing"],"prefix":"10.1145","author":[{"given":"Jie","family":"Zhang","sequence":"first","affiliation":[{"name":"Peking University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ziyi","family":"Wang","sequence":"additional","affiliation":[{"name":"Peking University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lingming","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dan","family":"Hao","sequence":"additional","affiliation":[{"name":"Peking University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lei","family":"Zang","sequence":"additional","affiliation":[{"name":"Peking University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shiyang","family":"Cheng","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Peking University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24855-2_155"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"issue":"2","key":"e_1_3_2_1_3_1","first-page":"113","article-title":"Toward the determination of su\ufb03cient 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 su\ufb03cient mutant operators for C . STVR , 11 ( 2 ): 113 \u2013 136 , 2001 . E. F. Barbosa, J. C. Maldonado, and A. M. R. Vincenzi. Toward the determination of su\ufb03cient mutant operators for C. STVR, 11(2):113\u2013136, 2001.","journal-title":"STVR"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010933404324"},{"key":"e_1_3_2_1_5_1","first-page":"236","volume-title":"Neurocomputing","author":"Bridle J. S.","unstructured":"J. S. Bridle . Probabilistic interpretation of feedforward classification network outputs, with relationships to statistical pattern recognition . In Neurocomputing , pages 227\u2013 236 . Springer, 1990. J. S. Bridle. Probabilistic interpretation of feedforward classification network outputs, with relationships to statistical pattern recognition. In Neurocomputing, pages 227\u2013236. Springer, 1990."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939101.1939120"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999452"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1989.48002"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2013.47"},{"key":"e_1_3_2_1_10_1","first-page":"285","volume-title":"Proc. SBES","author":"Delamaro M.","year":"2001","unstructured":"M. Delamaro , M. Pezz\u00e8 , A. M. R. Vincenzi , and J. C. Maldonado . Mutant operators for testing concurrent java programs . In Proc. SBES , pages 272\u2013 285 , 2001 . M. Delamaro, M. Pezz\u00e8, A. M. R. Vincenzi, and J. C. Maldonado. Mutant operators for testing concurrent java programs. In Proc. SBES, pages 272\u2013285, 2001."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1991.170202"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775907"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2780084.2780170"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483769"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483773"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568278"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/786768.786970"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.112"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.231145"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1148\/radiology.143.1.7063747"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-009-9224-5"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025144"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2643008"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235571"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2005.50"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2494586"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568271"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2666527.2666536"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194008003556"},{"key":"e_1_3_2_1_32_1","volume-title":"MIT Press","author":"Joachims T.","year":"1999","unstructured":"T. Joachims . Advances in kernel methods. chapter Making Large-scale Support Vector Machine Learning Practical, pages 169\u2013184 . MIT Press , 1999 . T. Joachims. Advances in kernel methods. chapter Making Large-scale Support Vector Machine Learning Practical, pages 169\u2013184. MIT Press, 1999."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610388"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635929"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.162"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100138"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/70.1.163"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.90444"},{"key":"e_1_3_2_1_39_1","first-page":"970","article-title":"Comparison of random forest, support vector machine and back propagation neural network for electronic tongue data classification","volume":"177","author":"Liu M.","year":"2013","unstructured":"M. Liu , M. Wang , J. Wang , and D. Li . Comparison of random forest, support vector machine and back propagation neural network for electronic tongue data classification . SABC , 177 : 970 \u2013 980 , 2013 . M. Liu, M. Wang, J. Wang, and D. Li. Comparison of random forest, support vector machine and back propagation neural network for electronic tongue data classification. SABC, 177:970\u2013980, 2013.","journal-title":"SABC"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2015.7381798"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/500141.500173"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.08.007"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"e_1_3_2_1_44_1","unstructured":"A. McCallum K. Nigam etal A comparison of event models for naive bayes text classification. In AAAI.  A. McCallum K. Nigam et al. A comparison of event models for naive bayes text classification. In AAAI."},{"key":"e_1_3_2_1_45_1","volume-title":"Machine learning, neural and statistical classification","author":"Michie D.","year":"1994","unstructured":"D. Michie , D. J. Spiegelhalter , and C. C. Taylor . Machine learning, neural and statistical classification . 1994 . D. Michie, D. J. Spiegelhalter, and C. C. Taylor. Machine learning, neural and statistical classification. 1994."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.28"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/11787044_28"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/3015812.3016002"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572280"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.286422"},{"key":"e_1_3_2_1_51_1","volume-title":"Proc. ICPP","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 a mimd computer . In Proc. ICPP , 1992 . A. J. Offutt, R. P. Pargas, S. V. Fichter, and P. K. Khambekar. Mutation testing of software using a mimd computer. In Proc. ICPP, 1992."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/257572.257597"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.159"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808266.1808283"},{"issue":"2","key":"e_1_3_2_1_55_1","first-page":"256","article-title":"Performance analysis of naive bayes and J48 classification algorithm for data classification","volume":"6","author":"Patil T. R.","year":"2013","unstructured":"T. R. Patil and S. Sherekar . Performance analysis of naive bayes and J48 classification algorithm for data classification . IJCSA , 6 ( 2 ): 256 \u2013 261 , 2013 . T. R. Patil and S. Sherekar. Performance analysis of naive bayes and J48 classification algorithm for data classification. IJCSA, 6(2):256\u2013261, 2013.","journal-title":"IJCSA"},{"key":"e_1_3_2_1_56_1","first-page":"553","volume-title":"Engineering and Management","author":"Peng H.","unstructured":"H. Peng , L. Mou , G. Li , Y. Liu , L. Zhang , and Z. Jin . Building program vector representations for deep learning. In Knowledge Science , Engineering and Management , pages 547\u2013 553 . 2015. H. Peng, L. Mou, G. Li, Y. Liu, L. Zhang, and Z. Jin. Building program vector representations for deep learning. In Knowledge Science, Engineering and Management, pages 547\u2013553. 2015."},{"key":"e_1_3_2_1_57_1","unstructured":"PMT homepage. https:\/\/github.com\/SEITest\/PMT.  PMT homepage. https:\/\/github.com\/SEITest\/PMT."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022643204877"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2001.922409"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595750"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.32"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635921"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786878"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368136"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/154183.154265"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.153381"},{"key":"e_1_3_2_1_67_1","first-page":"32","volume-title":"Proc. AusDM","author":"Weng C. G.","year":"2008","unstructured":"C. G. Weng and J. Poon . A new evaluation measure for imbalanced datasets . In Proc. AusDM , pages 27\u2013 32 , 2008 . C. G. Weng and J. Poon. A new evaluation measure for imbalanced datasets. In Proc. AusDM, pages 27\u201332, 2008."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.5555\/571305"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00098-0"},{"key":"e_1_3_2_1_70_1","first-page":"265","volume-title":"Practice and Training","author":"Wong W. E.","year":"1995","unstructured":"W. E. Wong , A. P. Mathur , and J. C. Maldonado . Mutation versus all-uses: An empirical evaluation of cost, strength and effectiveness. In Software Quality and Productivity: Theory , Practice and Training , pages 258\u2013 265 , 1995 . W. E. Wong, A. P. Mathur, and J. C. Maldonado. Mutation versus all-uses: An empirical evaluation of cost, strength and effectiveness. In Software Quality and Productivity: Theory, Practice and Training, pages 258\u2013265, 1995."},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/WST.1988.5370"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2803206"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642994"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-014-5241-2"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.27"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693070"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806863"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483782"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336793"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609672"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509551"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786858"}],"event":{"name":"ISSTA '16: International Symposium on Software Testing and Analysis","location":"Saarbr\u00fccken Germany","acronym":"ISSTA '16","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 25th International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2931037.2931038","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2931037.2931038","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:55Z","timestamp":1750222555000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2931037.2931038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,18]]},"references-count":82,"alternative-id":["10.1145\/2931037.2931038","10.1145\/2931037"],"URL":"https:\/\/doi.org\/10.1145\/2931037.2931038","relation":{},"subject":[],"published":{"date-parts":[[2016,7,18]]},"assertion":[{"value":"2016-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}