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
[ 4.1 ms ] story [ 12.5 ms ] thread