8 search results - page 2 / 2 » Adding Change Impact Analysis to the Formal Verification of ... |
KBSE
2006
IEEE
13 years 10 months ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
POPL
2005
ACM
14 years 4 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...