LLM-Based Property-Based Test Generation for Guardrailing Cyber-Physical Systems.

Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam, Per Erik Strandberg, Paul Pettersson

Browse the full VECoS paper archive.