Mining Function Specifications (for dynamic invariants) (fuzzingbook.org) 1 points by sn9 1y ago ↗ HN
[–] sn9 1y ago ↗ Also in the Debugging book by the same authors: https://www.debuggingbook.org/html/DynamicInvariants.html
1 comment
[ 5.9 ms ] story [ 21.7 ms ] thread