Mariano, Matheus, Érica Ferreira Souza, André Takeshi Endo, and Nandamudi L. Vijaykumar. " A comparative study of algorithms for generating switch cover test sets." Proceedings of the 15th Brazilian Symposium on Software Quality, Maceió, 2016. SBC, 2016, pp.6-20.