5 ms·Play to Test: Software testing as reachability games against nature (2005) [pdf]1 points by imakwana 2y ago