MSc supervision
Rafaela Gonçalves de Almeida - AUTOMATIC TEST CASE GENERATION FOR CONCURRENT FEATURES FROM NATURAL LANGUAGE SPECIFICATIONS. 2019.
ThaÃs Melise Lopes Pina - AUTO TEST GENERATOR: A FRAMEWORK TO GENERATE TEST CASES FROM REQUIREMENTS IN NATURAL LANGUAGE. 2019.
Rodrigo Benedito Otoni - Compositional Analysis of Classical Properties of Concurrency. 2018.
Hugo Leonardo da Silva Araujo - Testing Hybrid Systems from Natural Language Requirements. 2017.
Filipe Marques Chaves de Arruda - Capture & Replay with Text-Based Reuse and Framework Agnosticism. 2017.
Bruno Medeiros de Oliveira - Simulation of Hybrid Systems from Natural Language Requirements. 2016.
Bruno Cesar Ferreira Silva - CPN SIMULATION-BASED TEST CASE GENERATION FROM NATURAL LANGUAGE REQUIREMENTS. 2016.