2 search results - page 1 / 1 » FixD : Fault Detection, Bug Reporting, and Recoverability fo... |
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
ICSE
2008
IEEE-ACM
14 years 4 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...