search

enzet / symbolic-execution

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Creative Commons Attribution Share Alike 4.0 International
486 stars 56 forks source link

Add paper #31

Open enzet opened 6 years ago

enzet commented 6 years ago

Add Generalized symbolic execution for model checking and testing.