Solver Experiment - Data Package

This repository is intended to allow replication and extension of the study conducted in the following paper:

(Author Information Excluded for Double Blind Review). Understanding The Impact of Solver Choice in Model-Based Test Generation. Under submission to IEEE International Conference on Software Testing.

This package includes all data used or generated in this experiment.

  • Models
  • Mutants
  • Test Suites
  • Execution Traces
  • Fault-detection Results

If you have any questions on this data, please contact us at (e-mail removed for double-blind review)