5 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Sören Tempel, Tobias Brandt, Christoph Lüth +2
Symbolic execution is an SMT-based software verification and testing technique. Symbolic execution requires tracking performed computations during software simulation to reason abo…