← Înapoi la Urmăritori

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 10
  1. Bug Bash 2: Attack of the Clones

    I’m back from this year’s Bug Bash conference.

  2. Bug Bash 2025 Conference Experience

    The inaugural Bug Bash conference was really special.

  3. 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.

  4. Simulating Some Queues

    System performance boils down to the timing behavior of various interacting queues.

  5. Controlling Nondeterminism in Model-Based Tests with Prophecy Variables

    We have to constantly wrestle with nondeterminism in tests.

  6. 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.

  7. Forward and Backward Reasoning in Proof Assistants

    Proof assistants are really fascinating tools, but the learning curve can be extremely steep.

  8. Compiling a Test Suite

    When I first stumbled upon certifying compilation1, I was absolutely awestruck.

  9. 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.

  10. 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.