Graduate students

  • Graduate students (D.Phil. – co-supervisor)
    1. [present] Hugo Leonardo da Silva Araujo
      A framework for testing cyber-physical systems: input generation and causal analysis

  • Graduate students (M.Sc – supervisor)
    1. [present] Vitória Maria Pena Mendes
      Formalising CSP in Coq
    2. [present] Francisco Wilson Rodrigues Junior
      Test automation with robotics
    3. [2020] Igor de Araújo Meira
      Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements
    4. [2017] Tainã Maria dos Santos
      Formal modelling of test environments from natural-language requirements

  • Graduate students (M.Sc. – co-supervisor)
    1. [2017] Hugo Leonardo da Silva Araujo
      A process for sound conformance testing of Cyber-Physical Systems
    2. [2016] Bruno Cesar Ferreira Silva
      CPN simulation-based test case generation from natural language requirements
    3. [2016] Bruno Medeiros de Oliveira
      Simulation of hybrid systems from natural language requirements

Undergraduate students

  • Undergraduate students (course conclusion work – supervisor)
    1. [2022] Beatriz Alves Barros de Sousa (in PT-BR)
      Formalização em Coq de execução de testes para ioco
    2. [2020] Lucas Vinicius da Costa Santana (in PT-BR)
      Formalização em Coq de uma linguagem de processos para ioco
    3. [2020] Carlos Alberto da Silva Carvalho de Freitas
      A Theory of Communicating Sequential Processes in Coq
    4. [2019] Fábio Nunes Peixoto Sobral (in PT-BR)
      Uma Formalização em Coq de Testes Baseados em Modelos
    5. [2016] Daniel de França Figueroa (in PT-BR)
      MC-Test: Uma Ferramenta para testes de cobertura e testes de mutação
    6. [2016] Gemerson Gerardo Feitosa Goncalves (in PT-BR)
      Uma Avaliação do Ensino de Métodos Formais no Brasil
    7. [2016] Hartur Barreto Brito (in PT-BR)
      Teaching Logic - Uma Ferramenta para Auxiliar o Ensino de Lógica
    8. [2015] Tainã Maria dos Santos (in PT-BR)
      Representação em CSP# de Sistemas Reativos Baseados em Fluxo de Dados
    9. [2012] Bruno Fonseca Lins de Oliveira (in PT-BR)
      Uso de Constraint Solvers na Geração de Dados de Teste: Um Mapeamento Sistemático da Literatura
    10. [2012] Eduardo Augusto de Oliveira Nazaré (in PT-BR)
      SeleniumTG: uma Ferramenta WEB para Geração de Scripts de Teste
    11. [2012] Rafael Farias Cabral (in PT-BR)
      Um Mapeamento entre Assembly e CSP: Analisando Formalmente Programas Concorrentes
    12. [2011] Lamartine Veras Sampaio de Souza (in PT-BR)
      Geração Automática de Casos de Teste a partir de Casos de Uso: Um Mapeamento Sistemático da Literatura
    13. [2011] Hiroshi Nishimura Gonçalves (in PT-BR)
      Geração de Testes Automatizados Utilizando o Selenium
    14. [2011] Augusta Raiana Marques de Figueredo (in PT-BR)
      Um Mapeamento Sistemático da Atividade de Testes no Ambiente de Desenvolvimento Distribuído
    15. [2011] Hugo Leonardo C. de O. Lima (in PT-BR)
      Análise Formal de Código Java Concorrente
    16. [2011] Matheus Levi Pereira Torres (in PT-BR)
      CSPM x CSP#: Uma Análise Experimental de Problemas Clássicos de Concorrência
    17. [2011] Tiago Xavier (in PT-BR)
      Geração Automática de Scripts de Teste Utilizando o Selenium

  • Undergraduate students (course conclusion work – co-supervisor)
    1. [2015] Tomaz de Aquino dos Santos Junior (in PT-BR)
      Critérios de Cobertura de Testes Gerados a partir de Linguagem Natural

  • Undergraduate students (research student – supervisor)
    1. [present] Azemar da Rosa Teixeira Neto (in PT-BR)
      Uma linguagem natural controlada para apoiar a geração de testes com robôs
    2. [present] Williams Santiago de Souza Filho (in PT-BR)
      Geração de testes com robôs a partir de uma linguagem natural controlada
    3. [2020] Alice Oliveira de Queiroz Brito (in PT-BR)
      Uma linguagem natural controlada para apoiar a geração de testes com robôs
    4. [2011] Humberto Beltrão da Cunha Júnior (in PT-BR)
      Estudos Empíricos Aplicados ao Management Function Deployment (MFD)
    5. [2011] Wagner Melo Nascimento (in PT-BR)
      Transformação entre Modelos de Desenvolvimento de Software
    6. [2010] Lara Dantas Coutinho (in PT-BR)
      Estudos Empíricos Aplicados ao Management Function Deployment (MFD)
    7. [2010] Bruna Cavalcanti Galle de Aguiar (in PT-BR)
      Estudos Empíricos Aplicados ao Management Function Deployment (MFD)

  • Undergraduate students (research student – co-supervisor)
    1. [2013] Diogo Filipe Dornelas Falcão (in PT-BR)
      Geração de Testes a partir do Processamento de Linguagem Natural