Let tests drive or let Dijkstra derive?

For those of you who did not attend my presentation at the ALE2014 in Krakow I have written down the contents of the presentation.

Click here to open a PDF with the contents of the presentation.