This lab contains a set of experiments for measuring the speed-up of the BeepBeep 3 event stream engine using various multi-threading capabilities vs. the original,...

This test suite is designed to compare the performance of the BeepBeep 3 stream query processor against a variety of other software on a variety of queries and input traces....

This lab contains a set of experiments for evaluating the generation time and space consumption of peer-action sequences. This is done by creating dummy sequences and measuring...

This lab contains a set of experiments that compare a test sequence generation library against data found in related works. The lab consists of two parts: In the first part,...

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...

40 traces of executions of the Java software JHotDraw, captured using TPTP. The excel file describes the content of each trace.