Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
-
Bug Bash 2: Attack of the Clones
I’m back from this year’s Bug Bash conference.
-
Bug Bash 2025 Conference Experience
The inaugural Bug Bash conference was really special.
-
Branch Coverage Won’t Prove The Collatz Conjecture
The Collatz conjecture is the prime example of the limitations of thinking in terms of branch coverage.
-
Simulating Some Queues
System performance boils down to the timing behavior of various interacting queues.
-
Controlling Nondeterminism in Model-Based Tests with Prophecy Variables
We have to constantly wrestle with nondeterminism in tests.
-
Does Your Test Suite Account For Weak Transaction Isolation?
Transaction isolation is the kind of thing that you learn about and it fills you with fear.
-
Forward and Backward Reasoning in Proof Assistants
Proof assistants are really fascinating tools, but the learning curve can be extremely steep.
-
Compiling a Test Suite
When I first stumbled upon certifying compilation1, I was absolutely awestruck.
-
Most Tests Should Be Generated
Traditional testing wisdom eventually invokes the test pyramid, which is a guide to the proportion of tests to write along the isolation / integration spectrum.
-
Logical Time and Deterministic Execution
Recently, Tomorrow Corporation released this video of their in-house tech stack doing some truly awesome time-travel debugging of a production-quality game.