Publications‎ > ‎

Doctoral Theses

Francisco Gomes de Oliveira NetoInvestigation of Similarity-based Test Case Selection for Specification-based Regression Testing. Doctoral Thesis, Federal University of Campina Grande, July, 2014.


João Arthur Brunet MonteiroErosão Arquitetural em Perspectiva: Um estudo sobre regras arquiteturais, suas violações e como os desenvolvedores lidam com o problema. Doctoral Thesis, Federal University of Campina Grande, July 2014.


 Roberto Almeida BittencourtHabilitando a Checagem Estática de Conformidade Arquitetural de Software em Evolução. Doctoral Thesis, Computer Science, Federal University of Campina Grande, February 2012.
 
 Paulo Eduardo e Silva Barbosa. MDA-Veritas: Uma Arquitetura MDA Estendida para Transformações de Sistemas Concorrentes Preservadoras de Semântica. Doctoral Thesis, Computer Science, Federal University of Campina Grande, September 2011.

 Wilkerson de Lucena AndradeSymbolic Model-Based Testing for Real-Time Systems. Doctoral Thesis, Computer Science, Federal University of Campina Grande, April 2011.

 Emanuela Gadelha CartaxoStrategies for Controlling the Size of Test Suite Generated from MBT Approaches. Doctoral Thesis, Computer Science, Federal University of Campina Grande, January 2011.


 Cássio Leonardo RodriguesAnálise de Cobertura Funcional na Fase de Integração de Blocos de Circuitos Digitais, Doctoral Thesis, Computer Science, Federal University of Campina Grande, March 2010.

 Dalton Dario Serey Guerrero. Redes de Petri Orientadas a Objeto. Doctoral Thesis, Electrical Engineering, Federal University of Paraíba, 2002.