{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,27]],"date-time":"2026-07-27T15:05:58Z","timestamp":1785164758776,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":75,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100010663","name":"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":[[2018,9,3]]},"DOI":"10.1145\/3238147.3238192","type":"proceedings-article","created":{"date-parts":[[2018,8,20]],"date-time":"2018-08-20T20:04:36Z","timestamp":1534795476000},"page":"143-154","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":154,"title":["Testing autonomous cars for feature interaction failures using many-objective search"],"prefix":"10.1145","author":[{"given":"Raja Ben","family":"Abdessalem","sequence":"first","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Annibale","family":"Panichella","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg \/ Delft University of Technology, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Stifter","sequence":"additional","affiliation":[{"name":"IEE, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/nl.mathworks.com\/products\/simulink.html. (2018)","year":"2018","unstructured":"2018. Matlab\/Simulink. https:\/\/nl.mathworks.com\/products\/simulink.html. (2018) . 2018 . Supplementary Materials . https:\/\/figshare.com\/s\/50193ea5652147d2f036. (2018). 2018. Matlab\/Simulink. https:\/\/nl.mathworks.com\/products\/simulink.html. (2018). 2018. Supplementary Materials. https:\/\/figshare.com\/s\/50193ea5652147d2f036. (2018)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.12.005"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/647768.733787"},{"key":"e_1_3_2_1_5_1","volume-title":"Introduction to Software Testing (1 ed.)","author":"Ammann Paul","unstructured":"Paul Ammann and Jeff Offutt . 2008. Introduction to Software Testing (1 ed.) . Cambridge University Press , New York, NY, USA . Paul Ammann and Jeff Offutt. 2008. Introduction to Software Testing (1 ed.). Cambridge University Press, New York, NY, USA."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528265.2528267"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2013.02.025"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.457"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1486"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2012.6345807"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1162\/EVCO_a_00009"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970311"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180160"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the International Workshop on Feature Interactions in Telecommunications Systems (FIW\u201994)","author":"Blom Johan","year":"1994","unstructured":"Johan Blom , Bengt Jonsson , and Lars Kempe . 1994 . Using Temporal Logic for Modular Specification of Telephone Services . In Proceedings of the International Workshop on Feature Interactions in Telecommunications Systems (FIW\u201994) . IOS Press, Amsterdam, Netherlands, 197\u2013216. Johan Blom, Bengt Jonsson, and Lars Kempe. 1994. Using Temporal Logic for Modular Specification of Telephone Services. In Proceedings of the International Workshop on Feature Interactions in Telecommunications Systems (FIW\u201994). IOS Press, Amsterdam, Netherlands, 197\u2013216."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635927"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the International Workshop on Feature Interactions in Telecommunications Systems (FIW\u201994)","author":"Kenneth","unstructured":"Kenneth H. Braithwaite and Joanne M. Atlee. 1994. Towards automated detection of feature interactions . In Proceedings of the International Workshop on Feature Interactions in Telecommunications Systems (FIW\u201994) . IOS Press, Amsterdam, Netherlands, 36\u201359. Kenneth H. Braithwaite and Joanne M. Atlee. 1994. Towards automated detection of feature interactions. In Proceedings of the International Workshop on Feature Interactions in Telecommunications Systems (FIW\u201994). IOS Press, Amsterdam, Netherlands, 36\u201359."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the International Workshop on Feature Interactions in Telecommunications and Software Systems(FIW\u201900)","author":"Bredereke J.","year":"2000","unstructured":"J. Bredereke . 2000 . Families of formal requirements in telephone switching . In Proceedings of the International Workshop on Feature Interactions in Telecommunications and Software Systems(FIW\u201900) . IOS Press, Glasgow, Scotland, UK, 257\u2013273. J. Bredereke. 2000. Families of formal requirements in telephone switching. In Proceedings of the International Workshop on Feature Interactions in Telecommunications and Software Systems(FIW\u201900). IOS Press, Glasgow, Scotland, UK, 257\u2013273."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889212"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-006-9003-9"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-006-9003-9"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2007.01.015"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the International Workshop on Software Engineering for Automotive Systems (SEAS\u201904)","author":"B\u00c3\u0133hne Stan","year":"2004","unstructured":"Stan B\u00c3\u0133hne , Kim Lauenroth , and Klaus Pohl . 2004 . Modelling Features for Multi-Criteria Product-Lines in the Automotive Industry .. In Proceedings of the International Workshop on Software Engineering for Automotive Systems (SEAS\u201904) , co-located at ICSE\u201904. Edinburgh, UK, 9\u201316. Stan B\u00c3\u0133hne, Kim Lauenroth, and Klaus Pohl. 2004. Modelling Features for Multi-Criteria Product-Lines in the Automotive Industry.. In Proceedings of the International Workshop on Software Engineering for Automotive Systems (SEAS\u201904), co-located at ICSE\u201904. Edinburgh, UK, 9\u201316."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66299-2_3"},{"key":"e_1_3_2_1_26_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_27_1","volume-title":"Peled","author":"Clarke Edmund M.","year":"1999","unstructured":"Edmund M. Clarke , Jr., Orna Grumberg , and Doron A . Peled . 1999 . Model Checking. MIT Press . Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. 1999. Model Checking. MIT Press."},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the International Conference on Genetic Algorithms (ICGA\u201993)","author":"Helen","unstructured":"Helen G. Cobb and John J. Grefenstette. 1993. Genetic Algorithms for Tracking Changing Environments . In Proceedings of the International Conference on Genetic Algorithms (ICGA\u201993) . Morgan Kaufmann Publishers, San Francisco, CA, USA, 523\u2013530. Helen G. Cobb and John J. Grefenstette. 1993. Genetic Algorithms for Tracking Changing Environments. In Proceedings of the International Conference on Genetic Algorithms (ICGA\u201993). Morgan Kaufmann Publishers, San Francisco, CA, USA, 523\u2013530."},{"key":"e_1_3_2_1_29_1","volume-title":"Simulated binary crossover for continuous search space. Complex systems 9","author":"Deb Kalyanmoy","year":"1995","unstructured":"Kalyanmoy Deb . 1995. Simulated binary crossover for continuous search space. Complex systems 9 ( 1995 ), 115\u2013148. Kalyanmoy Deb. 1995. Simulated binary crossover for continuous search space. Complex systems 9 (1995), 115\u2013148."},{"key":"e_1_3_2_1_30_1","volume-title":"Search Methodologies","author":"Deb Kalyanmoy","unstructured":"Kalyanmoy Deb . 2014. Multi-objective Optimization . In Search Methodologies . Springer US , 403\u2013449. Kalyanmoy Deb. 2014. Multi-objective Optimization. In Search Methodologies. Springer US, 403\u2013449."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJAISC.2014.059280"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2013.2281535"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/645882.672250"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2746194.2746211"},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the International Conference on Verified Software: Theories, Tools and Experiments (VSTTE\u201905)","author":"Fisler K.","unstructured":"K. Fisler and S. Krishnamurthi . 2005. Decomposing Verification by Features . In Proceedings of the International Conference on Verified Software: Theories, Tools and Experiments (VSTTE\u201905) . Zurich, Switzerland. K. Fisler and S. Krishnamurthi. 2005. Decomposing Verification by Features. In Proceedings of the International Conference on Verified Software: Theories, Tools and Experiments (VSTTE\u201905). Zurich, Switzerland."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9288-2"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/357474.355061"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1002\/int.10091"},{"key":"e_1_3_2_1_42_1","volume-title":"International Electronics &amp","author":"IEE.","year":"2018","unstructured":"IEE. 2018. International Electronics &amp ; Engineering . https:\/\/www.iee.lu\/. ( 2018 ). IEE. 2018. International Electronics & Engineering. https:\/\/www.iee.lu\/. (2018)."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.729683"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370731.1370743"},{"key":"e_1_3_2_1_45_1","volume-title":"On the Relation of External and Internal Feature Interactions: A Case Study. arXiv preprint arXiv:1712.07440","author":"Kolesnikov Sergiy","year":"2017","unstructured":"Sergiy Kolesnikov , Norbert Siegmund , Christian K\u00e4stner , and Sven Apel . 2017. On the Relation of External and Internal Feature Interactions: A Case Study. arXiv preprint arXiv:1712.07440 ( 2017 ). Sergiy Kolesnikov, Norbert Siegmund, Christian K\u00e4stner, and Sven Apel. 2017. On the Relation of External and Internal Feature Interactions: A Case Study. arXiv preprint arXiv:1712.07440 (2017)."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2792984"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.38"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9165-4"},{"key":"e_1_3_2_1_50_1","volume-title":"Essentials of Metaheuristics","author":"Luke Sean","year":"2018","unstructured":"Sean Luke . 2013. Essentials of Metaheuristics ( second ed.). Lulu, Fairfax, Virginie, USA. https:\/\/cs.gmu.edu\/$\\sim$sean\/book\/metaheuristics\/ ASE \u201918, September 3\u20137, 2018 , Montpellier, France R. Ben Abdessalem, A. Panichella, S. Nejati, L. C. Briand, and T. Stifter Sean Luke. 2013. Essentials of Metaheuristics (second ed.). Lulu, Fairfax, Virginie, USA. https:\/\/cs.gmu.edu\/$\\sim$sean\/book\/metaheuristics\/ ASE \u201918, September 3\u20137, 2018, Montpellier, France R. Ben Abdessalem, A. Panichella, S. Nejati, L. C. Briand, and T. Stifter"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","unstructured":"R. Matinnejad S. Nejati L. Briand and T. Bruckmann. 2018. Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior. IEEE Transactions on Software Engineering (2018) to appear.  R. Matinnejad S. Nejati L. Briand and T. Bruckmann. 2018. Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior. IEEE Transactions on Software Engineering (2018) to appear.","DOI":"10.1109\/TSE.2018.2811489"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.05.007"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884797"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/1077276.1077279"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/1077276.1077279"},{"key":"e_1_3_2_1_56_1","volume-title":"Control Systems Engineering","author":"Nise N. S.","unstructured":"N. S. Nise . 2004. Control Systems Engineering , 4 th ed. John-Wiely Sons . N. S. Nise. 2004. Control Systems Engineering, 4th ed. John-Wiely Sons.","edition":"4"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2019136.2019143"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102604"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2663435"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/PLEASE.2013.6608666"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(00)00018-6"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053389"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9424-2"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2013.6662704"},{"key":"e_1_3_2_1_65_1","volume-title":"Multi-objective machine learning","author":"Suttorp Thorsten","unstructured":"Thorsten Suttorp and Christian Igel . 2006. Multi-objective optimization of support vector machines . In Multi-objective machine learning . Springer , -, 199\u2013220. Thorsten Suttorp and Christian Igel. 2006. Multi-objective optimization of support vector machines. In Multi-objective machine learning. Springer, -, 199\u2013220."},{"key":"e_1_3_2_1_66_1","unstructured":"TASS-International. 2018. PreScan. https:\/\/www.tassinternational.com\/prescan. (2018).  TASS-International. 2018. PreScan. https:\/\/www.tassinternational.com\/prescan. (2018)."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180220"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007528"},{"key":"e_1_3_2_1_69_1","volume-title":"Proceedings of the International Workshop on Feature Interactions in Telecommunications Systems (FIW\u201994)","author":"van der Linden Rob","year":"1994","unstructured":"Rob van der Linden . 1994 . Using an architecture to help beat feature interaction . In Proceedings of the International Workshop on Feature Interactions in Telecommunications Systems (FIW\u201994) . IOS Press, Amsterdam, Netherlands, 24\u201335. Rob van der Linden. 1994. Using an architecture to help beat feature interaction. In Proceedings of the International Workshop on Feature Interactions in Telecommunications Systems (FIW\u201994). IOS Press, Amsterdam, Netherlands, 24\u201335."},{"key":"e_1_3_2_1_70_1","first-page":"101","article-title":"A critique and improvement of the CL common language effect 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 effect size statistics of McGraw and Wong . Journal of Educational and Behavioral Statistics 25 , 2 (2000), 101 \u2013 132 . Andr\u00e1s Vargha and Harold D. Delaney. 2000. A critique and improvement of the CL common language effect size statistics of McGraw and Wong. Journal of Educational and Behavioral Statistics 25, 2 (2000), 101\u2013132.","journal-title":"Journal of Educational and Behavioral Statistics"},{"key":"e_1_3_2_1_71_1","volume-title":"Discrete-event modeling and simulation: a practitioner\u2019s approach","author":"Wainer Gabriel A","unstructured":"Gabriel A Wainer . 2009. Discrete-event modeling and simulation: a practitioner\u2019s approach . CRC press . Gabriel A Wainer. 2009. Discrete-event modeling and simulation: a practitioner\u2019s approach. CRC press."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273483"},{"key":"e_1_3_2_1_73_1","volume-title":"Model-based testing for embedded systems","author":"Zander Justyna","unstructured":"Justyna Zander , Ina Schieferdecker , and Pieter J Mosterman . 2017. Model-based testing for embedded systems . CRC press . Justyna Zander, Ina Schieferdecker, and Pieter J Mosterman. 2017. Model-based testing for embedded systems. CRC press."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.223539"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106302"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.03.025"}],"event":{"name":"ASE '18: 33rd ACM\/IEEE International Conference on Automated Software Engineering","location":"Montpellier France","acronym":"ASE '18","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","CNRS Centre National De La Rechercue Scientifique","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238192","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3238147.3238192","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:35Z","timestamp":1750210775000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238192"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":75,"alternative-id":["10.1145\/3238147.3238192","10.1145\/3238147"],"URL":"https:\/\/doi.org\/10.1145\/3238147.3238192","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}