Stateful property-based testing: with a game logic case study

Lou shares his experience and findings going from Test-Driven Development to stateful property-based testing, including finding a concurrency bug (among many others) along the way. He also demonstrates how to write one such test yourself.