Datasets Activity Stream About Submit Order by Relevance Name Ascending Name Descending Last Modified Popular Go 1 dataset found Licenses: Creative Commons Attribution Share-Alike Formats: XML 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... XML
