Using Formal Methods for Test Case Generation According to Transition-Based Coverage Criteria
Open Access
- 1 January 2015
- journal article
- Published by ScopeMed in Jordanian Journal of Computers and Information Technology
- Vol. 1 (1), 15
- https://doi.org/10.5455/jjcit.71-1442380075