3 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa
In previous work, we presented a symbolic execution method which starts with a concrete model of the program but progressively abstracts away details only when these are known to b…