MSc supervision

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.

Pedro Ribeiro Gonçalves Antonino - A Refinement Based Strategy for Locally Verifying Networks of CSP Processes. 2014.

David Menezes Cardoso - A framework to support the implementation of monitorable services. 2012.

Renata Bezerra e Silva de Araújo - Extração Automática de Modelos CSP a partir de Casos de Uso. 2011.

Veja mais: 12345