59 search results - page 8 / 12 » jPredictor: a predictive runtime analysis tool for java |
101
Voted
MSR
2006
ACM
15 years 6 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
116
click to vote
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
119
click to vote
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...
101
click to vote
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
118
Voted
AOSD
2009
ACM
15 years 7 months ago
2009
ACM
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...