See my related comment on the Tower Defense approach to software reliability: https://news.ycombinator.com/item?id=7599717