Using Formal Methods for Test Case Generation According to Transition-Based Coverage Criteria

Jordanian Journal of Computers and Information Technology (JJCIT), ISSN: 2413-9351, Vol. 1, No. 1, December 2015.
https://www.researchgate.net/publication/283902282