2 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner
In recent years, compositional symbolic execution (CSE) tools have been growing in prominence and are becoming more and more applicable to real-world codebases. Still to this day,…