Publication | Closed Access

Uncertainty-wise test case generation and minimization for Cyber-Physical Systems

Reliability EngineeringEngineeringComputational TestingSoftware TestingVerificationFormal MethodsComputer EngineeringSystems EngineeringRobustness TestingTest Case DesignFormal Verification