15 citations · 19 across the 10 of their papers we have counts for
1 paper · 1 filter
Jürgen Christ, Jochen Hoenicke, Martin Schäf
A first step towards more reliable software is to execute each statement and each control-flow path in a method once. In this paper, we present a formal method to automatically com…