LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems

Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam +2

Cyber-physical systems (CPSs) are complex systems that integrate physical, computational, and communication subsystems. The heterogeneous nature of these systems makes their safety…