{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:23:28Z","timestamp":1779074608203,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":66,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Agence Nationale de la Recherche","award":["ANR-12-INSE-0002"],"award-info":[{"award-number":["ANR-12-INSE-0002"]}]},{"name":"Horizon 2020 Framework Programme","award":["731453"],"award-info":[{"award-number":["731453"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,27]]},"DOI":"10.1145\/3180155.3180191","type":"proceedings-article","created":{"date-parts":[[2018,12,13]],"date-time":"2018-12-13T15:45:16Z","timestamp":1544715916000},"page":"456-467","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Time to clean your test objectives"],"prefix":"10.1145","author":[{"given":"Micha\u00ebl","family":"Marcozzi","sequence":"first","affiliation":[{"name":"Imperial College London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Bardin","sequence":"additional","affiliation":[{"name":"Software Safety and Security Lab, Gif-sur-Yvette, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolai","family":"Kosmatov","sequence":"additional","affiliation":[{"name":"Software Safety and Security Lab, Gif-sur-Yvette, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Papadakis","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Virgile","family":"Prevosto","sequence":"additional","affiliation":[{"name":"Software Safety and Security Lab, Gif-sur-Yvette, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"Correnson","sequence":"additional","affiliation":[{"name":"Software Safety and Security Lab, Gif-sur-Yvette, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.13"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1355340"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808266.1808275"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9150-y"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2490067"},{"key":"e_1_3_2_1_7_1","volume-title":"An All-in-One Toolkit for Automated White-Box Testing","author":"Bardin S\u00e8bastien","unstructured":"S\u00e8bastien Bardin, Omar Chebaro, Micka\u00ebl Delahaye, and Nikolai Kosmatov. 2014. An All-in-One Toolkit for Automated White-Box Testing. In TAP. Springer."},{"key":"e_1_3_2_1_8_1","volume-title":"Yves Le Traon, and Jean-Yves Marion","author":"Bardin S\u00e8bastien","year":"2015","unstructured":"S\u00e8bastien Bardin, Micka\u00ebl Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, and Jean-Yves Marion. 2015. Sound and Quasi-Complete Detection of Infeasible Test Requirements. In ICST."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.30"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108792.1108813"},{"key":"e_1_3_2_1_11_1","unstructured":"Patrick Baudin Pascal Cuoq Jean C. Filli\u00e2tre Claude March\u00e8 Benjamin Monate Yannick Moy and Virgile Prevosto. {n. d.}. ACSL: ANSI\/ISO C Specification Language. http:\/\/frama-c.com\/acsl.html"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.49"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.368137"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999437"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/3220881.3220981"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.61"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233196"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.07.012"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"e_1_3_2_1_21_1","volume-title":"A Discipline of Programming","author":"Dijkstra E. W.","unstructured":"E. W. Dijkstra. 1976. A Discipline of Programming. Prentice Hall."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288298"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660767"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/186258.186523"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.05.001"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.37"},{"key":"e_1_3_2_1_27_1","unstructured":"GZip (SPEC) 2018. https:\/\/www.spec.org\/cpu2000\/CINT2000\/164.gzip\/docs\/164.gzip.html. (2018)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/257734.257766"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/257734.257766"},{"key":"e_1_3_2_1_31_1","first-page":"1","article-title":"Detecting Trivial Mutant Equivalences via Compiler Optimisations","volume":"99","author":"Kintis M.","year":"2017","unstructured":"M. Kintis, M. Papadakis, Y. Jia, N. Malevris, Y. Le Traon, and M. Harman. 2017. Detecting Trivial Mutant Equivalences via Compiler Optimisations. IEEE Transactions on Software Engineering PP, 99 (2017), 1--1.","journal-title":"IEEE Transactions on Software Engineering PP"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.42"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1529"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0326-7"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2008.25"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2015.7107454"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950322"},{"key":"e_1_3_2_1_38_1","volume-title":"How Redundant and Equivalent Mutants Affect Determination of Test Completeness. In Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016","author":"Kurtz Bob","year":"2016","unstructured":"Bob Kurtz, Paul Ammann, Jeff Offutt, and Mariet Kurtz. 2016. Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness. In Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11--15, 2016. 142--151."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/519621.853396"},{"key":"e_1_3_2_1_40_1","volume-title":"Taming Coverage Criteria Heterogeneity with L Test. In 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017","author":"Marcozzi Micha\u00ebl","year":"2017","unstructured":"Micha\u00ebl Marcozzi, S\u00e9bastien Bardin, Micka\u00ebl Delahaye, Nikolai Kosmatov, and Virgile Prevosto. 2017. Taming Coverage Criteria Heterogeneity with L Test. In 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13--17, 2017. 500--507."},{"key":"e_1_3_2_1_41_1","volume-title":"Generic and Effective Specification of Structural Test Objectives. In 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017","author":"Marcozzi Michael","year":"2017","unstructured":"Michael Marcozzi, Micka\u00ebl Delahaye, S\u00e9bastienBardin, Nikolai Kosmatov, and Virgile Prevosto. 2017. Generic and Effective Specification of Structural Test Objectives. In 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13--17, 2017. 436--441."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/1816865"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/983238"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/2161638"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.06.006"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/227607.227610"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.286422"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U"},{"key":"e_1_3_2_1_49_1","unstructured":"OpenSSL 2018. https:\/\/www.openssl.org. (2018)."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","unstructured":"Rahul Pandita Tao Xie Nikolai Tillmann and Jonathan de Halleux. 2010. Guided Test Generation for Coverage Criteria. In ICSM. 10.1109\/ICSM.2010.5609565","DOI":"10.1109\/ICSM.2010.5609565"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.05.012"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931040"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818867"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.02.004"},{"key":"e_1_3_2_1_55_1","unstructured":"Radio Technical Commission for Aeronautics. 1992. RTCA DO178-B Software Considerations in Airborne Systems and Equipment Certification. (1992)."},{"key":"e_1_3_2_1_56_1","volume-title":"The Software Testing Standard --- How you can use it. In 3<sup>rd<\/sup> European Conference on Software Testing, Analysis and Review (EuroSTAR'95)","author":"Reid Stuart C.","unstructured":"Stuart C. Reid. 1995. The Software Testing Standard --- How you can use it. In 3<sup>rd<\/sup> European Conference on Software Testing, Analysis and Review (EuroSTAR'95). London."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572282"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1473"},{"key":"e_1_3_2_1_59_1","unstructured":"SJeng (SPEC) 2018. https:\/\/www.spec.org\/cpu2006\/Docs\/458.sjeng.html. (2018)."},{"key":"e_1_3_2_1_60_1","unstructured":"SQLite 2018. https:\/\/www.sqlite.org. (2018)."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818834"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.241773"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230473"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230473"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/75308.75315"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","unstructured":"Hong Zhu Patrick A. V. Hall and John H. R. May. 1997. Software Unit Test Coverage and Adequacy. ACM Comput. Surv. 29 4 (1997). 10.1145\/267580.267590","DOI":"10.1145\/267580.267590"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 40th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180191","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3180155.3180191","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:18Z","timestamp":1750208898000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180191"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":66,"alternative-id":["10.1145\/3180155.3180191","10.1145\/3180155"],"URL":"https:\/\/doi.org\/10.1145\/3180155.3180191","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}