15 citations · 25 across the 10 of their papers we have counts for
1 paper · 2 filters
Giles Reger
This paper presents a proposal (story) of how statically detecting unreachable objects (in Java) could be used to improve a particular runtime verification approach (for Java), nam…