3 search results - page 1 / 1 » Automated Techniques for Surviving (Otherwise) Fatal Softwar... |
ENTCS
2007
13 years 10 months ago
2007
CADE
2009
Springer
14 years 11 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...