Laboratoire d'informatique formelleLaboratoire d'informatique formelleliflabliflabXMLmonitoringcc-by-saJun 6, 20162016-06-06
Dataset
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.
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.
Download & API
Execution tracesxml
Synthetic execution traces of the video game Pingus, used for runtime verification.
Sources & license
License
- cc-by-sa