Supplemental Data for Generalized Testing for Finite State Specifications

Additional supplemental data for Generalized Testing for Finite State Specifications.

Files in this dataset:
- `edge-pair-analysis.tgz` contains all data from analysis done in Section III-B (On the bugginess of mined specs).
- `preliminary-study-mined-fsms.tgz` contains all mined FSMs used for analysis in Section III-B (On the bugginess of mined specs).
- `temari-study-data.tgz` contains all Temari experiment data for RQ1 (How generalizable is Temari?).