6960 search results - page 565 / 1392 » Continuity Analysis of Programs |
183
click to vote
PLDI
2010
ACM
16 years 10 days ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
221
click to vote
PLDI
2010
ACM
16 years 10 days ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
206
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
169
click to vote
IFIP
2004
Springer
16 years 18 days ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
182
click to vote
IWPC
2002
IEEE
16 years 5 days ago
2002
IEEE
Impact analysis is needed for the planning and estimation of software maintenance projects. Traditional impact analysis techniques tend to be too expensive for this phase, so ther...