JFORTES: Java Formal Unit TESt Generation

Larissa Bentes, Herbert Rocha, Eduardo Valentin, Raimundo S. Barreto. JFORTES: Java Formal Unit TESt Generation. In VI Brazilian Symposium on Computing Systems Engineering, SBESC 2026, João Pessoa, Paraíba, Brazil, November 1-4, 2016. pages 16-23, IEEE, 2016. [doi]

Abstract

Abstract is missing.