15 citations · 25 across the 10 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 1 cited
A Story of Parametric Trace Slicing, Garbage and Static Analysis
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…
cs.LO2017★ 1 cited
Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version)
Giles Reger, Martin Suda, Andrei Voronkov
This paper attempts to address the question of how best to assure the correctness of saturation-based automated theorem provers using our experience developing the theorem prover V…