3 citations · 5 across the 4 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 ${\…