Misspecification: The Blind Spot of Formal Verification| concerningquality.com
The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods| concerningquality.com
Property-Based Testing Against a Model of a Web Application| concerningquality.com
The Case for Models| concerningquality.com
I’ve been working on a bunch of longform obligation pieces and while they’re a lot of fun, they’re also steadily driving me insane. So I took a day off to write about all of the kinds of automated testing I know about. I’m defining tests here to be “an independent verification program that, as part of verification, executes the code we want to verify.” This means types are not tests, as they don’t involve execution of the code, and contracts are not tests, because they’re not ...| Hillel Wayne