Mining Function Specifications (for dynamic invariants) | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Mining Function Specifications (for dynamic invariants) (fuzzingbook.org)
		1 point by sn9 7 months ago \| hide \| past \| favorite \| 1 comment

sn9 7 months ago [–]

Also in the Debugging book by the same authors: https://www.debuggingbook.org/html/DynamicInvariants.html

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact