Publication | Closed Access

Delta-oriented model-based integration testing of large-scale systems

EngineeringSystem TestingSoftware TestingVerificationComputer EngineeringSystems EngineeringIntegration TestingModeling And SimulationLarge-scale SystemsSoftware AnalysisSystem SoftwareModel-based TestingFormal Verification