Laboratoire d'informatique formelle
6 datasets · search within
Evaluation of multi-threading strategies in BeepBeep 3
LABPAL · updated 2017-04-12This 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, single-thread…
Benchmark for BeepBeep 3 and related CEP engines
LABPAL · updated 2017-03-05This 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
LABPAL · updated 2017-02-03This 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
LABPAL · updated 2017-02-03This 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:
Execution of the Pingus Video Game
XML · updated 2016-06-06Synthetic 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…
JHotDraw Sample traces
ZIP · updated 2016-02-1040 traces of executions of the Java software JHotDraw, captured using TPTP. The excel file describes the content of each trace.