Supplemental Data for Generalized Testing for Finite State Specifications

Additional supplemental data for <em>Generalized Testing for Finite State Specifications</em>. Files in this dataset:<br> - `edge-pair-analysis.tgz` contains all data from analysis done in Section III-B (On the bugginess of mined specs).<br> - `preliminary-study-mined-fsms.tgz` contains all mined FSMs used for analysis in Section III-B (On the bugginess of mined specs).<br> - `temari-study-data.tgz` contains all Temari experiment data for RQ1 (How generalizable is Temari?).