651 search results - page 59 / 131 » Precise Analysis of Java Programs Using JOANA |
107
click to vote
COMPSAC
2009
IEEE
15 years 9 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...
125
Voted
ISSTA
2009
ACM
15 years 9 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...
200
click to vote
APLAS
2011
ACM
14 years 2 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...
116
click to vote
SIGSOFT
2010
ACM
15 years 8 days 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...
147
click to vote
PASTE
2010
ACM
15 years 6 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...