2 citations · 3 across the 3 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…