1. Home
  2. Organisations
  3. Laboratoire d'informatique ...
  4. Execution of the Pingus ...

Execution of the Pingus Video Game

Synthetic execution traces of the video game Pingus, used for runtime verification. All details regarding the experiments can be found in the paper Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring.

Data and Resources

Additional Info

Field Value
Author Sylvain Hallé
Last Updated June 6, 2016, 13:17 (UTC)
Created February 8, 2016, 14:00 (UTC)