Publication | Closed Access
Dynamic software updates
13
Citations
6
References
2009
Year
Unknown Venue
Software MaintenanceEngineeringDynamic Software UpdatesSoftware EngineeringFormal VerificationSoftware AnalysisAutomated Software EngineeringSoftware EnvironmentSystems EngineeringState Mapping ProblemComputer ScienceAutomated RepairSoftware DesignSoftware EvolutionState MappingProgram AnalysisSoftware TestingFormal MethodsSoftware VersioningSystem Software
We consider the state mapping problem for dynamic software updates and propose a number of approaches that have the potential of automating the state mapping in practical setting.
| Year | Citations | |
|---|---|---|
Page 1
Page 1