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 SYMBOLRT - Dagstuhl 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. |