4 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Saahil Ognawala, Ana Petrovska, Kristian Beckers
Recent efforts in practical symbolic execution have successfully mitigated the path-explosion problem to some extent with search-based heuristics and compositional approaches. Simi…