1. An orchestrated survey of methodologies for automated software test case generation;Anand;J. Syst. Softw.,2013
2. libfsmtest an open source library for fsm-based testing;Bergenthal,2022
3. On the completeness of test suites;Luiz Bonifácio,2014
4. Test suite completeness and black box testing;Luiz Bonifácio;Softw. Test. Verif. Reliab.,2017
5. Experimental comparison of approaches for checking completeness of test suites from finite state machines;Luiz Bonifácio;Inf. Softw. Technol.,2017