Misspecification: The Blind Spot of Formal Verification| concerningquality.com
Bug Bash 2025 Conference Experience| concerningquality.com
The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods| concerningquality.com
Branch Coverage Won't Prove The Collatz Conjecture| concerningquality.com
Simulating Some Queues| concerningquality.com
Controlling Nondeterminism in Model-Based Tests with Prophecy Variables| concerningquality.com
I show recent progress, and describe a job for a compiler engineer.| www.oilshell.org
Does Your Test Suite Account For Weak Transaction Isolation?| concerningquality.com
Most Tests Should Be Generated| concerningquality.com
Forward and Backward Reasoning in Proof Assistants| concerningquality.com
Domain-Driven Test Data Generation: A Category-Partition Method and Property-Based Testing Mashup| concerningquality.com
Property-Based Testing Against a Model of a Web Application| concerningquality.com
Compiling a Test Suite| concerningquality.com
Logical Time and Deterministic Execution| concerningquality.com
Efficient and Flexible Model-Based Testing| concerningquality.com
The Case for Models| concerningquality.com
Example-based tests hinge on a single scenario. Property-based tests get to the root of software behavior across multiple parameters.| increment.com
Extracting a Verified Interpreter from Isabelle/HOL| concerningquality.com
I was chatting with a PhD student while back, who remarked to me that many senior PL researchers seemed stuck in a defensive crouch. I thoug...| semantic-domain.blogspot.com
A few people have told me that they’ve enjoyed learning formal methods but aren’t sure how to actually use it. They’re mostly doing short sprints at work and aren’t building new systems from scratch. This tells me there’s some confusion about what makes specifications useful, and that we need a resource on applying them in practice. This is a short guide to using specifications at work in a way that’s accessible to beginners, applicable in many contexts, and provides solid busines...| Hillel Wayne