Towards model checking of computer games with Java PathFinder.

Nastaran Shafiei, Franck van Breugel

Browse the full ICSE paper archive.