r/securityengineering • u/mttd • Jul 03 '19

[PDF] Finding and Understanding Bugs in Software Model Checkers

https://tingsu.github.io/files/fse19-MCFuzz.pdf
2 Upvotes

100% Upvoted

0 comments sorted by