38 search results - page 6 / 8 » Dynamic Event Generation for Runtime Checking using the JDI |
155
Voted
ATVA
2007
Springer
15 years 9 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
154
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
135
Voted
AICCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
118
Voted
FATES
2006
Springer
15 years 7 months ago
2006
Springer
We present a new lockset-based algorithm, Goldilocks, for precisely computing the happens-before relation and thereby detecting data-races at runtime. Dynamic race detection algori...
110
click to vote
ISCA
2002
IEEE
15 years 8 months ago
2002
IEEE
The number of pipeline stages separating dynamic instruction scheduling from instruction execution has increased considerably in recent out-of-order microprocessor implementations...