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

Lou will present his experience and findings going from Test Driven Development to stateful Property-Based Testing and finding a concurrency bug (among many others) with it. He will also demonstrate how to write one such test yourself.

OBJECTIVES

  • Guide people into stateful PBT 
  • Showcase PBT's power against more traditional testing techniques