Laboratoire d'informatique formelleLaboratoire d'informatique formelleliflabliflabLABPALcc-byFeb 3, 20172017-02-03
Dataset
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:
About
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, test sequences are generated from a set of finite-state machines. Some of these FSMs are extracted from past literature, while others are original to this work. You can see the complete list of all the FSMs included in the lab, along with the source files and pictures for each.
In the second part, test sequences are generated from a set of Linear Temporal Logic formulae.
Download & API
LabPal instance for the test sequence generation experimentslabpal
This archive contains an instance of LabPal, an environment for running
experiments on a computer and collecting their results in a user-friendly way.
The author of this archive has set up a set of experiments, which typically
involve running scripts on input data, processing their results and displaying
them in tables and plots. Detailed instructions can be
found on the LabPal website, https://liflab.github.io/labpal
Sources & license
License
- cc-by