{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T06:41:47Z","timestamp":1760078507775,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032071316","type":"print"},{"value":"9783032071323","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T00:00:00Z","timestamp":1760140800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T00:00:00Z","timestamp":1760140800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Cyber-physical systems (CPSs) are complex systems that integrate physical, computational, and communication subsystems. The heterogeneous nature of these systems makes their safety assurance challenging. In this paper, we propose a novel automated approach for guardrailing cyber-physical systems using property-based tests (PBTs) generated by Large Language Models (LLMs). Our approach employs an LLM to extract properties from the code and documentation of CPSs. Next, we use the LLM to generate PBTs that verify the extracted properties on the CPS. The generated PBTs have two uses. First, they are used to test the CPS before it is deployed, i.e., at design time. Secondly, these PBTs can be used after deployment, i.e., at run time, to monitor the behavior of the system and guardrail it against unsafe states. We implement our approach in <jats:sc>ChekProp<\/jats:sc> and conduct preliminary experiments to evaluate the generated PBTs in terms of their relevance (how well they match manually crafted properties), executability (how many run with minimal manual modification), and effectiveness (coverage of the input space partitions). The results of our experiments and evaluation demonstrate a promising path forward for creating guardrails for CPSs using LLM-generated property-based tests.\n<\/jats:p>","DOI":"10.1007\/978-3-032-07132-3_3","type":"book-chapter","created":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T05:27:31Z","timestamp":1760074051000},"page":"18-46","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["LLM-Based Property-Based Test Generation for\u00a0Guardrailing Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2183-9633","authenticated-orcid":false,"given":"Khashayar","family":"Etemadi","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5478-0987","authenticated-orcid":false,"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3354-1463","authenticated-orcid":false,"given":"Mahshid","family":"Helali Moghadam","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1688-6937","authenticated-orcid":false,"given":"Per","family":"Strandberg","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4040-3480","authenticated-orcid":false,"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,11]]},"reference":[{"key":"3_CR1","unstructured":"Abshari, D., Fu, C., Sridhar, M.: LLM-assisted physical invariant extraction for cyber-physical systems anomaly detection. arXiv preprint arXiv:2411.10918 (2024)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Alshahwan, N., et al.: Automated unit test improvement using large language models at meta. In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, pp. 185\u2013196 (2024)","DOI":"10.1145\/3663529.3663839"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Chen, Y., Hu, Z., Zhi, C., Han, J., Deng, S., Yin, J.: ChatUniTest: a framework for LLM-based test generation. In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, pp. 572\u2013576 (2024)","DOI":"10.1145\/3663529.3663801"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, pp. 268\u2013279 (2000)","DOI":"10.1145\/351240.351266"},{"key":"3_CR5","unstructured":"Etemadi, K., et al.: Chekprop (2025). https:\/\/github.com\/khesoem\/ChekProp"},{"issue":"4","key":"3_CR6","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/263244.263267","volume":"22","author":"G Fink","year":"1997","unstructured":"Fink, G., Bishop, M.: Property-based testing: a new approach to testing for assurance. ACM SIGSOFT Softw. Eng. Notes 22(4), 74\u201380 (1997)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Giagnorio, A., Martin-Lopez, A., Bavota, G.: Enhancing code generation for low-resource languages: no silver bullet. arXiv preprint arXiv:2501.19085 (2025)","DOI":"10.1109\/ICPC66645.2025.00058"},{"key":"3_CR8","unstructured":"ISO 25000: ISO\/IEC 25010 - System and software quality models (2019). https:\/\/iso25000.com\/index.php\/en\/iso-25000-standards\/iso-25010"},{"key":"3_CR9","unstructured":"Jiang, J., Wang, F., Shen, J., Kim, S., Kim, S.: A survey on large language models for code generation. arXiv preprint arXiv:2406.00515 (2024)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Kang, S., Yoon, J., Yoo, S.: Large language models are few-shot testers: Exploring LLM-based general bug reproduction. In: 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE), pp. 2312\u20132323. IEEE (2023)","DOI":"10.1109\/ICSE48619.2023.00194"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Lu, Q., Wang, X., Jiang, Y., Zhao, G., Ma, M., Feng, S.: Multimodal large language model driven scenario testing for autonomous vehicles. arXiv preprint arXiv:2409.06450 (2024)","DOI":"10.1007\/s42154-025-00364-w"},{"issue":"43","key":"3_CR12","doi-asserted-by":"publisher","first-page":"1891","DOI":"10.21105\/joss.01891","volume":"4","author":"DR MacIver","year":"2019","unstructured":"MacIver, D.R., Hatfield-Dodds, Z., et al.: Hypothesis: a new approach to property-based testing. J. Open Source Softw. 4(43), 1891 (2019)","journal-title":"J. Open Source Softw."},{"key":"3_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2024.100965","volume":"139","author":"F Moradi","year":"2024","unstructured":"Moradi, F., Asadollah, S.A., Pourvatan, B., Moezkarimi, Z., Sirjani, M.: Crystal framework: cybersecurity assurance for cyber-physical systems. J. Log. Algebr. Methods Program. 139, 100965 (2024)","journal-title":"J. Log. Algebr. Methods Program."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Petrovic, N., et al.: LLM-driven testing for autonomous driving scenarios. In: 2024 2nd International Conference on Foundation and Large Language Models (FLLM), pp. 173\u2013178. IEEE (2024)","DOI":"10.1109\/FLLM63129.2024.10852505"},{"key":"3_CR15","unstructured":"Rahman, T., Zhu, Y.: Automated user story generation with test case specification using large language model. arXiv preprint arXiv:2404.01558 (2024)"},{"key":"3_CR16","unstructured":"Raspberry Pi Team: Raspberry Pi Project Selector (2025). https:\/\/projects.raspberrypi.org\/en\/projects"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Sirjani, M., Khamespanah, E.: On time actors. Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 373\u2013392 (2016)","DOI":"10.1007\/978-3-319-30734-3_25"},{"issue":"1","key":"3_CR18","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1186\/s13174-021-00132-z","volume":"12","author":"M Sirjani","year":"2021","unstructured":"Sirjani, M., Provenzano, L., Asadollah, S.A., Moghadam, M.H., Saadatmand, M.: Towards a verification-driven iterative development of software for safety-critical cyber-physical systems. J. Internet Serv. Appl. 12(1), 2 (2021)","journal-title":"J. Internet Serv. Appl."},{"key":"3_CR19","unstructured":"gpiozero Team: A simple interface to gpio devices with Raspberry Pi (2025). https:\/\/github.com\/gpiozero\/gpiozero"},{"issue":"5","key":"3_CR20","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/1095430.1081749","volume":"30","author":"N Tillmann","year":"2005","unstructured":"Tillmann, N., Schulte, W.: Parameterized unit tests. ACM SIGSOFT Softw. Eng. Notes 30(5), 253\u2013262 (2005)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Tiwari, D., Gamage, Y., Monperrus, M., Baudry, B.: Proze: generating parameterized unit tests informed by runtime data. In: 2024 IEEE International Conference on Source Code Analysis and Manipulation (SCAM), pp. 166\u2013176. IEEE (2024)","DOI":"10.1109\/SCAM63643.2024.00025"},{"key":"3_CR22","unstructured":"Vikram, V., Lemieux, C., Sunshine, J., Padhye, R.: Can large language models write good property-based tests? arXiv preprint arXiv:2307.04346 (2023)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Wang, J., Huang, Y., Chen, C., Liu, Z., Wang, S., Wang, Q.: Software testing with large language models: survey, landscape, and vision. IEEE Trans. Softw. Eng. (2024)","DOI":"10.1109\/TSE.2024.3368208"},{"key":"3_CR24","unstructured":"Wang, L., et al.: GenSim: generating robotic simulation tasks via large language models. arXiv preprint arXiv:2310.01361 (2023)"}],"container-title":["Lecture Notes in Computer Science","Bridging the Gap Between AI and Reality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-07132-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T06:04:40Z","timestamp":1760076280000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-07132-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,11]]},"ISBN":["9783032071316","9783032071323"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-07132-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,11]]},"assertion":[{"value":"11 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Bridging the Gap between AI and Reality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","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":"1 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aisola2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2025-aisola.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}