Boundary-Weighted Specification Coverage (BWSC): EFSM Case Studies, Minimization Algorithms, and Experimental Data
This is version 2 of the reproducibility package accompanying "Boundary-Weighted Specification Coverage: Minimizing Test Suites Derived from Extended Finite State Machine Behavioral Models" (submitted to the Journal of Software: Evolution and Process). It supersedes the first Zenodo version and reflects a revision made...