58 citations · 96 across the 13 of their papers we have counts for
1 paper · 1 filter
Sahil Verma, Subhajit Roy
We present Wolverine2, an integrated Debug-Localize-Repair environment for heap manipulating programs. Wolverine2 provides an interactive debugging environment: while concretely ex…