Definition
Running a program with placeholders instead of real inputs to find inputs that would trigger bugs.
A program-analysis technique that runs code over symbolic inputs and uses a constraint solver to find concrete inputs that reach specific paths or trigger violations.