Doctoral Theses

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

João Arthur Brunet Monteiro. Erosã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 Bittencourt. Habilitando 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 Andrade. Symbolic Model-Based Testing for Real-Time Systems. Doctoral Thesis, Computer Science, Federal University of Campina Grande, April 2011.

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

Andréa Pereira Mendonça. Programação Orientada ao Problema: Uma Metodologia para Entendimento de Problemas e Especificação no Contexto de Ensino de Programação para Iniciantes. Doctoral Thesis, Computer Science, Federal University of Campina Grande, December 2010.

Cássio Leonardo Rodrigues. Aná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.