{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T09:49:54Z","timestamp":1782899394944,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786155.3795703","type":"proceedings-article","created":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T09:22:47Z","timestamp":1782897767000},"page":"44-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["CAAI-ST: Constraint-Aware AI-Guided Seed Generation and Mutation for CPS-UAV System Testing"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-7170-3594","authenticated-orcid":false,"given":"Arham","family":"Riaz","sequence":"first","affiliation":[{"name":"Department of Computer Science, Mohamed bin Zayed University of Artificial Intelligence (MBZUAI), Abu Dhabi, Abu Dhabi, United Arab Emirates"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-8185-6985","authenticated-orcid":false,"given":"Taohong","family":"Zhu","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Manchester, Manchester, Manchester, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1893-6259","authenticated-orcid":false,"given":"Youcheng","family":"Sun","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Mohamed bin Zayed University of Artificial Intelligence (MBZUAI), Abu Dhabi, Abu Dhabi, United Arab Emirates"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST57152.2023.00034"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/3639478.3640031"},{"key":"e_1_3_3_1_4_2","volume-title":"Proceedings of the IEEE International Conference on Software Testing, Verification and Validation (ICST)","author":"Uysal Ramazan\u00a0Erdem","year":"2026","unstructured":"Ramazan\u00a0Erdem Uysal, Ali Javadi, Prakash Aryan, Aren Babikian, Dmytro Humeniuk, Sajad Mazraehkhatiri, and Sebastiano Panichella. 2026. ICST Tool Competition 2026 \u2013 UAV Testing Track. In Proceedings of the IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE."},{"key":"e_1_3_3_1_5_2","volume-title":"Proceedings of the International Workshop on Search-Based and Fuzz Testing (SBFT@ICSE)","author":"Uysal Ramazan\u00a0Erdem","year":"2026","unstructured":"Ramazan\u00a0Erdem Uysal, Ali Javadi, Prakash Aryan, Aren Babikian, Dmytro Humeniuk, Sajad Mazraehkhatiri, and Sebastiano Panichella. 2026. SBFT Tool Competition 2026 \u2013 UAV Testing Track. In Proceedings of the International Workshop on Search-Based and Fuzz Testing (SBFT@ICSE). ACM."},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3643659.3643936"},{"key":"e_1_3_3_1_7_2","first-page":"245","volume-title":"Annual Conference Towards Autonomous Robotic Systems","author":"Zhu Taohong","year":"2025","unstructured":"Taohong Zhu, Adrians Skapars, Fardeen Mackenzie, Declan Kehoe, William Newton, Suzanne Embury, and Youcheng Sun. 2025. SAFLITE: Fuzzing autonomous systems via large language models. In Annual Conference Towards Autonomous Robotic Systems. Springer, 245\u2013258."}],"event":{"name":"SBFT '26: 19th ACM\/IEEE International Workshop on Search-Based and Fuzz Testing","location":"Rio de Janeiro Brazil","acronym":"SBFT '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the 19th ACM\/IEEE International Workshop on Search-Based and Fuzz Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786155.3795703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T09:24:33Z","timestamp":1782897873000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786155.3795703"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":6,"alternative-id":["10.1145\/3786155.3795703","10.1145\/3786155"],"URL":"https:\/\/doi.org\/10.1145\/3786155.3795703","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}