Concerning Quality concerningquality.com

Bug Bash 2: Attack of the Clones

concerningquality.com·3w·Lobsters, Hacker News

Bug Bash 2025 conference writeup

concerningquality.com·57w·Lobsters, Hacker News

Branch Coverage Won't Prove the Collatz Conjecture

concerningquality.com·68w·Lobsters, Hacker News, Hacker News

Simulating Some Queues

concerningquality.com·71w·Lobsters, Hacker News, r/programming

Controlling Nondeterminism in Model-Based Tests with Prophecy Variables

concerningquality.com·73w·Lobsters, Hacker News

Does Your Test Suite Account For Weak Transaction Isolation?

concerningquality.com·124w

Forward and Backward Reasoning in Proof Assistants

concerningquality.com·137w

Compiling a Test Suite

concerningquality.com·143w

Most Tests Should Be Generated

concerningquality.com·150w

Logical Time and Deterministic Execution

concerningquality.com·168w

Efficient and Flexible Model-Based Testing

concerningquality.com·172w

Log in to enable infinite scrolling