651 search results - page 84 / 131 » Precise Analysis of Java Programs Using JOANA |
123
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
121
click to vote
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
123
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
119
click to vote
HPCC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
134
click to vote
CLA
2006
15 years 3 months ago
2006
Abstract. Design defects are poor design choices resulting in a hard-tomaintain software, hence their detection and correction are key steps of a disciplined software process aimed...