12 citations · 25 across the 14 of their papers we have counts for
1 paper · 2 filters
Babangida Bappah, Lamine Noureddine, Umar Farooq +1
While traditional techniques, such as symbolic execution, provide a principled foundation for precise constraint reasoning in program analysis, they struggle to scale to modern sof…