https://news.ycombinator.com/item?id=8510231
Back-discovering specifications by looking at code coverage while playing a game.
Not nearly as ideal as having a viable specification, but the post is pretty interesting.