{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T06:00:35Z","timestamp":1780898435533,"version":"3.54.1"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032248381","type":"print"},{"value":"9783032248398","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-24839-8_8","type":"book-chapter","created":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:45:06Z","timestamp":1777445106000},"page":"115-130","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Test Case Generation for Simulink Models: An Experience from the E-Bike Domain"],"prefix":"10.1007","author":[{"given":"Michael","family":"Marzella","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4244-9319","authenticated-orcid":false,"given":"Andrea","family":"Bombarda","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcello","family":"Minervini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-7152-1389","authenticated-orcid":false,"given":"Nunzio Marco","family":"Bisceglia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4035-0131","authenticated-orcid":false,"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5303-8481","authenticated-orcid":false,"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,4,30]]},"reference":[{"issue":"6","key":"8_CR1","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1109\/TSE.2009.52","volume":"36","author":"S Ali","year":"2010","unstructured":"Ali, S., Briand, L.C., Hemmati, H., Panesar-Walawege, R.K.: A systematic review of the application and empirical investigation of search-based test case generation. IEEE Trans. Softw. Eng. 36(6), 742\u2013762 (2010). https:\/\/doi.org\/10.1109\/TSE.2009.52","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR2","doi-asserted-by":"publisher","unstructured":"Arcuri, A., Briand, L.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: 2011 33rd International Conference on Software Engineering (ICSE), pp. 1\u201310 (2011). https:\/\/doi.org\/10.1145\/1985793.1985795","DOI":"10.1145\/1985793.1985795"},{"issue":"2","key":"8_CR3","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1109\/TSE.2011.121","volume":"38","author":"A Arcuri","year":"2011","unstructured":"Arcuri, A., Iqbal, M.Z., Briand, L.: Random testing: theoretical results and practical implications. IEEE Trans. Softw. Eng. 38(2), 258\u2013277 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Ayesh, M., Mehan, N., Dhanraj, E., et\u00a0al.: Two simulink models with requirements for a simple controller of a pacemaker device. In: International Workshop on Applied Verification of Continuous and Hybrid Systems. vol.\u00a090, pp. 18\u201325 (2022)","DOI":"10.29007\/f57w"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Badreddin, O., Lethbridge, T.C., Elassar, M.: Modeling practices in open source software. In: Open Source Software: Quality Verification, pp. 127\u2013139. Springer (2013)","DOI":"10.1007\/978-3-642-38928-3_9"},{"issue":"6","key":"8_CR6","doi-asserted-by":"publisher","first-page":"2111","DOI":"10.1007\/s10270-021-00883-0","volume":"20","author":"A Boll","year":"2021","unstructured":"Boll, A., Brokhausen, F., Amorim, T., Kehrer, T., Vogelsang, A.: Characteristics, potentials, and limitations of open-source simulink projects for empirical research. Softw. Syst. Model. 20(6), 2111\u20132130 (2021)","journal-title":"Softw. Syst. Model."},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"Boll, A., Kehrer, T.: On the replicability of experimental tool evaluations in model-based development: Lessons learnt from a systematic literature review focusing on matlab\/simulink. In: Systems Modelling and Management, pp. 111\u2013130. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-58167-1_9","DOI":"10.1007\/978-3-030-58167-1_9"},{"issue":"3","key":"8_CR8","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s11334-022-00442-w","volume":"20","author":"A Boll","year":"2024","unstructured":"Boll, A., Vieregg, N., Kehrer, T.: Replicability of experimental tool evaluations in model-based software and systems engineering with matlab\/simulink. Innov. Syst. Softw. Eng. 20(3), 209\u2013224 (2024)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A.: Automatic test generation with asmeta for the mechanical ventilator milano controller. In: Testing Software and Systems, pp. 65\u201372. Springer International Publishing, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-04673-5_5","DOI":"10.1007\/978-3-031-04673-5_5"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"Corti, F., Minervini, M., Giangrande, P., Reatti, A., Malighetti, P., Pugi, L.: Simulink-based simulation of electric bicycle dynamics and regenerative braking for battery state of charge assessment. In: Mediterranean Electrotechnical Conference (MELECON), pp. 803\u2013808. IEEE (2024). https:\/\/doi.org\/10.1109\/melecon56669.2024.10608778","DOI":"10.1109\/melecon56669.2024.10608778"},{"issue":"1","key":"8_CR11","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/MS.2005.6","volume":"22","author":"T Dyba","year":"2005","unstructured":"Dyba, T., Kitchenham, B.A., Jorgensen, M.: Evidence-based software engineering for practitioners. IEEE Softw. 22(1), 58\u201365 (2005)","journal-title":"IEEE Softw."},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Fainekos, G.E., Sankaranarayanan, S., Ueda, K., Yazarel, H.: Verification of automotive control applications using S-TaLiRo. In: 2012 American Control Conference (ACC), pp. 3567\u20133572 (2012). https:\/\/doi.org\/10.1109\/ACC.2012.6315384","DOI":"10.1109\/ACC.2012.6315384"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Formica, F., Fan, T., Menghi, C.: Search-based software testing driven by automatically generated and manually defined fitness functions. ACM Trans. Softw. Eng. Methodol. 33(2) (2023). https:\/\/doi.org\/10.1145\/3624745","DOI":"10.1145\/3624745"},{"issue":"2","key":"8_CR14","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1109\/tse.2023.3343753","volume":"50","author":"F Formica","year":"2024","unstructured":"Formica, F., Fan, T., Rajhans, A., Pantelic, V., Lawford, M., Menghi, C.: Simulation-based testing of simulink models with test sequence and test assessment blocks. IEEE Trans. Softw. Eng. 50(2), 239\u2013257 (2024). https:\/\/doi.org\/10.1109\/tse.2023.3343753","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"Formica, F., Petrunti, N., Bruck, L., et\u00a0al.: Test case generation for drivability requirements of an automotive cruise controller: an experience with an industrial simulator. In: Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1949\u20131960. ESEC\/FSE, ACM (2023). https:\/\/doi.org\/10.1145\/3611643.3613894","DOI":"10.1145\/3611643.3613894"},{"key":"8_CR16","unstructured":"FOSELAB: Experimental Results. https:\/\/github.com\/foselab\/HECATE-Bikes (2024), Accessed 21 July 2025"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Harman, M., Jia, Y., Zhang, Y.: Achievements, open problems and challenges for search based software testing. In: IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 1\u201312 (2015). https:\/\/doi.org\/10.1109\/ICST.2015.7102580","DOI":"10.1109\/ICST.2015.7102580"},{"issue":"14","key":"8_CR18","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1016\/s0950-5849(01)00189-6","volume":"43","author":"M Harman","year":"2001","unstructured":"Harman, M., Jones, B.F.: Search-based software engineering. Inf. Softw. Technol. 43(14), 833\u2013839 (2001). https:\/\/doi.org\/10.1016\/s0950-5849(01)00189-6","journal-title":"Inf. Softw. Technol."},{"key":"8_CR19","unstructured":"Inc., M.: Design. Simulate. Deplo. https:\/\/www.mathworks.com\/help\/matlab\/add-ons.html (2024), Accessed 21 July 2025"},{"key":"8_CR20","unstructured":"Inc., M.: Simulink test develop, manage, and execute simulation-based tests. https:\/\/www.mathworks.com\/products\/simulink-test.html (2024), Accessed 21 July 2025"},{"key":"8_CR21","unstructured":"Inc., M.: Test assessment. https:\/\/www.mathworks.com\/help\/sltest\/ref\/testassessment.html (2024), Accessed 21 July 2025"},{"key":"8_CR22","unstructured":"Inc., M.: Test sequence basics. https:\/\/www.mathworks.com\/help\/sltest\/ug\/introduction-to-test-sequences.html (2024), Accessed 21 July 2025"},{"key":"8_CR23","unstructured":"Insights, F.B.: E-bike drive unit market size, share & covid-19 impact analysis, by product type (mid-drive motors and hub motors), by application (oem and aftermarket), and regional forecasts, 2023-2030. https:\/\/www.fortunebusinessinsights.com\/e-bike-drive-unit-market-107520 (2024), Accessed 21 July 2025"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Juristo, N., G\u00f3mez, O.S.: Replication of software engineering experiments. In: Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Revised Tutorial Lectures, pp. 60\u201388 (2012)","DOI":"10.1007\/978-3-642-25231-0_2"},{"key":"8_CR25","doi-asserted-by":"publisher","unstructured":"Khandait, T., Formica, F., Arcaini, P., et\u00a0al.: Arch-comp 2024 category report: Falsification. In: International Workshop on Applied Verification for Continuous and Hybrid Systems. EPiC Series in Computing, vol.\u00a0103, pp. 122\u2013144. EasyChair (2024). https:\/\/doi.org\/10.29007\/hgfv","DOI":"10.29007\/hgfv"},{"key":"8_CR26","doi-asserted-by":"publisher","unstructured":"Kitchenham, B., Dyba, T., Jorgensen, M.: Evidence-based software engineering. In: International Conference on Software Engineering, pp. 273\u2013281 (2004). https:\/\/doi.org\/10.1109\/ICSE.2004.1317449","DOI":"10.1109\/ICSE.2004.1317449"},{"key":"8_CR27","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10270-016-0523-3","volume":"17","author":"G Liebel","year":"2018","unstructured":"Liebel, G., Marko, N., Tichy, M., Leitner, A., Hansson, J.: Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice. Softw. Syst. Model. 17, 91\u2013113 (2018)","journal-title":"Softw. Syst. Model."},{"key":"8_CR28","unstructured":"MathWorks: Generate and Export Tests from Requirements Table Blocks (2024). https:\/\/www.mathworks.com\/help\/slrequirements\/ug\/export-generated-tests-from-requirements-table.html"},{"key":"8_CR29","doi-asserted-by":"publisher","unstructured":"Matinnejad, R., Nejati, S., Briand, L.C., Bruckmann, T.: Automated test suite generation for time-continuous simulink models. In: International Conference on Software Engineering, pp. 595\u2013606. ICSE, ACM (2016). https:\/\/doi.org\/10.1145\/2884781.2884797","DOI":"10.1145\/2884781.2884797"},{"key":"8_CR30","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1016\/j.infsof.2018.08.017","volume":"105","author":"SM Melo","year":"2019","unstructured":"Melo, S.M., Carver, J.C., Souza, P.S., Souza, S.R.: Empirical research on concurrent software testing: a systematic mapping study. Inf. Softw. Technol. 105, 226\u2013251 (2019)","journal-title":"Inf. Softw. Technol."},{"key":"8_CR31","doi-asserted-by":"publisher","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. ICSE, ACM\/IEEE (2020). https:\/\/doi.org\/10.1145\/3377811.3380370","DOI":"10.1145\/3377811.3380370"},{"key":"8_CR32","doi-asserted-by":"publisher","first-page":"101073","DOI":"10.1109\/ACCESS.2019.2917913","volume":"7","author":"V Mezhuyev","year":"2019","unstructured":"Mezhuyev, V., Al-Emran, M., Ismail, M.A., Benedicenti, L., Chandran, D.A.P.: The acceptance of search-based software engineering techniques: an empirical evaluation using the technology acceptance model. IEEE Access 7, 101073\u2013101085 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2917913","journal-title":"IEEE Access"},{"key":"8_CR33","unstructured":"N.V., B.: Brembo homepage. https:\/\/www.brembo.com\/en\/ (2024), Accessed 21 July 2025"},{"issue":"1","key":"8_CR34","doi-asserted-by":"publisher","DOI":"10.1088\/1757-899x\/732\/1\/012055","volume":"732","author":"A Parastiwi","year":"2020","unstructured":"Parastiwi, A., Al-Akbary, P.C.M., Safitri, H.K.: Analysis and testing of DC motor control system for electric bike. Conf. Seri. Mater. Sci. Eng. 732(1), 012055 (2020). https:\/\/doi.org\/10.1088\/1757-899x\/732\/1\/012055","journal-title":"Conf. Seri. Mater. Sci. Eng."},{"key":"8_CR35","unstructured":"Pirelli: Pirelli homepage. http:\/\/www.pirelli.com (2024), Accessed 21 July 2025"},{"key":"8_CR36","doi-asserted-by":"publisher","unstructured":"Sayyad, A.S., Goseva-Popstojanova, K., Menzies, T., Ammar, H.: On parameter tuning in search based software engineering: a replicated empirical study. In: International Workshop on Replication in Empirical Software Engineering Research, pp. 84\u201390. RESER, IEEE (2013). https:\/\/doi.org\/10.1109\/RESER.2013.6","DOI":"10.1109\/RESER.2013.6"},{"key":"8_CR37","doi-asserted-by":"publisher","unstructured":"Schepers, P., Wolt, K.K., Fishman, E.: The safety of e-bikes in the netherlands. International Transport Forum Discussion Paper 2018-02, Paris (2018). https:\/\/doi.org\/10.1787\/21de1ffa-en","DOI":"10.1787\/21de1ffa-en"},{"key":"8_CR38","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1016\/j.infsof.2018.01.006","volume":"99","author":"M Shepperd","year":"2018","unstructured":"Shepperd, M., Ajienka, N., Counsell, S.: The role and value of replication in empirical software engineering results. Inf. Softw. Technol. 99, 120\u2013132 (2018)","journal-title":"Inf. Softw. Technol."},{"key":"8_CR39","doi-asserted-by":"publisher","unstructured":"Shrestha, S.L., Chowdhury, S.A., Csallner, C.: Replicability study: corpora for understanding simulink models & projects . In: ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), pp. 1\u201312. IEEE (2023). https:\/\/doi.org\/10.1109\/ESEM56168.2023.10304867","DOI":"10.1109\/ESEM56168.2023.10304867"},{"key":"8_CR40","unstructured":"Stories, M.C.: Bosch ebike systems develops electric bike controller with model-based design. https:\/\/www.mathworks.com\/company\/user_stories\/bosch-ebike-systems-develops-electric-bike-controller-with-model-based-design.html (2024), Accessed 21 July 2025"},{"key":"8_CR41","unstructured":"Times, E.: Software takes ebikes to new heights. https:\/\/www.eetimes.eu\/software-takes-ebikes-to-new-heights\/ (2024), Accessed 21 July 2025"}],"container-title":["Lecture Notes in Computer Science","Search-Based Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-24839-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T05:45:16Z","timestamp":1780897516000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-24839-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032248381","9783032248398"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-24839-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"30 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"SSBSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Search Based Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Seoul","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Korea (Republic of)","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ssbse2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ssbse-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}