Virtual Continuous Testbeds with LLM-Based Test Case Generation: Toward Closed-Loop Validation of Safety-Critical Systems
: This paper presents an automated approach to deriving informal test cases from Requirements Interchange Format (ReqIF)-structured system requirements based on general-purpose Large Language Models (LLMs) with integrated linkage to test evidences based on Digital Dependability Identities (DDIs). Our method enables sce...