{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T01:40:23Z","timestamp":1767922823335,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,18]],"date-time":"2020-07-18T00:00:00Z","timestamp":1595030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002790","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["Discovery Grant"],"award-info":[{"award-number":["Discovery Grant"]}],"id":[{"id":"10.13039\/501100002790","id-type":"DOI","asserted-by":"publisher"}]},{"name":"IEE luxembourg"},{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["694277"],"award-info":[{"award-number":["694277"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,18]]},"DOI":"10.1145\/3395363.3397386","type":"proceedings-article","created":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T21:44:18Z","timestamp":1594676658000},"page":"88-100","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Automated repair of feature interaction failures in automated driving systems"],"prefix":"10.1145","author":[{"given":"Raja Ben","family":"Abdessalem","sequence":"first","affiliation":[{"name":"University of Luxembourg, Luxembourg"}]},{"given":"Annibale","family":"Panichella","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands \/ University of Luxembourg, Luxembourg"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"University of Ottawa, Canada \/ University of Luxembourg, Luxembourg"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg \/ University of Ottawa, Canada"}]},{"given":"Thomas","family":"Stifter","sequence":"additional","affiliation":[{"name":"IEE, Luxembourg"}]}],"member":"320","published-online":{"date-parts":[[2020,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. Matlab\/Simulink. https:\/\/nl.mathworks.com\/products\/simulink.html.  2019. Matlab\/Simulink. https:\/\/nl.mathworks.com\/products\/simulink.html."},{"key":"e_1_3_2_1_2_1","unstructured":"2020. Appendix. https:\/\/bitbucket.org\/anonymous83\/faultrepair\/src\/master\/. Also submitted along with the paper.  2020. Appendix. https:\/\/bitbucket.org\/anonymous83\/faultrepair\/src\/master\/. Also submitted along with the paper."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001576.2001768"},{"key":"e_1_3_2_1_4_1","volume-title":"Principles of Cyber-Physical Systems","author":"Alur Rajeev","unstructured":"Rajeev Alur . 2015. Principles of Cyber-Physical Systems . MIT Press . Rajeev Alur. 2015. Principles of Cyber-Physical Systems. MIT Press."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370175.1370223"},{"key":"e_1_3_2_1_6_1","volume-title":"Evolutionary Repair of Faulty Software. Applied Software Computing 11, 4 (","author":"Arcuri Andrea","year":"2011","unstructured":"Andrea Arcuri . 2011. Evolutionary Repair of Faulty Software. Applied Software Computing 11, 4 ( June 2011 ), 3494-3514. Andrea Arcuri. 2011. Evolutionary Repair of Faulty Software. Applied Software Computing 11, 4 ( June 2011 ), 3494-3514."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Andrea Arcuri and Lionel Briand. 2014. A hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering. Software Testing Verification and Reliability 24 3 ( 2014 ) 219-250.  Andrea Arcuri and Lionel Briand. 2014. A hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering. Software Testing Verification and Reliability 24 3 ( 2014 ) 219-250.","DOI":"10.1002\/stvr.1486"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2008.4630793"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238192"},{"key":"e_1_3_2_1_10_1","volume-title":"Elementary Statistics for the Social Sciences: Study Guide","author":"Capon J. Anthony","unstructured":"J. Anthony Capon . 1991. Elementary Statistics for the Social Sciences: Study Guide . Wadsworth Publishing Company , Belmont, CA, USA . J. Anthony Capon. 1991. Elementary Statistics for the Social Sciences: Study Guide. Wadsworth Publishing Company, Belmont, CA, USA."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.15"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593735.2593740"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCG.2005.140"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"e_1_3_2_1_15_1","article-title":"Automatic software repair: A survey","volume":"45","author":"Gazzola Luca","year":"2017","unstructured":"Luca Gazzola , Daniela Micucci , and Leonardo Mariani . 2017 . Automatic software repair: A survey . IEEE Transactions on Software Engineering 45 , 1 ( 2017 ), 34-67. Luca Gazzola, Daniela Micucci, and Leonardo Mariani. 2017. Automatic software repair: A survey. IEEE Transactions on Software Engineering 45, 1 ( 2017 ), 34-67.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_16_1","volume-title":"Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control and Artificial Intelligence","author":"Holland John H.","unstructured":"John H. Holland . 1992. Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control and Artificial Intelligence . MIT Press , Cambridge, MA, USA . John H. Holland. 1992. Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control and Artificial Intelligence. MIT Press, Cambridge, MA, USA."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1569984"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45712-7_4"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2016.69"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483763"},{"key":"e_1_3_2_1_21_1","first-page":"73","volume-title":"Proceedings of the International Conference on Multicore Software Engineering, Performance, and Tools (MSEPT'13)","author":"Kelk David","unstructured":"David Kelk , Kevin Jalbert , and Jeremy S. Bradbury . 2013. Automatically Repairing Concurrency Bugs with ARC . In Proceedings of the International Conference on Multicore Software Engineering, Performance, and Tools (MSEPT'13) , Jo\u00e3o M. Louren\u00e7o and Eitan Farchi (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg , 73 - 84 . David Kelk, Kevin Jalbert, and Jeremy S. Bradbury. 2013. Automatically Repairing Concurrency Bugs with ARC. In Proceedings of the International Conference on Multicore Software Engineering, Performance, and Tools (MSEPT'13), Jo\u00e3o M. Louren\u00e7o and Eitan Farchi (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 73-84."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44719-9_19"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2015.7381813"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWESEP.2016.15"},{"key":"e_1_3_2_1_26_1","volume-title":"Genetic programming: on the programming of computers by means of natural selection","author":"Koza John R","unstructured":"John R Koza and John R Koza . 1992. Genetic programming: on the programming of computers by means of natural selection . Vol. 1 . MIT press , Cambridge, MA, USA . John R Koza and John R Koza. 1992. Genetic programming: on the programming of computers by means of natural selection. Vol. 1. MIT press, Cambridge, MA, USA."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Yann LeCun Yoshua Bengio and Geofrey Hinton. 2015. Deep learning. Nature 521 7553 ( 2015 ) 436.  Yann LeCun Yoshua Bengio and Geofrey Hinton. 2015. Deep learning. Nature 521 7553 ( 2015 ) 436.","DOI":"10.1038\/nature14539"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_1_32_1","volume-title":"Essentials of Metaheuristics","author":"Luke Sean","unstructured":"Sean Luke . 2013. Essentials of Metaheuristics ( second ed.). Lulu , Fairfax, Virginie, USA. Sean Luke. 2013. Essentials of Metaheuristics (second ed.). Lulu, Fairfax, Virginie, USA."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMIM.2018.8443497"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_2_1_35_1","first-page":"772","volume-title":"Proceedings of the International Conference on Software Engineering (ICSE '13)","author":"Thien Nguyen Hoang Duong","year":"2013","unstructured":"Hoang Duong Thien Nguyen , Dawei Qi , Abhik Roychoudhury , and Satish Chandra . 2013 . SemFix: Program Repair via Semantic Analysis . In Proceedings of the International Conference on Software Engineering (ICSE '13) (San Francisco, CA, USA). IEEE Press, Piscataway, NJ, USA , 772 - 781 . Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. 2013. SemFix: Program Repair via Semantic Analysis. In Proceedings of the International Conference on Software Engineering (ICSE '13) (San Francisco, CA, USA). IEEE Press, Piscataway, NJ, USA, 772-781."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.62"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"e_1_3_2_1_39_1","unstructured":"TASS-International. 2019. PreScan. https:\/\/www.tassinternational.com\/prescan.  TASS-International. 2019. PreScan. https:\/\/www.tassinternational.com\/prescan."},{"key":"e_1_3_2_1_40_1","first-page":"109","volume-title":"Proceedings of the workshop of the International Cooperation on Theories and Concepts in Trafic Safety (ICTCT'93)","author":"van der Horst Richard","year":"1993","unstructured":"Richard van der Horst and Jeroen Hogema . 1993 . Time-to-collision and collision avoidance systems . In Proceedings of the workshop of the International Cooperation on Theories and Concepts in Trafic Safety (ICTCT'93) .-, Salzburg, Austria , 109 - 121 . Richard van der Horst and Jeroen Hogema. 1993. Time-to-collision and collision avoidance systems. In Proceedings of the workshop of the International Cooperation on Theories and Concepts in Trafic Safety (ICTCT'93).-, Salzburg, Austria, 109-121."},{"key":"e_1_3_2_1_41_1","article-title":"A critique and improvement of the CL common language efect size statistics of McGraw and Wong","volume":"25","author":"Vargha Andr\u00e1s","year":"2000","unstructured":"Andr\u00e1s Vargha and Harold D. Delaney . 2000 . A critique and improvement of the CL common language efect size statistics of McGraw and Wong . Journal of Educational and Behavioral Statistics 25 , 2 ( 2000 ), 101-132. Andr\u00e1s Vargha and Harold D. Delaney. 2000. A critique and improvement of the CL common language efect size statistics of McGraw and Wong. Journal of Educational and Behavioral Statistics 25, 2 ( 2000 ), 101-132.","journal-title":"Journal of Educational and Behavioral Statistics"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693094"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2522920.2522924"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3078840"}],"event":{"name":"ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Virtual Event USA","acronym":"ISSTA '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3395363.3397386","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3395363.3397386","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:45Z","timestamp":1750199925000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3395363.3397386"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,18]]},"references-count":46,"alternative-id":["10.1145\/3395363.3397386","10.1145\/3395363"],"URL":"https:\/\/doi.org\/10.1145\/3395363.3397386","relation":{},"subject":[],"published":{"date-parts":[[2020,7,18]]},"assertion":[{"value":"2020-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}