Play to Test: Software testing as reachability games against nature (2005) [pdf](microsoft.com)

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/tr-2005-04.pdf