13 citations · 42 across the 13 of their papers we have counts for
1 paper · 1 filter
Kostas Ferles, Valentin Wüstholz, Maria Christakis +1
This paper describes a new program simplification technique called program trimming that aims to improve the scalability and precision of safety checking tools. Given a program ${\…