Publication | Closed Access

Safe and efficient runtime testing framework applied in dynamic and distributed systems

EngineeringComputational TestingSystem TestingRuntime VerificationProgram AnalysisSoftware TestingVerificationSystems EngineeringSoftware EngineeringDistributed SystemsRuntime SystemsComputer ScienceEfficient RuntimeSoftware AnalysisSystem SoftwareTest FrameworkSecurity Testing MethodFormal Verification