8 citations · 13 across the 11 of their papers we have counts for
1 paper · 1 filter
Jan Haltermanna, Marie-Christine Jakobs, Cedric Richter +1
Symbolic execution is a software verification technique symbolically running programs and thereby checking for bugs. Ranged symbolic execution performs symbolic execution on progra…