Public Datasets

We provide here access to data from our empirical studies. This data is provided for two reasons. First, thorough empirical work often produces a large amount of data, but unfortunately publications in software engineering are space limited. In these situations, placing our data on the web is the only way to make it available. Second, we hope to generate data useful for additional analyses by other members of the research community, and naturally other researchers do not wish to pull data from PDFs.

We are currently planning several empirical studies on various topics related to software engineering. We plan to make available as much of the resulting data as we can. Unfortunately, because our much of work is conducted on proprietary software, we cannot always make artifacts such as systems and test cases available. If there's some artifact from our studies you'd like to see and you do not see it listed here, chances are we cannot provide it. Sorry!

Model-Based Testing:

Infusion Mgr: This package contains a model of the prescription management behavior of the software of an infusion pump, a version of the model with read faults, a set of seeded mutants, and associated test inputs used for model-based testing research. Download the data.

Alarms: This package contains a model of the alarm behavior of the software of an infusion pump, a version of the model with read faults, a set of seeded mutants, and associated test inputs used for model-based testing research. Download the data.

Pacing: This package contains a model of the pacing behavior in VVI (ventricle paced, ventricle sensed, inhibited response) and DDD (dual chambers paced, dual chambers senses, tracking response) modes of the software of an pacemaker, a set of seeded mutants, and associated test inputs used for model-based testing research. Download the data.

Fault-Finding Data:

An Oracle Information and Fault Finding: An Initial Study. This dataset contains the observed fault finding for every test suite and oracle used in the study. 5 case examples were used: DWM_1, DWM_2, FGS, vertmax_batch, and latctl_batch. 36 test suites and between 75 and 4000 oracles were examined for each system. In total, approximately 165,000 data points are included in this set. Download the dataset.

Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. This dataset contains the observed fault finding for every test suite, mutant set and oracle used in the study. 4 case examples were used: DWM_1, DWM_2, vertmax_batch, and latctl_batch. 150 test suites, 25 mutants and 2 oracles were examined for each system. In total, 30,000 fault finding are included in this set. Download the dataset.