Supplemental Data for Generalized Testing for Finite State Specifications

<p>Additional supplemental data for <em>Generalized Testing for Finite State Specifications</em>.</p> <p>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?).</p>