-
Evaluation of multi-threading strategies in BeepBeep 3
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,... -
Benchmark for BeepBeep 3 and related CEP engines
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.... -
Decentralized enforcement of document lifecycle constraints
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... -
Test sequence generation with SealTest
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,... -
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... -
JHotDraw Sample traces
40 traces of executions of the Java software JHotDraw, captured using TPTP. The excel file describes the content of each trace.
