Play to Test: Software testing as reachability games against nature (2005) [pdf] | Dark Hacker News