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