Cassia de Souza Carvalho, Tatsuhiro Tsuchiya. Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation. In Second International Symposium on Computing and Networking, CANDAR 2014, Shizuoka, Japan, December 10-12, 2014. pages 596-598, IEEE, 2014. [doi]