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.
If you have any questions on this data, please contact us at (e-mail removed for double-blind review)