JFORTES: Java Formal Unit TESt Generation
BENTES, LARISSA ; ROCHA, HERBERT ; VALENTIN, EDUARDO ; Barreto, Raimundo . JFORTES: Java Formal Unit TESt Generation. In: 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016, João Pessoa. 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016. p. 16-23.
2016