{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T21:18:28Z","timestamp":1758057508415,"version":"3.44.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032051875","type":"print"},{"value":"9783032051882","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T00:00:00Z","timestamp":1757980800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T00:00:00Z","timestamp":1757980800000},"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-05188-2_8","type":"book-chapter","created":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T21:52:52Z","timestamp":1757973172000},"page":"107-124","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Distributed Critical Test Generation for\u00a0Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-6307-5516","authenticated-orcid":false,"given":"Ali","family":"Kaya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6791-2018","authenticated-orcid":false,"given":"Ivan","family":"Porres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,9,16]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"B\u00f6hme, M., Pham, V.T., Roychoudhury, A.: Coverage-based greybox fuzzing as Markov chain. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, CCS 2016, pp. 1032\u20131043. Association for Computing Machinery, New York (2016). https:\/\/doi.org\/10.1145\/2976749.2978428","DOI":"10.1145\/2976749.2978428"},{"key":"8_CR2","unstructured":"Brock, A., Donahue, J., Simonyan, K.: Large scale GAN training for high fidelity natural image synthesis (2019). https:\/\/arxiv.org\/abs\/1809.11096"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-030-13050-3_4","volume-title":"Design Automation of Cyber-Physical Systems","author":"JV Deshmukh","year":"2019","unstructured":"Deshmukh, J.V., Sankaranarayanan, S.: Formal techniques for verification and testing of cyber-physical systems. In: Al Faruque, M.A., Canedo, A. (eds.) Design Automation of Cyber-Physical Systems, pp. 69\u2013105. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-13050-3_4"},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"Dokhanchi, A., Zutshi, A., Sriniva, R.T., Sankaranarayanan, S., Fainekos, G.: Requirements driven falsification with coverage metrics. In: Girault, A., Guan, N. (eds.) 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, 4\u20139 October 2015, pp. 31\u201340. IEEE (2015). https:\/\/doi.org\/10.1109\/EMSOFT.2015.7318257","DOI":"10.1109\/EMSOFT.2015.7318257"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15297-9_9"},{"issue":"42","key":"8_CR6","doi-asserted-by":"publisher","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"GE Fainekos","year":"2009","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theoret. Comput. Sci. 410(42), 4262\u20134291 (2009). https:\/\/doi.org\/10.1016\/j.tcs.2009.06.021","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR7","unstructured":"Goodfellow, I.J., et al.: Generative adversarial networks (2014). https:\/\/arxiv.org\/abs\/1406.2661"},{"key":"8_CR8","unstructured":"Google: Clusterfuzz: Scalable fuzzing infrastructure (2019). https:\/\/github.com\/google\/clusterfuzz. Accessed 01 June 2025"},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Khandait, T., et al.: Arch-comp 2024 category report: falsification. In: Proceedings of the 11th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH@ADHS). EPiC Series in Computing, vol.\u00a0103, pp. 122\u2013144. EasyChair (2024). https:\/\/doi.org\/10.29007\/hgfv","DOI":"10.29007\/hgfv"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"Khatiri, S., Saurabh, P., Zimmermann, T., Munasinghe, C., Birchler, C., Panichella, S.: SBFT tool competition 2024 - CPS-UAV test case generation track. In: Proceedings of the 17th ACM\/IEEE International Workshop on Search-Based and Fuzz Testing, SBFT 2024, pp. 29\u201332. Association for Computing Machinery, New York (2024). https:\/\/doi.org\/10.1145\/3643659.3643931","DOI":"10.1145\/3643659.3643931"},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Mitliagkas, I., Zhang, C., Hadjis, S., R\u00e9, C.: Asynchrony begets momentum, with an application to deep learning (2016). https:\/\/doi.org\/10.48550\/arXiv.1605.09774","DOI":"10.48550\/arXiv.1605.09774"},{"key":"8_CR12","unstructured":"Paszke, A., et al.: PyTorch: an imperative style, high-performance deep learning library (2019). https:\/\/arxiv.org\/abs\/1912.01703"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Peltom\u00e4ki, J., Spencer, F., Porres, I.: Wasserstein generative adversarial networks for online test generation for cyber-physical systems. In: Proceedings of the 15th Workshop Search-Based Software Testing (SBST), Pittsburgh, PA, USA, pp.\u00a01\u20135 (2023). https:\/\/doi.org\/10.1145\/3526072.3527522","DOI":"10.1145\/3526072.3527522"},{"issue":"2","key":"8_CR14","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10515-025-00503-x","volume":"32","author":"J Peltom\u00e4ki","year":"2025","unstructured":"Peltom\u00e4ki, J., Porres, I.: Requirement falsification for cyber-physical systems using generative models. Autom. Softw. Eng. 32(2), 33 (2025). https:\/\/doi.org\/10.1007\/s10515-025-00503-x","journal-title":"Autom. Softw. Eng."},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"Porres, I., Rexha, H., Lafond, S.: Online GANs for automatic performance testing (2021). https:\/\/doi.org\/10.48550\/arXiv.2104.11069","DOI":"10.48550\/arXiv.2104.11069"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Rajkumar, R., Lee, I., Sha, L., Stankovic, J.: Cyber-physical systems: the next computing revolution. In: Design Automation Conference, pp. 731\u2013736 (2010). https:\/\/doi.org\/10.1145\/1837274.1837461","DOI":"10.1145\/1837274.1837461"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Ramezani, Z., \u0160ehi\u0107, K., Nardi, L., \u00c5kesson, K.: Falsification of cyber-physical systems using bayesian optimization. ACM Trans. Embed. Comput. Syst. 24(3) (2025). https:\/\/doi.org\/10.1145\/3711922","DOI":"10.1145\/3711922"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-030-85248-1_15","volume-title":"Formal Methods for Industrial Critical Systems","author":"Q Thibeault","year":"2021","unstructured":"Thibeault, Q., Anderson, J., Chandratre, A., Pedrielli, G., Fainekos, G.: PSY-TaLiRo: a python toolbox for\u00a0search-based test generation for\u00a0cyber-physical systems. In: Lluch Lafuente, A., Mavridou, A. (eds.) FMICS 2021. LNCS, vol. 12863, pp. 223\u2013231. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85248-1_15"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-030-88494-9_15","volume-title":"Runtime Verification","author":"K Viswanadha","year":"2021","unstructured":"Viswanadha, K., Kim, E., Indaheng, F., Fremont, D.J., Seshia, S.A.: Parallel and multi-objective falsification with Scenic and VerifAI. In: Feng, L., Fisman, D. (eds.) RV 2021. LNCS, vol. 12974, pp. 265\u2013276. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88494-9_15"},{"key":"8_CR20","doi-asserted-by":"publisher","unstructured":"Waga, M.: Falsification of cyber-physical systems with robustness-guided black-box checking. In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC), Sydney, NSW, Australia, pp. 1\u201313 (2020). https:\/\/doi.org\/10.1145\/3365365.3382193","DOI":"10.1145\/3365365.3382193"},{"issue":"12","key":"8_CR21","doi-asserted-by":"publisher","first-page":"480","DOI":"10.3390\/FI16120480","volume":"16","author":"Z Wang","year":"2024","unstructured":"Wang, Z., Ma, J., Lai, E.M.: A survey of scenario generation for automated vehicle testing and validation. Future Internet 16(12), 480 (2024). https:\/\/doi.org\/10.3390\/FI16120480","journal-title":"Future Internet"},{"issue":"3","key":"8_CR22","doi-asserted-by":"publisher","first-page":"991","DOI":"10.1109\/TSE.2022.3170122","volume":"49","author":"X Zhang","year":"2023","unstructured":"Zhang, X., et al.: Finding critical scenarios for automated driving systems: a systematic mapping study. IEEE Trans. Softw. Eng. 49(3), 991\u20131026 (2023). https:\/\/doi.org\/10.1109\/TSE.2022.3170122","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05188-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T21:52:53Z","timestamp":1757973173000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05188-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,16]]},"ISBN":["9783032051875","9783032051882"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05188-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,16]]},"assertion":[{"value":"16 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Testing Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","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":"17 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pts2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ictss-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}