History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
timeline
history
symbolic-execution
dynamic-analysis
program-analysis
dynamic-symbolic-execution
concolic-execution
solving
concolic
-
Updated
Aug 24, 2024 - Kotlin