Presentations

Creative Commons License This work is licensed under a Creative Commons License.


2013


Formal Software Testing - Short course presented at the 4th Brazilian Conference on Software: Theory and Practice (CBSoft 2013), October 2nd, 2013, Brasília, DF, Brazil.

Symbolic Model-Based Testing for Real-Time Systems using SYMBOLRTDagstuhl Seminar on Symbolic Methods in Testing (Dagstuhl Seminar 13021), January 8th, 2013, Wadern, Germany.


2012


Model-Based Testing for Real-Time Systems - Tutorial presented at the 3rd Brazilian Conference on Software: Theory and Practice (CBSoft 2012), September 24th, 2012, Natal, RN, Brazil.


2009


Formal Methods for Automatic Test Case Generation - Tutorial presented at the Brazilian Symposium on Formal Methods (SBMF 2009), August 20th, 2009, Gramado, RS, Brazil.


2008


Introdução ao Teste de Software com JUnit e EMMA - Tutorial presented at the XXVI Congresso Nacional dos Estudantes de Computação (ENECOMP 2008), July 30th, 2008, Campina Grande, PB, Brazil.

Introdução ao Teste de Software - Tutorial presented at the V Encontro Regional de Educação em Ciências e Tecnologia do CCT/UEPB, 2008, Campina Grande, PB, Brazil.

Testes de Software - Tutorial presented at the I Jornada de Atualização em Tecnologia da Informação e Comunicação da FACISA (JATIC 2008), 2008, Campina Grande, PB, Brazil.