The Lights Out Kata: how to test-drive a simple HTML user interface in Java