Deterministic simulation testing in celld: exploring execution orders and reproducing bugs · celld
How celld controls time and execution order to find bugs with deterministic simulation testing, explained through interactive diagrams, pseudocode, and a race it discovered.