371 search results - page 40 / 75 » Causal Program Slicing |
CAV
2006
Springer
13 years 11 months ago
2006
Springer
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Impact analysis, determining when a change in one part of a program affects other parts of the program, is timeconsuming and problematic. Impact analysis is rarely used to predict...
KBSE
2000
IEEE
14 years 2 days ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
SCAM
2008
IEEE
14 years 2 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
SLP
1997
13 years 9 months ago
1997
This paper describes how a number of program-analysis problems can be solved by transforming them to graph-reachability problems. Some of the program-analysis problems that are am...