Publication | Closed Access

Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol

Software MaintenanceDependency AnalysisReliability EngineeringEngineeringProgram AnalysisSoftware TestingSystems EngineeringSoftware EngineeringDependability AnalysisComputer ScienceDependable System ArchitectureSoftware AnalysisSystem SoftwareRollback-dependency TrackabilityFormal Verification