651 search results - page 59 / 131 » Precise Analysis of Java Programs Using JOANA |
125
Voted
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
139
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
220
click to vote
APLAS
2011
ACM
14 years 4 months ago
2011
ACM
We present a new SPAS (ScalablePAth-Sensitive)framework for resolving points-to sets in C programs that exploits recent advances in pointer analysis. SPAS enables intraprocedural p...
129
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
161
click to vote
PASTE
2010
ACM
15 years 7 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...