{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:00:29Z","timestamp":1750309229646,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Natural Sciences and Engineering Research Council of Canada","award":["RGPIN-2022-04622,DGECR-2022-0040"],"award-info":[{"award-number":["RGPIN-2022-04622,DGECR-2022-0040"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,10]]},"DOI":"10.1145\/3663529.3663804","type":"proceedings-article","created":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T19:43:13Z","timestamp":1720640593000},"page":"587-591","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3033-7371","authenticated-orcid":false,"given":"Federico","family":"Formica","sequence":"first","affiliation":[{"name":"McMaster University, Hamilton, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9143-2457","authenticated-orcid":false,"given":"Mohammad Mahdi","family":"Mahboob","sequence":"additional","affiliation":[{"name":"McMaster University, Hamilton, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6526-2544","authenticated-orcid":false,"given":"Mehrnoosh","family":"Askarpour","sequence":"additional","affiliation":[{"name":"McMaster University, Hamilton, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5303-8481","authenticated-orcid":false,"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[{"name":"University of Bergamo, Bergamo, Italy \/ McMaster University, Hamilton, Canada"}]}],"member":"320","published-online":{"date-parts":[[2024,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-016-0197-7"},{"key":"e_1_3_2_1_2_1","first-page":"73","volume-title":"International Conference on Software Testing, Validation and Verification.","author":"Almulla H.","unstructured":"Almulla, H., Gay, G.: Learning how to search: Generating exception-triggering tests through adaptive fitness function selection. In: International Conference on Software Testing, Validation and Verification. pp. 63\u201373. IEEE (2020)"},{"key":"e_1_3_2_1_3_1","first-page":"45","volume-title":"Said","author":"Amal B.","unstructured":"Amal, B., Kessentini, M., Bechikh, S., Dea, J., Said, L.B.: On the use of machine learning and search-based software engineering for ill-defined fitness function: A case study on software refactoring. In: Le Goues, C., Yoo, S. (eds.) International Symposium on Search-Based Software Engineering. pp. 31\u201345. Springer, Cham (2014)"},{"key":"e_1_3_2_1_4_1","first-page":"257","volume-title":"S.: S-taliro: A tool for temporal logic falsification for hybrid systems. In: Tools and Algorithms for the Construction and Analysis of Systems.","author":"Annpureddy Y.","unstructured":"Annpureddy, Y., Liu, C., Fainekos, G., Sankaranarayanan, S.: S-taliro: A tool for temporal logic falsification for hybrid systems. In: Tools and Algorithms for the Construction and Analysis of Systems. pp. 254\u2013257. Springer (2011)"},{"key":"e_1_3_2_1_5_1","first-page":"10","volume-title":"International Conference on Software Engineering.","author":"Arcuri A.","unstructured":"Arcuri, A., Briand, L.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: International Conference on Software Engineering. pp. 1\u201310. ACM (2011)"},{"key":"e_1_3_2_1_6_1","unstructured":"ATheNA. https:\/\/github.com\/ATheNA-SBST\/ATheNA (January 2024 [Online])"},{"key":"e_1_3_2_1_7_1","unstructured":"ATheNA Add-on. https:\/\/www.mathworks.com\/matlabcentral\/fileexchange\/116095-athena (May 2024 [Online])"},{"key":"e_1_3_2_1_8_1","unstructured":"Automotive Electrical System Simulation and Control. https:\/\/it.mathworks.com\/matlabcentral\/fileexchange\/25674-automotive-electrical-system-simulation-and-control (April 2022 [Online])"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2938260"},{"key":"e_1_3_2_1_10_1","unstructured":"United States Department of Energy. https:\/\/www.energy.gov\/ (April 2022 [Online])"},{"key":"e_1_3_2_1_11_1","first-page":"221","volume-title":"Z.: ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. In: International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)","volume":"90","author":"Ernst G.","unstructured":"Ernst, G., Arcaini, P., Fainekos, G., Formica, F., Inoue, J., Khandait, T., Mahboob, M.M., Menghi, C., Pedrielli, G., Waga, M., Yamagata, Y., Zhang, Z.: ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. In: International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). EPiC Series in Computing, vol. 90, pp. 204\u2013221. EasyChair (2022)"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3624745"},{"key":"e_1_3_2_1_14_1","unstructured":"General Motors. https:\/\/www.gm.com\/ (April 2022 [Online])"},{"key":"e_1_3_2_1_15_1","first-page":"69","volume-title":"International Symposium on Software Metrics.","author":"Harman M.","unstructured":"Harman, M., Clark, J.: Metrics are fitness functions too. In: International Symposium on Software Metrics. pp. 58\u201369. IEEE (2004)"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.942528"},{"key":"e_1_3_2_1_17_1","unstructured":"ATheNA Demo Walkthrough. https:\/\/www.youtube.com\/watch?v=dhw9rwO7L4k (January 2024 [Online])"},{"key":"e_1_3_2_1_18_1","unstructured":"ATheNA Installation Guide. https:\/\/www.youtube.com\/watch?v=F8hhTQ8nLts (January 2024 [Online])"},{"key":"e_1_3_2_1_19_1","first-page":"262","volume-title":"International conference on Hybrid systems: computation and control.","author":"Jin X.","unstructured":"Jin, X., Deshmukh, J.V., Kapinski, J., Ueda, K., Butts, K.: Powertrain control verification benchmark. In: International conference on Hybrid systems: computation and control. pp. 253\u2013262. ACM (2014)"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2016.2602089"},{"key":"e_1_3_2_1_21_1","first-page":"686","volume-title":"Annual Conference on Genetic and Evolutionary Computation.","author":"Kim Y.H.","unstructured":"Kim, Y.H., Moon, B.R.: Visualization of the fitness landscape, a steady-state genetic search, and schema traces. In: Annual Conference on Genetic and Evolutionary Computation. pp. 686\u2013686. Morgan Kaufmann (2002)"},{"volume-title":"Moon","author":"Kim Y.H.","key":"e_1_3_2_1_22_1","unstructured":"Kim, Y.H., Moon, B.R.: New usage of sammon\u2019s mapping for genetic visualization. In: Cant\u00fa-Paz, E., Foster, J.A., Deb, K., Davis, L., Roy, R., O\u2019Reilly, U., Beyer, H., Standish, R.K., Kendall, G., Wilson, S.W., Harman, M., Wegener, J., Dasgupta, D., Potter, M.A., Schultz, A.C., Dowsland, K.A., Jonoska, N., Miller, J.F. (eds.) Genetic and Evolutionary Computation Conference. pp. 1136\u20131147. Springer, Berlin, Heidelberg (2003)"},{"key":"e_1_3_2_1_23_1","unstructured":"MathWorks: MathWorks. https:\/\/www.mathworks.com (April 2022 [Online])"},{"key":"e_1_3_2_1_24_1","unstructured":"MathWorks: The EcoCAR Mobility Challenge. https:\/\/it.mathworks.com\/academia\/student-competitions\/ecocar.html (April 2022 [Online])"},{"key":"e_1_3_2_1_25_1","first-page":"169","volume-title":"10th International Workshop on Applied Verification of Continuous and Hybrid Systems. ARCH23","volume":"96","author":"Menghi C.","year":"2023","unstructured":"Menghi, C., Arcaini, P., Baptista, W., Ernst, G., Fainekos, G., Formica, F., Gon, S., Khandait, T., Kundu, A., Pedrielli, G., et al.: ARCH-COMP 2023 Category Report: Falsification. In: 10th International Workshop on Applied Verification of Continuous and Hybrid Systems. ARCH23. vol. 96, pp. 151\u2013169 (2023)"},{"key":"e_1_3_2_1_26_1","first-page":"384","volume-title":"International Conference on Software Engineering.","author":"Menghi C.","unstructured":"Menghi, C., Nejati, S., Briand, L., Parache, Y.I.: Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification. In: International Conference on Software Engineering. pp. 372\u2013384. IEEE\/ACM (2020)"},{"key":"e_1_3_2_1_27_1","unstructured":"Miller S.: Medical ventilator model in simscape. https:\/\/www.mathworks.com\/matlabcentral\/fileexchange\/75012-medical-ventilator-model-in-simscape (September 2022 [Online])"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2023.107286"},{"key":"e_1_3_2_1_29_1","first-page":"540","volume-title":"Genetic and Evolutionary Computation Conference.","volume":"1","author":"Pohlheim H.","year":"1999","unstructured":"Pohlheim, H.: Visualization of evolutionary algorithms-set of standard techniques and multidimensional visualization. In: Genetic and Evolutionary Computation Conference. vol. 1, pp. 533\u2013540 (1999)"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2016.09.045"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1701"},{"key":"e_1_3_2_1_32_1","first-page":"231","volume-title":"International Conference on Formal Methods for Industrial Critical Systems.","author":"Thibeault Q.","unstructured":"Thibeault, Q., Anderson, J., Chandratre, A., Pedrielli, G., Fainekos, G.: Psy-taliro: A python toolbox for search-based test generation for cyber-physical systems. In: International Conference on Formal Methods for Industrial Critical Systems. pp. 223\u2013231. Springer (2021)"},{"key":"e_1_3_2_1_33_1","first-page":"459","volume-title":"NASA Formal Methods Symposium.","author":"Tuncali C.E.","unstructured":"Tuncali, C.E., Hoxha, B., Ding, G., Fainekos, G., Sankaranarayanan, S.: Experience report: Application of falsification methods on the uxas system. In: NASA Formal Methods Symposium. pp. 452\u2013459. Springer, Cham (2018)"},{"key":"e_1_3_2_1_34_1","first-page":"124","volume-title":"Annual Conference Companion on Genetic and Evolutionary Computation.","author":"Wilkerson J.L.","unstructured":"Wilkerson, J.L., Tauritz, D.R.: A guide for fitness function design. In: Annual Conference Companion on Genetic and Evolutionary Computation. p. 123\u2013124. ACM (2011)"}],"event":{"name":"FSE '24: 32nd ACM International Conference on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Porto de Galinhas Brazil","acronym":"FSE '24"},"container-title":["Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663529.3663804","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3663529.3663804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:21Z","timestamp":1750290261000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663529.3663804"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":34,"alternative-id":["10.1145\/3663529.3663804","10.1145\/3663529"],"URL":"https:\/\/doi.org\/10.1145\/3663529.3663804","relation":{},"subject":[],"published":{"date-parts":[[2024,7,10]]},"assertion":[{"value":"2024-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}