1 paper · 1 filter
Arthur Correnson, Dominic Steinhoefel
Symbolic execution is a program analysis technique executing programs with symbolic instead of concrete inputs. This principle allows for exploring many program paths at once. Desp…