Concerning Quality| concerningquality.com
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
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
Extracting a Verified Interpreter from Isabelle/HOL| concerningquality.com