1. Home
  2. Datasets
Add Dataset Import Data Package

1 dataset found

Licenses: Creative Commons Attribution Share-Alike Formats: XML Organisations: Laboratoire d'informatique formelle

Filter Results

  • 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...
You can also access this registry using the API (see API Docs).