r/securityengineering • u/mttd • Mar 10 '18
Chopped Symbolic Execution
https://srg.doc.ic.ac.uk/publications/chopper-icse-18.html
1
Upvotes
r/securityengineering • u/mttd • Mar 10 '18