most citedAccurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2024★ 1 cited

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics

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…