Creating and sharing knowledge for telecommunications
CONCLUDED MSC THESIS

JMLCUTE: Automated JML-Based Unit Test Case Generation

Rafael Farias Baltazar
Supervisors: Pedro Miguel dos Santos Alves Madeira Adão, João Carlos Serrenho Dias Pereira
University: Instituto Superior Técnico
Keywords: