{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,27]],"date-time":"2025-07-27T07:51:07Z","timestamp":1753602667661,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T00:00:00Z","timestamp":1415664000000},"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,11,11]]},"DOI":"10.1145\/2635868.2666610","type":"proceedings-article","created":{"date-parts":[[2014,11,4]],"date-time":"2014-11-04T21:44:36Z","timestamp":1415137476000},"page":"841-844","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["A variability perspective of mutation analysis"],"prefix":"10.1145","author":[{"given":"Xavier","family":"Devroey","sequence":"first","affiliation":[{"name":"University of Namur, Belgium"}]},{"given":"Gilles","family":"Perrouin","sequence":"additional","affiliation":[{"name":"University of Namur, Belgium"}]},{"given":"Maxime","family":"Cordy","sequence":"additional","affiliation":[{"name":"University of Namur, Belgium"}]},{"given":"Mike","family":"Papadakis","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[{"name":"INRIA, France"}]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[{"name":"University of Namur, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2014,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110153"},{"key":"e_1_3_2_1_2_1","volume-title":"STVR","author":"Aichernig B. K.","year":"2014","unstructured":"B. K. Aichernig , H. Brandl , E. J\u00f6bstl , W. Krenn , R. Schlick , and S. Tiran . Killing strategies for model-based mutation testing . STVR , 2014 . B. K. Aichernig, H. Brandl, E. J\u00f6bstl, W. Krenn, R. Schlick, and S. Tiran. Killing strategies for model-based mutation testing. STVR, 2014."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.11.006"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.13"},{"key":"e_1_3_2_1_5_1","first-page":"54","volume-title":"FEM","author":"Ammann P. E.","unstructured":"P. E. Ammann , P. E. Black , and W. Majurski . Using model checking to generate tests from specifications . In FEM , pages 46\u2013 54 . IEEE, 1998. P. E. Ammann, P. E. Black, and W. Majurski. Using model checking to generate tests from specifications. In FEM, pages 46\u201354. IEEE, 1998."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403472"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110152"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273482"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2499781"},{"key":"e_1_3_2_1_11_1","first-page":"682","volume-title":"ICSE","author":"Cordy M.","unstructured":"M. Cordy , A. Classen , G. Perrouin , P.-Y. Schobbens , P. Heymans , and A. Legay . Simulation-based abstractions for software product-line model checking. In M. Glinz, G. C. Murphy, and M. Pezz\u00e8, editors , ICSE , pages 672\u2013 682 . IEEE, 2012. M. Cordy, A. Classen, G. Perrouin, P.-Y. Schobbens, P. Heymans, and A. Legay. Simulation-based abstractions for software product-line model checking. In M. Glinz, G. C. Murphy, and M. Pezz\u00e8, editors, ICSE, pages 672\u2013682. IEEE, 2012."},{"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.1145\/2556624.2556635"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9_24"},{"key":"e_1_3_2_1_15_1","first-page":"104","volume-title":"SCCC","author":"Fabbri S. C. P. F.","unstructured":"S. C. P. F. Fabbri , J. C. Maldonado , P. C. Masiero , and M. E. Delamaro . Proteum\/fsm: A tool to support finite state machine validation based on mutation testing . In SCCC , pages 96\u2013 104 . IEEE Computer Society, 1999. S. C. P. F. Fabbri, J. C. Maldonado, P. C. Masiero, and M. E. Delamaro. Proteum\/fsm: A tool to support finite state machine validation based on mutation testing. In SCCC, pages 96\u2013104. IEEE Computer Society, 1999."},{"key":"e_1_3_2_1_16_1","first-page":"219","volume-title":"SRE","author":"Fabbri S. C. P. F.","unstructured":"S. C. P. F. Fabbri , J. C. Maldonado , T. Sugeta , and P. C. Masiero . Mutation testing applied to validate specifications based on Statecharts . In SRE , pages 210\u2013 219 . IEEE, 1999. S. C. P. F. Fabbri, J. C. Maldonado, T. Sugeta, and P. C. Masiero. Mutation testing applied to validate specifications based on Statecharts. In SRE, pages 210\u2013219. IEEE, 1999."},{"key":"e_1_3_2_1_17_1","first-page":"1248","volume-title":"ICSE","author":"Henard C.","unstructured":"C. Henard , M. Papadakis , G. Perrouin , J. Klein , and Y. Le Traon . Towards automated testing and fixing of re-engineered feature models . In ICSE , pages 1245\u2013 1248 . IEEE, May 2013. C. Henard, M. Papadakis, G. Perrouin, J. Klein, and Y. Le Traon. Towards automated testing and fixing of re-engineered feature models. In ICSE, pages 1245\u20131248. IEEE, May 2013."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491635"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2008.18"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_18"},{"key":"e_1_3_2_1_22_1","volume-title":"Soft. Eng. Inst.","author":"Kang K. C.","year":"1990","unstructured":"K. C. Kang , S. G. Cohen , J. A. Hess , W. E. Novak , and A. Spencer Peterson . Feature-Oriented domain analysis (FODA) feasibility study. Technical report , Soft. Eng. Inst. , Carnegie Mellon Univ. , 1990 . K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. Spencer Peterson. Feature-Oriented domain analysis (FODA) feasibility study. Technical report, Soft. Eng. Inst., Carnegie Mellon Univ., 1990."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2377816.2377817"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.23"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.44"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568300"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2011.03.007"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9160-9"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/154183.154265"}],"event":{"name":"SIGSOFT\/FSE'14: 22nd ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Hong Kong China","acronym":"SIGSOFT\/FSE'14"},"container-title":["Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2666610","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2635868.2666610","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:11:57Z","timestamp":1750227117000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2666610"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,11]]},"references-count":30,"alternative-id":["10.1145\/2635868.2666610","10.1145\/2635868"],"URL":"https:\/\/doi.org\/10.1145\/2635868.2666610","relation":{},"subject":[],"published":{"date-parts":[[2014,11,11]]},"assertion":[{"value":"2014-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}