{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T13:22:33Z","timestamp":1773840153684,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":67,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,7]],"date-time":"2020-11-07T00:00:00Z","timestamp":1604707200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001866","name":"Fonds National de la Recherche Luxembourg","doi-asserted-by":"publisher","award":["BRIDGES18\/IS\/12632261"],"award-info":[{"award-number":["BRIDGES18\/IS\/12632261"]}],"id":[{"id":"10.13039\/501100001866","id-type":"DOI","asserted-by":"publisher"}]},{"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"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-2020-03992"],"award-info":[{"award-number":["RGPIN-2020-03992"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,11,8]]},"DOI":"10.1145\/3368089.3409737","type":"proceedings-article","created":{"date-parts":[[2020,11,8]],"date-time":"2020-11-08T06:03:52Z","timestamp":1604815432000},"page":"159-171","source":"Crossref","is-referenced-by-count":14,"title":["Mining assumptions for software components using machine learning"],"prefix":"10.1145","author":[{"given":"Khouloud","family":"Gaaloul","sequence":"first","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"University of Ottawa, Canada \/ University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[{"name":"University of Ottawa, Canada \/ University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Wolfe","sequence":"additional","affiliation":[{"name":"QRA, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,7]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2019. Autopilot online documents. https:\/\/nl.mathworks.com\/matlabcentral\/ ifleexchange\/41490-autopilot-demo-for-arp4754a-do-178c-and-do331?focused=6796756&tab=model. Accessed: 2019-08-07. 2019. Autopilot online documents. https:\/\/nl.mathworks.com\/matlabcentral\/ ifleexchange\/41490-autopilot-demo-for-arp4754a-do-178c-and-do331?focused=6796756&tab=model. Accessed: 2019-08-07."},{"key":"e_1_3_2_2_2_1","unstructured":"2019. DHC-2model. http:\/\/www.dutchroll.com. Accessed: 2019-10-24. 2019. DHC-2model. http:\/\/www.dutchroll.com. Accessed: 2019-10-24."},{"key":"e_1_3_2_2_3_1","unstructured":"2020. Additional Material. https:\/\/github.com\/SNTSVV\/EPIcuRus 2020. Additional Material. https:\/\/github.com\/SNTSVV\/EPIcuRus"},{"key":"e_1_3_2_2_4_1","unstructured":"2020. fitctree. https:\/\/nl.mathworks.com\/help\/stats\/fitctree.html 2020. fitctree. https:\/\/nl.mathworks.com\/help\/stats\/fitctree.html"},{"key":"e_1_3_2_2_5_1","unstructured":"2020. QVtrace. https:\/\/qracorp.com\/qvtrace\/ 2020. QVtrace. https:\/\/qracorp.com\/qvtrace\/"},{"key":"e_1_3_2_2_6_1","unstructured":"2020. Simulink. https:\/\/nl.mathworks.com\/products\/simulink.html 2020. Simulink. https:\/\/nl.mathworks.com\/products\/simulink.html"},{"key":"e_1_3_2_2_7_1","volume-title":"Federal Aviation Administration","author":"United States.","year":"2009"},{"key":"e_1_3_2_2_8_1","first-page":"26","article-title":"Counter-strategy guided refinement of GR(1) temporal logic specifications. In Formal Methods in ComputerAided Design","author":"Alur Rajeev","year":"2013","journal-title":"FMCAD. IEEE"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0467-0"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987389.1987416"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987389.1987416"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001452"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.121"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377930.3389810"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW50294.2020.00018"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"crossref","unstructured":"Aitor Arrieta Shuai Wang Urtzi Markiegi Ainhoa Arruabarrena Leire Etxeberria and Goiuria Sagardui. 2019. Pareto eficient multi-objective black-box test case selection for simulation-based testing. Information and Software Technology 114 ( 2019 ) 137-154. Aitor Arrieta Shuai Wang Urtzi Markiegi Ainhoa Arruabarrena Leire Etxeberria and Goiuria Sagardui. 2019. Pareto eficient multi-objective black-box test case selection for simulation-based testing. Information and Software Technology 114 ( 2019 ) 137-154.","DOI":"10.1016\/j.infsof.2019.06.009"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646806"},{"key":"e_1_3_2_2_18_1","volume-title":"In Proc. SAVCBS Workshop. 14-21","author":"Barringer Howard","year":"2003"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C.2019.00010"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-015-0229-y"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985924"},{"key":"e_1_3_2_2_22_1","unstructured":"Leo Breiman J. H. Friedman R. A. Olshen and C. J. Stone. 1984. Classification and Regression Trees. Wadsworth. Leo Breiman J. H. Friedman R. A. Olshen and C. J. Stone. 1984. Classification and Regression Trees. Wadsworth."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1823037"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.02.022"},{"key":"e_1_3_2_2_26_1","first-page":"320","article-title":"Adaptive Random Testing","author":"Chen Tsong Yueh","year":"2004","journal-title":"Advances in Computer Science-ASIAN. Springer"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765903"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/503271.503226"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/646787.703887"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502540"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"e_1_3_2_2_33_1","unstructured":"Gidon Ernst Paolo Arcaini Alexandre Donze Georgios Fainekos Logan Mathesen Giulia Pedrielli Shakiba Yaghoubi Yoriyuki Yamagata and Zhenya Zhang. 2019. ARCH-COMP 2019 Category Report: Falsification. EPiC Series in Computing 61 ( 2019 ) 129-140. Gidon Ernst Paolo Arcaini Alexandre Donze Georgios Fainekos Logan Mathesen Giulia Pedrielli Shakiba Yaghoubi Yoriyuki Yamagata and Zhenya Zhang. 2019. ARCH-COMP 2019 Category Report: Falsification. EPiC Series in Computing 61 ( 2019 ) 129-140."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032335"},{"key":"e_1_3_2_2_35_1","unstructured":"Khouloud Gaaloul Claudio Menghi Shiva Nejati and Lionel Briand. 2020. EPIcuRus. Zenodo. https:\/\/doi.org\/10.5281\/zenodo.3872902 10.5281\/zenodo.3872902 Khouloud Gaaloul Claudio Menghi Shiva Nejati and Lionel Briand. 2020. EPIcuRus. Zenodo. https:\/\/doi.org\/10.5281\/zenodo.3872902 10.5281\/zenodo.3872902"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/786769.787035"},{"key":"e_1_3_2_2_37_1","unstructured":"Dimitra Giannakopoulou Corina S. Pasareanu and Colin Blundell. 2008. Assumeguarantee testing for software components. IET Software 2 6 ( 2008 ) 547-562. https:\/\/doi.org\/10.1049\/iet-sen: 20080012 10.1049\/iet-sen:20080012 Dimitra Giannakopoulou Corina S. Pasareanu and Colin Blundell. 2008. Assumeguarantee testing for software components. IET Software 2 6 ( 2008 ) 547-562. https:\/\/doi.org\/10.1049\/iet-sen: 20080012 10.1049\/iet-sen:20080012"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999426"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"crossref","unstructured":"Mark Harman S. Afshin Mansouri and Yuanyuan Zhang. 2012. Search-based software engineering: Trends techniques and applications. ACM Comput. Surv. 45 1 ( 2012 ) 11 : 1-11 : 61. https:\/\/doi.org\/10.1145\/2379776.2379787 10.1145\/2379776.2379787 Mark Harman S. Afshin Mansouri and Yuanyuan Zhang. 2012. Search-based software engineering: Trends techniques and applications. ACM Comput. Surv. 45 1 ( 2012 ) 11 : 1-11 : 61. https:\/\/doi.org\/10.1145\/2379776.2379787 10.1145\/2379776.2379787","DOI":"10.1145\/2379776.2379787"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/647767.733780"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.2019.2942921","volume-title":"A survey on adaptive random testing","author":"Huang Rubing","year":"2019"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461337"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2421907"},{"key":"e_1_3_2_2_44_1","article-title":"Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques","volume":"36","author":"Kapinski James","year":"2016","journal-title":"IEEE Control Systems Magazine"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2011.5970509"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00106"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3117770"},{"key":"e_1_3_2_2_48_1","volume-title":"Companion Proceedings. Springer.","author":"Mavridou Anastasia","year":"2020"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"crossref","unstructured":"Claudio Menghi Marcello M. Bersani Matteo Rossi and Pierluigi San Pietro. 2020. Model Checking MITL formulae on Timed Automata: a Logic-Based Approach. Transactions on Computational Logic ( 2020 ). Claudio Menghi Marcello M. Bersani Matteo Rossi and Pierluigi San Pietro. 2020. Model Checking MITL formulae on Timed Automata: a Logic-Based Approach. Transactions on Computational Logic ( 2020 ).","DOI":"10.1145\/3383687"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380370"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338920"},{"key":"e_1_3_2_2_52_1","volume-title":"Fundamental Approaches to","author":"Menghi Claudio"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"crossref","unstructured":"Claudio Menghi Paola Spoletini Marsha Chechik and Carlo Ghezzi. 2019. A verification-driven framework for iterative design of controllers. Formal Asp. Comput. 31 5 ( 2019 ) 459-502. https:\/\/doi.org\/10.1007\/s00165-019-00484-1 10.1007\/s00165-019-00484-1 Claudio Menghi Paola Spoletini Marsha Chechik and Carlo Ghezzi. 2019. A verification-driven framework for iterative design of controllers. Formal Asp. Comput. 31 5 ( 2019 ) 459-502. https:\/\/doi.org\/10.1007\/s00165-019-00484-1 10.1007\/s00165-019-00484-1","DOI":"10.1007\/s00165-019-00484-1"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"crossref","unstructured":"Christoph Molnar. 2019. Interpretable Machine Learning. https:\/\/christophm. github.io\/interpretable-ml-book\/. Christoph Molnar. 2019. Interpretable Machine Learning. https:\/\/christophm. github.io\/interpretable-ml-book\/.","DOI":"10.21105\/joss.00786"},{"key":"e_1_3_2_2_55_1","unstructured":"Christoph Molnar. 2019. Interpretable machine learning. Lulu. com. Christoph Molnar. 2019. Interpretable machine learning. Lulu. com."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340444"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/2616606.2616678"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2295764"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"crossref","unstructured":"Alberto Sangiovanni-Vincentelli Werner Damm and Roberto Passerone. 2012. Taming Dr. Frankenstein: Contract-based design for cyber-physical systems. European journal of control 18 3 ( 2012 ) 217-238. Alberto Sangiovanni-Vincentelli Werner Damm and Roberto Passerone. 2012. Taming Dr. Frankenstein: Contract-based design for cyber-physical systems. European journal of control 18 3 ( 2012 ) 217-238.","DOI":"10.3166\/ejc.18.217-238"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168919.1168907"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630066"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_56"},{"key":"e_1_3_2_2_65_1","article-title":"Requirements-driven test generation for autonomous vehicles with machine learning components","volume":"5","author":"Tuncali Cumhur Erkan","year":"2019","journal-title":"IEEE Transactions on Intelligent Vehicles"},{"key":"e_1_3_2_2_66_1","first-page":"959","volume-title":"Proc. of the 2014 Intl. Conf. on High Performance Computing & Simulation (HPCS 2014 ). IEEE","author":"Varrette S."},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.5555\/3086818"}],"event":{"name":"ESEC\/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Virtual Event USA","acronym":"ESEC\/FSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3409737","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3368089.3409737","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:57Z","timestamp":1750197717000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3409737"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,7]]},"references-count":67,"alternative-id":["10.1145\/3368089.3409737","10.1145\/3368089"],"URL":"https:\/\/doi.org\/10.1145\/3368089.3409737","relation":{},"subject":[],"published":{"date-parts":[[2020,11,7]]}}}