Patricia Duarte de Lima Machado

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

  • Endereço para acessar este CV: http://lattes.cnpq.br/2495918356675019
  • Última atualização do currículo em 17/09/2018


Possui Bacharelado em Ciência da Computação pela Universidade Federal da Paraíba (1992), Mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (1994) e o título de PhD in Computer Science - University of Edinburgh (2000). Atualmente é professora Associada da Universidade Federal de Campina Grande. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Teste Formal, Teste Funcional de Componentes, Teste Baseado em Modelos, Especificações Algébricas, Aplicações com Mobilidade. (Texto informado pelo autor)


Identificação


Nome
Patricia Duarte de Lima Machado
Nome em citações bibliográficas
MACHADO, P. D. L.;Machado, Patrícia D. L.;MACHADO, PATRICIA D. L.;LIMA MACHADO, PATRÍCIA DUARTE;MACHADO, PATRICIA DUARTE DE LIMA;MACHADO, PATRÍCIA D.L.;MACHADO, PATRÍCIA DUARTE DE LIMA;MACHADO, PATRICIA D.L.

Endereço


Endereço Profissional
Universidade Federal de Campina Grande, Centro de Ciências e Tecnologia, Departamento de Sistemas e Computação.
Rua Aprígio Veloso, 882
Bodocongó
58109900 - Campina Grande, PB - Brasil
Telefone: (83) 21015799


Formação acadêmica/titulação


1996 - 2000
Doutorado em PhD in Computer Science.
University of Edinburgh, EDINBURGH, Escócia.
Título: Testing from Structured Algebraic Specification: The Oracle Problem, Ano de obtenção: 2001.
Orientador: Professor Don Sannella.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: formal testing; Algebraic Specification; Formal Verification; oracle problem; Structured Specification; Normalisation.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Informática.
1992 - 1994
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: EASY - Um Ambiente para Simulação de Redes Neurais Artificiais,Ano de Obtenção: 1994.
Orientador: Dr Edson Costa de Barros Carvalho Filho.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Redes Neurais; Especificações Formais; Orientação a Objetos; Simulação; Modelagem.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Métodos Formais Para Desenvolvimento de Software.
Setores de atividade: Informática.
1988 - 1992
Graduação em Bacharelado em Ciência da Computação.
Universidade Federal da Paraíba, UFPB, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.




Formação Complementar


1997 - 1997
Marktoberdorf Summer School On Computational Logic. (Carga horária: 80h).
North Atlantic Treaty Organization, NATO, Bélgica.


Atuação Profissional



Universidade Federal de Campina Grande, UFCG, Brasil.
Vínculo institucional

2017 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professora Titular, Regime: Dedicação exclusiva.

Vínculo institucional

2002 - 2017
Vínculo: , Enquadramento Funcional: Professora Adjunta/Associada, Regime: Dedicação exclusiva.

Atividades

08/2018 - Atual
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Verificação e Validação de Software
08/2016 - Atual
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
TECC (Teste de Software)
01/2011 - Atual
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria dos Grafos
03/2007 - Atual
Pesquisa e desenvolvimento , Departamento de Sistemas e Computação, .

10/2005 - Atual
Pesquisa e desenvolvimento , Centro de Ciências e Tecnologia, Departamento de Sistemas e Computação.

05/2017 - 03/2018
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
TECC (Aplicações de Teoria dos Grafos)
11/2015 - 11/2017
Direção e administração, Coordenação da Pós Graduação Em Informática, .

Cargo ou função
Coordenador.
08/2010 - 12/2016
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Paradigmas de Linguagens de Programação
10/2013 - 10/2015
Conselhos, Comissões e Consultoria, Coordenação da Pós Graduação Em Informática, .

Cargo ou função
Membro do Colegiado.
09/2008 - 12/2010
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software II
03/2009 - 10/2010
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
TEES: Teste Dirigido por Modelos
11/2006 - 12/2009
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software I
08/2008 - 11/2008
Conselhos, Comissões e Consultoria, Departamento de Sistemas e Computação, .

Cargo ou função
Membro de Comissão para elaboração de formato e normas de concurso publico.
6/2005 - 8/2008
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
Complexidade de Algoritmos
03/2002 - 02/2008
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
Verificação de Software
6/2005 - 5/2007
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto em Computação II
08/2002 - 02/2007
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
Projeto em Verificação de Software (TEI)
11/2002 - 10/2005
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Paradigmas de Linguagens de Programação
6/2002 - 4/2005
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software II
4/2003 - 3/2005
Conselhos, Comissões e Consultoria, Centro de Ciências e Tecnologia, Departamento de Sistemas e Computação.

Cargo ou função
Membro de colegiado da Pós-Graduação em Informática.
3/2002 - 3/2005
Conselhos, Comissões e Consultoria, Centro de Ciências e Tecnologia, Departamento de Sistemas e Computação.

Cargo ou função
Membro da Comissão de Bolsas da Pós-Graduação em Informática.
5/2004 - 8/2004
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Programação Funcional
3/2002 - 5/2004
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
Programação Funcional
2/2002 - 2/2004
Pesquisa e desenvolvimento , Centro de Ciências e Tecnologia, Departamento de Sistemas e Computação.

5/2003 - 7/2003
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
TEI (Gerência de Projetos)
TEI (Computação Móvel)
3/2002 - 3/2003
Direção e administração, Centro de Ciências e Tecnologia, Departamento de Sistemas e Computação.

Cargo ou função
Vice-Coordenadora do Programa de Pós-Graduação em Informática.
8/2002 - 12/2002
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
T.E.I. (Desenvolvimento de Software Baseado em Agentes Móveis)
T.E.I. (Projeto em Verificação de Software)

Universidade Federal da Paraíba, UFPB, Brasil.
Vínculo institucional

1995 - 2002
Vínculo: Servidor Público, Enquadramento Funcional: Professora Adjunta, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Com a criação da UFCG, formada por alguns campi da UFPB, passamos a ser lotados na nova universidade.

Vínculo institucional

1995 - 1995
Vínculo: Temporário, Enquadramento Funcional: Professora Assistente, Carga horária: 40

Atividades

1/2002 - 4/2002
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software II
Laboratório de Engenharia de Software
1/2002 - 4/2002
Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.

Atividade de extensão realizada
Ferramentas para Desenvolvimento e Verificação de Aplicações no Domínio de Telecomunicações (PCT - Motorola).
4/2001 - 3/2002
Outras atividades técnico-científicas , Centro de Ciências e Tecnologia - Campus II, Centro de Ciências e Tecnologia - Campus II.

Atividade realizada
Coordenação de Seminários Departamentais.
4/2001 - 2/2002
Direção e administração, Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.

Cargo ou função
Vice-Coordenadora do Curso de Pós-Graduação em Informática/CCT.
4/2001 - 2/2002
Conselhos, Comissões e Consultoria, Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.

Cargo ou função
Membro da Comissão de Bolsas da Pós-Graduação em Informática.
10/1996 - 2/2002
Pesquisa e desenvolvimento , Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.

11/2001 - 12/2001
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Estudos Especiais
10/2001 - 12/2001
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Estudos Especiais
8/2001 - 10/2001
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Verificação de Software
TEI em Métodos Formais
6/2001 - 9/2001
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software II
Paradigmas de Linguagens de Programação
6/2001 - 7/2001
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Programação Funcional
11/2000 - 4/2001
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Paradigmas de Linguagens de Programação
Engenharia de Software II
11/2000 - 4/2001
Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.

Atividade de extensão realizada
Programação para Internet I (PCT - Motorola).
7/2000 - 10/2000
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Programação II
3/1996 - 7/1996
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Banco de Dados
Métodos Computacionais
3/1996 - 7/1996
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Estrutura e Projeto de Linguagens de Programação
5/1996 - 5/1996
Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.

Atividade de extensão realizada
Curso de Especialização/Universidade Federal de Rondônia: Metodologia de Programação.
3/1995 - 5/1996
Pesquisa e desenvolvimento , Departamento de Informática, Departamento de Informática.

8/1995 - 10/1995
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Organização de Dados I
Introdução a Linguagens Formais
Especificação Formal de Software
3/1995 - 7/1995
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise e Projeto de Sistemas II
Princípios de Computação


Linhas de pesquisa


1.
Desenvolvimento de Software baseado em Agentes Móveis

Objetivo: Recentemente, um novo paradigma para a construção de aplicações distribuídas em larga escala tem emergido: agentes móveis. Um agente móvel é uma entidade de software autônoma que é capaz de migrar entre localizações físicas da rede e continuar a sua execução do ponto em que parou antes da sua migração. Até o momento, a maioria das aplicações baseadas em agentes móveis tem sido criada de forma ad-hoc, seguindo pouca ou nenhuma metodologia. Isto se deve ao fato de que os modelos de processos atuais não são suficientes para cobrir todos os aspectos de mobilidade na modelagem, projeto e verificação de tais aplicações. O objetivo é investigar modelos, métodos e técnicas para o desenvolvimento e verificação de aplicações baseadas em agentes móveis..
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Desenvolvimento de Programas (Software).
Palavras-chave: agentes móveis; Análise; Verificação; padrões de projeto.
2.
Ambientes para Simulação de Redes Neurais Artificiais

Objetivo: Desenvolver um ambiente para dar suporte a todas as etapas envolvidas na solução de problemas usando redes neurais artificiais. Especificações formais (MooZ) e orientação a objetos (Smalltalk e Java) foram adotadas na construção de um protótipo deste ambiente a fim de gerar um produto confiável, livre de ambigüidades e inconsistência e no qual novos paradigmas possam ser facilmente incorporados..
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais Para Desenvolvimento de Software.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Informática.
Palavras-chave: Redes Neurais Artificiais; Especificaçoes Formais; Orientação a Objetos; Simulação.
3.
Especificação Formal de Redes Neurais Artificiais

Objetivo: Aplicar especificações formais para modelagem e desenvolvimento formal de software para redes neurais artificiais. Foi construída uma especificação formal em MooZ composta de hierarquias de classes onde novas idéias podem ser incluídas, reutilizando definições previamente incorporadas..
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial / Especialidade: Redes Neurais Artificiais.
Setores de atividade: Informática.
Palavras-chave: Redes Neurais Artificiais; Especificações Formais; Orientação a Objetos.
4.
Reconhecimento Off-line de Assinaturas

Objetivo: Investigar técnicas existentes e novas para reconhecimento off-line de assinaturas, no contexto das abordagens clássicas de reconhecimento de padrões (classificação de dados) e processamento de imagens digitais, juntamente com a abordagem de redes neurais artificiais..
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
Palavras-chave: Redes Neurais Artificiais; Processamento de Imagens; Reconhecimento de Assinaturas.
5.
Teste Formal a partir de Especificações Algébricas de Componentes e Arquiteturas de Software

Objetivo: Com o aumento da complexidade e da dependência de software em diversos segmentos da sociedade, qualidade passa a ser um critério preponderante. Consequentemente, a necessidade de novos métodos de teste efetivos torna-se cada vez mais evidente. Neste contexto, os objetivos centrais desta proposta são: (1) desenvolver fundamentação teórica necessária para que casos de teste, oráculos e conjuntos de dados possam ser gerados de forma adequada e precisa a partir de especificações algébricas, com o intuito de verificar aspectos de funcionalidade e integração de componentes e arquiteturas de software, (2) propor métodos práticos e ferramentas de apoio, com base na fundamentação acima, para especificação, planejamento e execução de teste formal de componentes e arquiteturas de software..
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais Para Desenvolvimento de Software / Especialidade: Teste Formal.
Setores de atividade: Desenvolvimento de Programas (Software).
Palavras-chave: teste formal; especificações algébricas; problema do oráculo.
6.
Teste Funcional de Sistemas Baseados em Componentes: Teoria, Métodos e Ferramentas

Objetivo: Interesse no desenvolvimento de software baseado em componentes tem crescido substancialmente devido à promessa de redução de custos e tempo de desenvolvimento através do reuso. Um dos requisitos para se ter sucesso no reuso de componentes é a verificação adequada de sua funcionalidade. Teste de software é a abordagem clássica e fundamental para verificação e garantia de qualidade. Se usado de forma adequada, pode fornecer indicadores importantes. Apesar de que esforços têm sido empreendidos, métodos efetivos para testar sistemas baseados em componentes ainda precisam ser desenvolvidos. Métodos e técnicas existentes apresentam, em geral, alguns fatores que dificultam sua utilização: baixo potencial para automação; imprecisão e falta de padronização na especificação de contratos; não contextualização de atividades de teste dentro de um processo de desenvolvimento; e cobertura parcial das atividades de teste. O principal objetivo é dar suporte a verificação rigorosa de sistemas baseados em componentes com relação a especificações de funcionalidade em UML (Unified Modelling Language) e RPOO (Redes de Petri Orientadas a Objetos), com base em fundamentação teórica sólida, métodos efetivos, e ferramentas. As principais metas são: (1) Fundamentação teórica - investigação e proposta de soluções para o problema do oráculo e seleção de casos de teste no contexto de sistemas baseados em componentes especificados por uma combinação de UML/RPOO; (2) Proposta de um método semi-automático para teste funcional de componentes especificados em UML/RPOO, com base na fundamentação teórica e em técnicas já existentes; (3) Proposta de um método semi-automático para teste de integração de componentes com relação a requisitos de funcionalidade de um sistema especificados usando UML/RPOO e com base na fundamentação teórica; (4) Realização de estudos de caso para aferição e ajuste dos métodos; e (5) Desenvolvimento de ferramentas..
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais Para Desenvolvimento de Software / Especialidade: Teste Formal.
Setores de atividade: Desenvolvimento de Programas (Software).
Palavras-chave: teste formal; Componentes de Software; UML; Teste de Integração; Automação; Redes de Petri.
7.
Técnicas e Ferramentas para a Validação Rigorosa de Sistemas de Software com Características de Mobilidade

Objetivo: De um ponto de vista macro, o propósito é investigar e desenvolver métodos, notações e ferramentas para auxiliar no desenvolvimento de sistemas de software concorrentes e distribuídos que incorporam conceitos avançados como mobilidade, através de técnicas de modelagem e verificação baseada em redes de Petri e orientação a objetos..
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Desenvolvimento Baseado Em Agentes Móveis.
Palavras-chave: Computação Móvel; Redes de Petri; Verificação de Modelos; teste formal; agentes móveis.
8.
Técnicas e Ferramentas para Teste de Software em Sistemas Embarcados de Tempo Real

Objetivo: O objetivo é investigar modelos, técnicas automáticas de geração de casos de teste e arquiteturas para a execução de casos de teste em sistemas embarcados, com enfoque em aparelhos celulares e sistemas de tempo real..
9.
Teste Dirigido por Modelos

Objetivo: Desenvolver métodos, técnicas e ferramentas para a geração automática de casos de teste com base na teoria e prática de desenvolvimento dirigido por modelos, especialmente, model-driven architecture (MDA)..
10.
Seleção, Redução e Priorização Automática de Conjuntos de Casos de Teste

Objetivo: Investigar algoritmos e desenvolver ferramentas para a seleção, redução e priorização automática de conjuntos de casos de teste baseados em modelos e em código..


Projetos de pesquisa


2014 - 2016
Application of Reproducibility Research with Software Testing Techniques
Descrição: This document proposes collaboration between the Federal University of Campina Grande (UFCG- Brazil) and Dr. Richard Torkar from Chalmers University of Technology (CTH-Sweden) to define methods and provide tool support to develop and reproduce experiments with software testing techniques (STT). The current concern regarding quality of evaluation performed in existing studies revealed the need of methods and tools to assist definition and execution of empirical studies and experiments. Through a Special Visiting Researcher (PVE) fellowship, Dr. Torkar will collaborate with UFCG to develop methods and tools to increase reproducibility of research with (STT). Initially we will investigate meta-empirical studies to determine the reproducible elements of a study and apply these elements to the testing domain. Then, these elements (e.g. methods and artifacts) will be combined into a methodology specifying guidelines and methods to develop reproducible studies with STT. Secondly, we will develop a tool that enables automatic execution and analysis of experiments producing reproducible research compendia as output. The next step is the empirical evaluation of the methodology through experiments to obtain increased reproducibility of studies both in academia and industry. Finally, we will deploy our methodology by providing our tool and documents in repositories for reproducible research compendia. Moreover, studies regarding reproducible research improve our ability to define, execute and evaluate studies, and sharing reproducible compendia increases visibility within the scientific community. Furthermore, our industry partners (e.g. Ericsson, Volvo and Huawei) have shown interest in this research, since more efficient and confident methods can be applied to determine if a STT is appropriate to their needs. We developed this proposal for a 2 year (24 months) project and in collaboration with a post-doctorate student. This proposal presents the objectives, schedule, activities and other specific items established by the public call..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (2) .
Integrantes: Patricia Duarte de Lima Machado - Coordenador / Richard Torkar - Integrante / Francisco Gomes de Oliveira Neto - Integrante.
2013 - 2016
Teste Baseado em Modelos Simbólicos para Sistemas Embarcados de Tempo Real (CNPq Universal)

Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014.
Descrição: Sistemas de tempo real são aqueles cujo correto comportamento não depende somente dos resultados gerados, mas também de quando os resultados são gerados. Muitos desses sistemas são desenvolvidos com propósitos específicos e fortemente acoplados ao hardware e, por isso, são conhecidos como sistemas embarcados de tempo real. Esses sistemas têm se tornado cada vez mais presentes no suporte a execução de atividades críticas, tais como controle, monitoração e tomada de decisões, onde falhas podem resultar em perdas em termos financeiros, ambientais ou humanos. Por isso, confiança é uma importante propriedade que demanda uma aplicação rigorosa das atividades de V & V. O principal objetivo deste projeto é dar suporte ao teste de conformidade, interoperabilidade e robustez no contexto dos sistemas embarcados de tempo real através de uma fundamentação teórica sólida e validação através de teste de software com apoio de ferramentas adequadas. Os resultados obtidos serão aplicados na prática considerando o domínio espacial..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Doutorado: (1) .
Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Wilkerson de Lucena Andrade - Coordenador / Maria de Fátima Mattiello-Francisco - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2011 - 2013
Confiabilidade e Segurança em Software Crítico Embarcado
Descrição: Sistemas Embarcados têm se tornado cada vez mais comuns no suporte a execução de atividades críticas, tais como controle, monitoração e tomada de decisões, onde falhas podem resultar em perdas ou injúrias a pessoas, ao meio ambiente ou a negócios. Tais sistemas se enquadram no quinto grande desafio da SBC que tem como enfoque o desenvolvimento tecnológico de quali\-dade de sistemas. O objetivo deste projeto é prover fundamentação teórica e tecnologia para o desenvolvimento de software crítico embarcado correto e seguro, com base na aplicação de técnicas de modelagem formal, transformação, geração automática, verificação de modelos e validação através de teste de software. Serão considerados aspectos e conceitos tais como abstração, tradução de linguagens, independência de plataforma, verificação de propriedades temporais e análise probabilística. As soluções serão aplicadas, prioritariamente, ao domínio aeronáutico, através de cooperação com a empresa Embraer, e de material de transporte metro-ferroviário, através de uma colaboração com a empresa AeS..
Situação: Concluído; Natureza: Pesquisa.
2011 - 2013
Combinando Redução, Priorização e Localização de Defeitos no Re-Teste Seletivo Baseado em Especificação
Descrição: Teste de Regressão é uma atividade crítica no processo evolutivo de software cujo objetivo é validar modificações introduzidas em partes específicas do software. Usualmente, esta atividade consiste em identificar as partes do software a serem testadas e, com base nesta informação e em conjuntos de casos de testes existentes, selecionar um conjunto reduzido, possivelmente ordenado, de casos de teste que maximize o atendimento de um objetivo. Esta atividade recebe comumente a denominação de re-teste seletivo. O objetivo pode ser tanto a rápida detecção de defeitos quanto a validação do software. O conjunto reduzido é comumente obtido com base em critérios de cobertura, histórico de detecção de defeitos e priorização. Por fim, é comum que seja mantido um histórico dos casos de teste que falharam a fim de utilizar esta informação em etapas posteriores. Diversas estratégias estão presentes na literatura para dar suporte à redução de conjuntos de casos de teste, incluindo os de regressão, com base em análise do código. No entanto, estas técnicas são limitadas quando modificações em requisitos são consideradas, visto que não utilizam informações abstratas, dificultando assim a rastreabilidade e, como consequencia, a escolha adequada de casos de teste. O objetivo deste projeto é investigar e propor técnicas de re-teste seletivo, considerando casos de teste gerados a partir de modelos, com base em modificações realizadas no modelo e que devem ser refletidas no código a ser testado. Para tal, serão consideradas técnicas de valoração e similaridade para redução e ordenação (priorização) de conjuntos de casos de teste, bem como estratégias que facilitem a localização de defeitos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Doutorado: (4) .
Integrantes: Patricia Duarte de Lima Machado - Coordenador.
2009 - 2011
TReaTiES: Test of Real-Time Embedded Systems
Descrição: The cooperation (Programme INRIA "Equipes Associées") is targeted on the use of formal models and techniques for model-based testing of embedded systems. The main objective is to share some knowledge and experience in order to make common advances in this research domain. This cooperation will consider several research directions. Firstly, we aim to investigate models of heterogenous software systems with enlarged features such as non-determinism, recursion, time, interruption and compositionality. Secondly, we aim to focus on testing from partial models by generating them from abstract test cases and observed behavior. The idea is to incorporate incremental learning techniques into a formal validation process. Thirdly, we aim to improve current test case generation techniques by considering semantic rather than structural coverage criteria as well as the conformance relation and model checking coverage criteria. Conformance relations should also be investigated based on failure-divergence on process algebraic models. Additionally, test case generation for conformance testing with the help of diagnosis and controller synthesis is also going to be pursued. Finally, we aim to investigate automated test case selection strategies based on similarity functions. http://www.irisa.fr/vertecs/Treaties.html.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (1) .
Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Paulo Henrique Monteiro Borba - Integrante / Augusto César Alves Sampaio - Integrante / Wilkerson de Lucena Andrade - Integrante / Alexandre Cabral Mota - Integrante / Emanuela Gadelha Cartaxo - Integrante / Flávia Barros - Integrante / Sidney Nogueira - Integrante / Cristiano Bertolini - Integrante / Rohit Gheyi - Integrante / Thierry Jéron - Coordenador / Hervé Marchand - Integrante / Nathalie Bertrand - Integrante / Vlad Rusu - Integrante.Financiador(es): Institut National de Recherche En Informatique - Cooperação.Número de orientações: 1
2009 - Atual
INES: Instituto Nacional de Ciência e Tecnologia para Engenharia de Software
Descrição: (http://www.ines.org.br/) Devido ao cenário atual de falta de produtividade e qualidade em desenvolvimento de software, há uma necessidade urgente de aplicar técnicas de manufatura e princípios de Engenharia de Software para emular os benefícios da manufatura tradicional. Este é o conceito real de ?Fábricas de Software?, onde há um processo de montagem com controle de custo/benefício e preocupação constante com inovação. O INES (Instituto Nacional de Ciência e Tecnologia para Engenharia de Software), sob a Coordenação do Prof. Silvio Meira, da UFPE, tem como tema global promover desenvolvimento de software com altíssima produtividade, aplicando de forma sistemática o conceito de fábrica. Primordialmente, os sistemas desenvolvidos apresentarão, de forma mensurável e configurável, fidedignidade (ou seja, poderemos depender deles sem receio). Em especial, as iniciativas do INES buscarão diminuir de forma radical as taxas de fracasso de projeto, aumentando o nível de satisfação com a qualidade dos produtos entregues, com custo e benefício controlados. Dentro deste contexto, o Instituto determinará e controlará a execução de atividades com metas de curto, médio e longo prazo, coordenando as contribuições das várias instituições e grupos de pesquisa participantes. A área de atuação dos pesquisadores que irão compor o INES, em termos gerais, engloba atividades de definição, viabilização e implantação de fábricas de software efetivas, com foco em alta produtividade e, ao mesmo tempo, fidedignidade mensurável e controlável. De forma específica, pesquisadores atuarão em diversas linhas de pesquisa conectadas em termos do objetivo em comum: (a) reuso sistemático e linhas de produto de software, (b) verificação e validação automática de sistemas, (c) técnicas de evolução e refatoração automáticas, (d) desenvolvimento dirigido por modelos, (e) linguagens de domínio específico, (f) qualidade de software e (g) engenharia de software experimental. O INES já conta c.
Situação: Em andamento; Natureza: Pesquisa.
2008 - 2013
Desenvolvimento de Metodologia, Técnicas e Ferramentas de Engenharia de Software para Aplicações Interativas de TV Digital
Descrição: O objetivo central desse projeto de cooperação científica é promover o intercâmbio entre membros (professores, pesquisadores, doutorandos, mestrandos e alunos de iniciação científica) de grupos de pesquisa atuando na área de TV Digital..
Situação: Concluído; Natureza: Pesquisa.
2007 - 2009
Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real
Descrição: Este projeto tem como enfoque o uso combinado de métodos formais e técnicas de teste baseado em modelos para sistemas embarcados de tempo real. O principal objetivo é compartilhar conhecimentos e experiências para promover avanços conjuntos nesta área de pesquisa. Em particular, procuramos com este projeto promover o desenvolvimento tecnológico de qualidade de sistemas corretos e seguros. O projeto considerará as seguintes direções de pesquisa: (1) investigação de modelos de sistemas de software heterogêneos com características tais como não-determinismo, tempo e interrupção; (2) desenvolvimento de padrões de modelagem para sistemas embarcados utilizando formalismos baseados em estados e processos; (3) proposta de padrões de desenvolvimento baseado em refinamento de modelos baseados em estados e processos; (4) geração automática de código para hardware e software; (5) testes a partir de modelos parciais, considerando sua geração a partir de casos de teste abstratos e comportamento observável; (6) aprimoramento de técnicas atuais para a geração de casos de teste considerando critérios semânticos de cobertura além dos critérios de cobertura estrutural, bem como relações de conformidade pertinentes e critérios de cobertura de verificação de modelos; (7) investigação das relações de conformidade com base em falha e divergência em álgebras de processo; (8) proposta de estratégias para a seleção automática de casos de teste com base em funções de similaridade..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) / Doutorado: (2) .
Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Anamaria Martins Moreira - Integrante / Augusto César Alves Sampaio - Coordenador / David Deharbe - Integrante / Alexandre Cabral Mota - Integrante / Paulo Borba - Integrante / Flávia Barros - Integrante / Franklin Souza Ramalho - Integrante / Marcel Oliveira - Integrante / Juliano Iyoda - Integrante / Marcelo D'Amorim - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.Número de orientações: 2
2005 - 2008
Teste de Aplicações para Disseminação, Captação e Manipulação da Informação em Dispositivos
Descrição: O objetivo central desta proposta é investigar e propor processos e ferramentas para o teste de aplicações voltadas a captação, disseminação e manipulação da informação em dispositivos celulares, com elevado padrão de qualidade, tornando as atividades de teste mais efetivas, com conseqüente aumento de produtividade e redução de custos. Tais aplicações são projetadas para executar em um número muito grande de aparelhos, possivelmente de forma concorrente, requisitando um alto grau de confiabilidade. Para o teste deste tipo de aplicação, é imprescindível considerar estratégias e ferramentas adequadas, considerando que se trata de aplicações com características e limitações peculiares herdadas de sua plataforma de execução, para as quais técnicas e ferramentas convencionais não são diretamente apropriadas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Patricia Duarte de Lima Machado - Integrante / Paulo Henrique Monteiro Borba - Integrante / Augusto César Alves Sampaio - Coordenador / Laísa Helena Oliveira do Nascimento - Integrante / Wilkerson de Lucena Andrade - Integrante / Alexandre Cabral Mota - Integrante / Emanuela Gadelha Cartaxo - Integrante / Alexandre Lins Vasconcelos - Integrante / Flávia Barros - Integrante.
2005 - 2007
DVeritas: Verificação de Modelos RPOO Distribuída
Descrição: O principal objetivo deste projeto é investigar e desenvolver métodos e ferramentas para aliviar o problema da explosão de estados em verificação de modelos. Em particular, desenvolver técnicas para a verificação de modelos distribuída dentro do contexto do Veritas (verificador de modelos RPOO desenvolvido no GMF/DSC/UFCG).
Situação: Concluído; Natureza: Pesquisa.
2004 - 2009
Processo Integrado de Avaliação, Seleção e Geração Automática de Casos de Teste
Descrição: FACEPE/UFPE/MOTOROLA.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Patricia Duarte de Lima Machado - Integrante / Emerson Ferreira de Araújo Lima - Integrante / Paulo Henrique Monteiro Borba - Coordenador / Augusto César Alves Sampaio - Integrante / Wilkerson de Lucena Andrade - Integrante / Alexandre Cabral Mota - Integrante / André Luiz Lima de Figueiredo - Integrante / Laisa Helena Oliveira do Nascimento - Integrante / Emanuela Gadelha Cartaxo - Integrante / Alexandre Lins Vasconcelos - Integrante / Flávia Barros - Integrante.Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Bolsa / Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.
2004 - 2008
Desenvolvimento e Verificação de Aplicações Móveis baseadas em Componentes (CNPq FAPESQ Edital 003/2003 - Vigência 2004-)
Descrição: A nossa proposta consiste em desenvolver métodos, práticos e com boa fundamentação teórica, para serem usados pelo fornecedor e pelo cliente de componentes, que sejam integrados a um processo de desenvolvimento e verificação rigorosa de sistemas com mobilidade baseados em componentes, o que contribui para aumentar a testabilidade dos componentes e do sistema. Componentes poderão representar agentes individuais ou um conjunto de agentes e objetos com um objetivo bem definido. Testabilidade é uma propriedade fundamental que engloba todos os aspectos que tornam possível a elaboração e execução de testes. Consideraremos contratos expressos em RPOO (Redes de Petri Orientadas a Objetos), UML (Unified Modelling Language) e OCL (Object Constraint Language) com extensão para mobilidade. A definição dos métodos será embasada pela investigação e proposta de soluções as questões fundamentais levantadas anteriormente. Para dar suporte a utilização dos métodos, um conjunto integrado de ferramentas será projetado. Estudos de caso serão realizados. Enfim, com métodos práticos e bem definidos, espera-se que desenvolvedores possam verificar sistemas de uma forma mais efetiva, aumentando com isto, as chances de composição e reuso. Os métodos também deverão ser baseados no uso de padrões de projeto de agentes móveis..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Patricia Duarte de Lima Machado - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Apoio à Pesquisa do Estado da Paraíba - Auxílio financeiro.
Número de produções C, T & A: 6 / Número de orientações: 4
2003 - 2005
Técnicas e Ferramentas para a Validação Rigorosa de Sistemas de Software com Características de Mobilidade (CNPq, CTINFO/2002 - Processo 552190/2002-0 - Vigência 2003-2005)
Descrição: O objetivo é investigar e desenvolver métodos, notações e ferramentas para auxiliar no desenvolvimento de sistemas de software concorrentes e distribuídos que incorporam conceitos avançados como mobilidade, através de técnicas de modelagem e verificação baseada em redes de Petri e orientação a objetos. Os objetivos específicos deste projeto de pesquisa podem ser divididos em três partes principais: · Desenvolvimento de ferramentas de modelagem e verificação de sistemas RPOO. · Investigação de métodos e técnicas para a geração de testes a partir de modelos RPOO. · Aplicação no desenvolvimento de software baseado em agentes móveis. Financiamento: CTINFO/2002 - CNPq.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Coordenador / Flávio Ronison Sampaio - Integrante / Vivianne da Nóbrega Medeiros - Integrante / Dalton Dario Serey Guerrero - Integrante / Cidinha Costa Gouveia - Integrante / Emerson Ferreira de Araújo Lima - Integrante / Cássio Leonardo Rodrigues - Integrante / Taciano Morais Silva - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
Número de produções C, T & A: 3 / Número de orientações: 2
2003 - 2005
Verificação de Modelos em Redes de Petri Orientadas a Objetos
Descrição: O objetivo principal deste trabalho é desenvolver técnicas de verificação formal de modelos RPOO, através da análise do espaço de estados. Metas: 1. Identificar e definir uma lógica temporal adequada para expressar propriedades de interesse em RPOO. 2. Especificar e desenvolver técnicas de verificação de modelos RPOO segundo a lógica identificada. 3. Validar os conceitos e as técnicas propostas, através de um estudo de caso..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Patricia Duarte de Lima Machado - Integrante / Jorge César Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2001 - 2002
Teste Formal de Componentes e Arquiteturas a partir de Especificações Algébricas
Descrição: RESUMO: Com o aumento da complexidade e da dependência de software em diversos segmentos da sociedade, qualidade passa a ser um critério preponderante. Consequentemente, a necessidade de novos métodos de teste efetivos torna-se cada vez mais evidente. Neste contexto, os objetivos centrais desta proposta são: 1) desenvolver fundamentação teórica necessaria para que casos de teste, oráculos e conjuntos de dados possam ser gerados de forma adequada e precisa a partir de especificações algébricas, com o intuito de verificar aspecos de funcionalidade e integração de componentes e arquiteturas de software, 2) propor métodos práticos e ferramentas de apoio, com base na fundamenação acima, para especificação, planejamento e execução de teste formal de componentes e arquiteturas de software. RESULTADOS ESPERADOS: Os principais resultados esperados são: 1) tecnologia para a aplicação de teste formal de componentes e arquiteturas de software a partir de uma fundamentação teórica sólida, na forma de definições precisas de conceitos e teoremas ainda não formalizados, que possam ser usados como guia para a solução de problemas, como por exemplo, o problema do oráculo e a seleção de casos de teste; 2) proposta de um método semi-automático de teste formal, juntamente com protótipos de ferramentas de apoio para planejamento de teste geração semi-automática de artefatos; 3) realização de estudos de caso reais para Aferição dos resultados em cooperação com empresas da região: 4) estabelecimento de intercâmbios e cooperações para o desenvolvimento de tecnologia em teste formal de software; 5) contribuição para a formação e capacitação tecnológica dos bolsistas ITI. Financiamento: Kit Recém-Doutor (Enxoval) - Programa ProTem-CC - CNPq - 02/2000 Processo: 68.0096/01-9.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Patricia Duarte de Lima Machado - Coordenador / Kylly Araújo de Oliveira - Integrante / Adriano Laurentino da Silva Pinto - Integrante / Carina Machado de Farias - Integrante / Daniel Lima Barbosa - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 13 / Número de orientações: 4
2001 - 2002
Teste Formal a partir de Especificações Algébricas de Componentes e Arquiteturas de Software
Descrição: Com o aumento da complexidade e da dependência de software em diversos segmentos da sociedade, qualidade passa a ser um critério preponderante. Consequentemente, a necessidade de novos métodos de teste efetivos torna-se cada vez mais evidente. Neste contexto, os objetivos centrais desta proposta são: 1) desenvolver fundamentação teórica necessaria para que casos de teste, oráculos e conjuntos de dados possam ser gerados de forma adequada e precisa a partir de especificações algébricas, com o intuito de verificar aspecos de funcionalidade e integração de componentes e arquiteturas de software, 2) propor métodos práticos e ferramentas de apoio, com base na fundamenação acima, para especificação, planejamento e execução de teste formal de componentes e arquiteturas de software. Financiamento: Edital Universal 01/2001 CNPq Processo: 471388/2001-7.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Patricia Duarte de Lima Machado - Coordenador / Kylly Araújo de Oliveira - Integrante / Adriano Laurentino da Silva Pinto - Integrante / Fabiana Paulino Guedes - Integrante / Carina Machado de Farias - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Daniel Lima Barbosa - Integrante / Flávio Ronison Sampaio - Integrante / Vivianne da Nóbrega Medeiros - Integrante / Dalton Dario Serey Guerrero - Integrante / Cidinha Costa Gouveia - Integrante / Emerson Ferreira de Araújo Lima - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 14 / Número de orientações: 6


Projetos de desenvolvimento


2016 - 2017
DevTelium
Descrição: O objetivo central deste projeto é a criação de um grupo de desenvolvimento e validação de aplicações escritas em C e C++ para plataformas Telium II e Telium Tetra. O grupo deverá investigar e propor um pacote de desenvolvimento para terceiros de acordo com uma arquitetura de referência. Este pacote deverá incluir práticas efetivas de desenvolvimento e validação de software com base na arquitetura. Como exemplo de práticas podemos citar: inspeção de software, análise estática, coleta e análise de métricas, boas práticas de programação segura e métodos de teste unitários. O grupo deverá ainda criar e testar a API fiscal da arquitetura, bem como desenvolver uma aplicação de referência em T+ e Telium Tetra..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Técnico de nível médio: (6) Graduação: (6) .
Integrantes: Patricia Duarte de Lima Machado - Coordenador / Wilkerson de Lucena Andrade - Integrante / ADALBERTO CAJUEIRO DE FARIAS - Integrante.
2014 - 2016
Projeto SATT - Análise Estatística dos Testes de Terminais IngenicoTelium através do TMA CommandMode

Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015.
Descrição: O objetivo é adequar/desenvolver técnicas e ferramentas capazes de testar terminais da Ingenico..
Situação: Concluído; Natureza: Desenvolvimento.
2014 - 2014
Investigação de Novos Cenários para Utilização dos Terminais Ingenico

Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 09/03/2015.
Descrição: Projeto cujo objetivo é investigar novos cenários para utilização dos terminais Ingenico, como possíveis aplicações na educação, negócios, saúde, segurança pública, etc. Como resultado, espera-se identificar potenciais de inovação através da tecnologia da Ingenico e formação de mão-de-obra especializada..
Situação: Concluído; Natureza: Desenvolvimento.
2013 - 2013
Componentização de novos casos de uso de Contactless (NFC) e de Identificação Biométrica (Cooperação de P&D UFCG-Ingenico)

Projeto certificado pelo(a) coordenador(a) Wilkerson de Lucena Andrade em 22/01/2014.
Descrição: Projeto de P&D em cooperação com a Ingenico que tem como objetivos: capacitar mão-de-obra especializada, investigar técnicas para transferência segura de dados e iniciar pesquisa no contexto de desenvolvimento de software embarcado em dispositivos com reconhecimento biométrico e cartões contactless (tecnologia NFC)..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (5) .
Integrantes: Patricia Duarte de Lima Machado - Integrante / Dalton Dario Serey Guerrero - Integrante / Wilkerson de Lucena Andrade - Coordenador / ADALBERTO CAJUEIRO DE FARIAS - Integrante.
2003 - 2004
Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN
Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. Dando continuidade a proposta inicial de implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN? (Integrated Digital Enhanced Network ), o objetivo deste plano de trabalho é investigar o desenvolvimento de aplicações usando a tecnologia. Tal investigação inclui a análise e melhoramento de aplicações existentes, a implantação de um processo de desenvolvimento adequado ao laboratório e o desenvolvimento de uma aplicação piloto. (jul/2003 - dez 2004).
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Patricia Duarte de Lima Machado - Coordenador / Flávio Ronison Sampaio - Integrante / Camilo de Lelis Gondim Medeiros - Integrante / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Rodrigo César Lobo de Oliveira - Integrante / Laísa Helena Oliveira do Nascimento - Integrante.Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro.
2002 - 2003
Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN
Descrição: (Cooperação com a Motorola) iDEN (Integrated Digital Enhanced Network) é um conjunto de soluções sem fio de última geração, introduzido pela Motorola, para permitir o desenvolvimento de aplicações como comércio eletrônico e conferências. Dispositivos portáteis iDEN tem sido usados em um número diverso de aplicações considerando características como portabilidade associada a um sistema de comunicação completo, incluindo rádio, telefone, mensagem, fax, transmissão de dados e acesso a internet. O objetivo deste plano de trabalho é definir a implantação de uma rede de laboratórios de pesquisa e desenvolvimento relacionados à tecnologia iDEN (Integrated Digital Enhanced Network ). (dez 2002 - jun 2003) O projeto tem a duração prevista de (6 MESES). Esta rede de laboratórios será composta pelas seguintes instituições: PUCPR: Pontifícia Universidade Católica do Paraná CESAR: Centro de Estudos e Sistemas Avançados do Recife UFCG: Universidade Federal de Campina Grande A PUCPR, como sendo uma parceira antiga da Motorola atuará como entidade responsável pelo treinamento da unidade mais nova, mais especificamente, a unidade da UFCG. A unidade CESAR já possui capacitação nos seus temas de atuação nos projetos da Motorola..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Patricia Duarte de Lima Machado - Integrante / Camilo de Lelis Gondim Medeiros - Coordenador / Bruno de Brito Leite - Integrante / Luciano de Lima Logrado - Integrante / Ana Emília Victor Barbosa - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Rodrigo César Lobo de Oliveira - Integrante.Financiador(es): Ministério da Ciência, Tecnologia, Inovações e Comunicações - Auxílio financeiro / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Bolsa.


Revisor de periódico


2011 - 2011
Periódico: Theoretical Computer Science (0304-3975)
2006 - 2006
Periódico: Theoretical Computer Science (0304-3975)
2003 - 2003
Periódico: Theoretical Computer Science (0304-3975)
2005 - 2006
Periódico: Journal of the Brazilian Computer Society
2006 - 2006
Periódico: International Journal of Software Engineering and Knowledge Engineering
2013 - 2013
Periódico: Journal of Universal Computer Science
2012 - 2012
Periódico: Journal of Universal Computer Science
2009 - 2009
Periódico: Journal of Universal Computer Science
2013 - 2013
Periódico: IEEE Transactions on Software Engineering
2011 - 2012
Periódico: IEEE Transactions on Software Engineering
2009 - 2009
Periódico: IEEE Transactions on Software Engineering
2012 - 2013
Periódico: Science of Computer Programming (Print)
2014 - 2014
Periódico: The Journal of Systems and Software
2011 - 2012
Periódico: The Journal of Systems and Software
2018 - 2018
Periódico: SOFTWARE QUALITY JOURNAL
2017 - 2017
Periódico: SOFTWARE QUALITY JOURNAL
2015 - 2016
Periódico: SOFTWARE QUALITY JOURNAL
2018 - Atual
Periódico: SOFTWARE TESTING, VERIFICATION AND RELIABILITY
2015 - 2015
Periódico: SOFTWARE TESTING, VERIFICATION AND RELIABILITY


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teste Baseado em Modelos.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais Para Desenvolvimento de Software.


Idiomas


Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Francês
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Italiano
Compreende Bem, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2016
3o Melhor Artigo SAST/CBSoft 2016, SBC.
2013
Melhor Artigo SAST/CBSoft 2013 (Test Suite Reduction based on Similarity of Test Cases), SBC.
2013
Melhor Artigo do SBES'2013 (Simpósio Brasileiro de Engenharia de Software) / CBSOFT - On the Influence of Model Structure and Test Case Profile on the Prioritization of Test Cases in the Context of Mo, SBC.
2012
Melhor Ferramenta de Software CBSoft 2012, SBC.
2011
Melhor Artigo CBSOFT/SAST 2011, SBC.
2004
Melhor Ferramenta de Software do SBES'2004, SBC.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:56
Total de citações:79
Fator H:5
Machado, Patrícia D L  Data: 30/03/2018

SCOPUS
Total de trabalhos:50
Total de citações:287
Machado, Patrícia D. L.  Data: 30/03/2018

Outras
Total de trabalhos:54
Total de citações:582
Patricia D L Machado  Data: 30/03/2018

Artigos completos publicados em periódicos

1.
ALVES, EVERTON L. G.2018ALVES, EVERTON L. G. ; SONG, MYOUNGKYU ; MASSONI, TIAGO ; MACHADO, PATRICIA D. L. ; KIM, MIRYUNG . Refactoring Inspection Support for Manual Refactoring Edits. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v. 44, p. 365-383, 2018.

2.
ALVES, EVERTON L.G.2017 ALVES, EVERTON L.G. ; MASSONI, TIAGO ; MACHADO, PATRÍCIA DUARTE DE LIMA . Test coverage of impacted code elements for detecting refactoring faults: An exploratory study. JOURNAL OF SYSTEMS AND SOFTWARE, v. 123, p. 223-238, 2017.

3.
DAMASCENO, ADRIANA C.2017DAMASCENO, ADRIANA C. ; MACHADO, PATRICIA D. L. ; ANDRADE, WILKERSON L. . Testing real-time systems from compositional symbolic specifications. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (INTERNET), v. 19, p. 53-71, 2017.

4.
BARBOSA, Ana Emília Victor2016BARBOSA, Ana Emília Victor ; CARTAXO, Emanuela Gadelha ; MACHADO, P. D. L. . Analysis of distance functions for similarity-based test suite reduction in the context of model-based testing. Software Quality Journal, v. 24, p. 407-445, 2016.

5.
ALVES, EVERTON L. G.2016ALVES, EVERTON L. G. ; Machado, Patrícia D. L. ; MASSONI, TIAGO ; KIM, MIRYUNG . Prioritizing test cases for early detection of refactoring faults. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 26, p. 402-426, 2016.

6.
Moraes, Alan2016Moraes, Alan ; ANDRADE, WILKERSON L. ; MACHADO, PATRÍCIA D.L. . A family of test selection criteria for Timed Input-Output Symbolic Transition System models. Science of Computer Programming (Print), v. 126, p. 52-72, 2016.

7.
DE OLIVEIRA NETO, FRANCISCO G.2016DE OLIVEIRA NETO, FRANCISCO G. ; TORKAR, RICHARD ; MACHADO, PATRÍCIA D.L. . Full modification coverage through automatic similarity-based test case selection. Information and Software Technology, v. 80, p. 124-137, 2016.

8.
SILVA OURIQUES, JOÃO FELIPE2015SILVA OURIQUES, JOÃO FELIPE ; CARTAXO, Emanuela Gadelha ; LIMA MACHADO, PATRÍCIA DUARTE . Revealing influence of model structure and test case profile on the prioritization of test cases in the context of model-based testing. Journal of Software Engineering Research and Development, v. 3, p. 1-28, 2015.

9.
ROCHA, ANNE CAROLINE O.2015ROCHA, ANNE CAROLINE O. ; RAMALHO, FRANKLIN ; Machado, Patrícia D. L. . Automating test-based inspection of design models. Software Quality Journal (Online), v. 23, p. 3-28, 2015.

10.
ALVES, EVERTON L. G.2014ALVES, EVERTON L. G. ; MACHADO, PATRICIA D. L. ; RAMALHO, FRANKLIN . Automatic generation of built-in contract test drivers. Software & Systems Modeling, v. 13, p. 1141-1165, 2014.

11.
ANDRADE, Wilkerson de Lucena2013 ANDRADE, Wilkerson de Lucena ; MACHADO, PATRICIA D. L. . Generating Test Cases for Real-Time Systems Based on Symbolic Models. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v. 39, p. 1216-1229, 2013.

12.
OLIVEIRA NETO, F. G.2013OLIVEIRA NETO, F. G. ; MACHADO, P. D. L. . Seleção Automática de Casos de Teste de Regressão Baseada em Similaridade e Valores. Revista de Informática Teórica e Aplicada: RITA, v. 20, p. 139-154, 2013.

13.
ANDRADE, WILKERSON L.2012ANDRADE, WILKERSON L. ; Machado, Patrícia D. L. . Testing interruptions in reactive systems. Formal Aspects of Computing, v. 24, p. 331-353, 2012.

14.
CARTAXO, Emanuela Gadelha2011 CARTAXO, Emanuela Gadelha ; MACHADO, PATRICIA D. L. ; Oliveira Neto, Francisco Gomes de . On the use of a similarity function for test case selection in the context of model-based testing. Software Testing, Verification & Reliability, v. 21, p. 75-100, 2011.

15.
MACHADO, P. D. L.;Machado, Patrícia D. L.;MACHADO, PATRICIA D. L.;LIMA MACHADO, PATRÍCIA DUARTE;MACHADO, PATRICIA DUARTE DE LIMA;MACHADO, PATRÍCIA D.L.;MACHADO, PATRÍCIA DUARTE DE LIMA;MACHADO, PATRICIA D.L.2007MACHADO, P. D. L.; SILVA, Daniel Aguiar da ; MOTA, Alexandre Cabral . Towards Property Oriented Testing. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 184, p. 3-19, 2007.

16.
Everton Alves2007Everton Alves ; LIMA, Helton Souza ; MACHADO, P. D. L. . Seleção e Geração de Casos de Teste a partir de Diagramas de Estados Comportamentais UML 2.0. Revista Pesquisa (UFCG), v. 1, p. 741-748, 2007.

17.
BARBOSA, DANIEL L.2007 BARBOSA, DANIEL L. ; LIMA, HELTON S. ; MACHADO, PATRICIA D. L. ; FIGUEIREDO, JORGE C. A. ; JUCÁ, MAKELLI A. ; ANDRADE, WILKERSON L. . AUTOMATING FUNCTIONAL TESTING OF COMPONENTS FROM UML SPECIFICATIONS. International Journal of Software Engineering and Knowledge Engineering, v. 17, p. 339, 2007.

18.
SILVA, Daniel Aguiar da2006SILVA, Daniel Aguiar da ; MACHADO, P. D. L. . Towards Test Purpose Generation from CTL Properties for Reactive Systems. Electronic Notes in Theoretical Computer Science, v. 164, p. 29-40, 2006.

19.
FIGUEIREDO, André Luiz Lima de2006FIGUEIREDO, André Luiz Lima de ; ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. . Generating Interaction Test Cases for Mobile Phone Systems from Use Case Specifications. Software Engineering Notes, v. 31, p. 1-10, 2006.

20.
MACHADO, P. D. L.;Machado, Patrícia D. L.;MACHADO, PATRICIA D. L.;LIMA MACHADO, PATRÍCIA DUARTE;MACHADO, PATRICIA DUARTE DE LIMA;MACHADO, PATRÍCIA D.L.;MACHADO, PATRÍCIA DUARTE DE LIMA;MACHADO, PATRICIA D.L.2005MACHADO, P. D. L.; OLIVEIRA, Elthon Allex da Silva ; BARBOSA, Paulo Eduardo e Silva ; RODRIGUES, Cássio Leonardo . Testing from Structured Algebraic Specifications: The Veritas Case Study. Electronic Notes in Theoretical Computer Science, v. 130, p. 235-261, 2005.

21.
LEITE, Bruno de Brito2005LEITE, Bruno de Brito ; BARBOSA, Ana Emília Victor ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . Automação da Ordenação de Testes de Integração de Classes Baseada em Grafos de Dependência. REIC. Revista Eletrônica de Iniciação Científica, v. 1, n.I, p. 1-20, 2005.

22.
LIMA, Emerson Ferreira de Araújo2004LIMA, Emerson Ferreira de Araújo ; MACHADO, P. D. L. ; SAMPAIO, Flávio Ronison ; FIGUEIREDO, Jorge César Abrantes de . An approach to modelling and applying mobile agent design patterns. Software Engineering Notes, ACM Press, New York, v. 29, n.3, p. 1-8, 2004.

23.
HERBSTER, Raul Fernandes2004HERBSTER, Raul Fernandes ; ANDRADE, Wilkerson de Lucena ; GOMES, Herman Martins ; MACHADO, P. D. L. . O Estado da Arte em Redes Neurais Artificiais Quânticas. REIC. Revista Eletrônica de Iniciação Científica, n.IV, p. 1-15, 2004.

24.
MACHADO, P. D. L.;Machado, Patrícia D. L.;MACHADO, PATRICIA D. L.;LIMA MACHADO, PATRÍCIA DUARTE;MACHADO, PATRICIA DUARTE DE LIMA;MACHADO, PATRÍCIA D.L.;MACHADO, PATRÍCIA DUARTE DE LIMA;MACHADO, PATRICIA D.L.2000MACHADO, P. D. L.. Formal Testing from Structured Algebraic Specifications: Normalisation and the Oracle Problem. Revista de Informática Teórica e Aplicada, Instituto de Informática/UFRGS, v. VII, n.1, p. 89-108, 2000.

25.
CARVALHO, L. C.1991CARVALHO, L. C. ; BARROS, R. V. ; LIMA, A. P. ; MOTTA, G. H. M. B. ; MACHADO, P. D. L. . A Versatile Catheterization Laboratory Data Management System Based on PC-XT Microcomputers. Medical & Biological Engineering & Computing, v. 29, n.2, p. 823, 1991.

26.
CARVALHO, L. C.1990CARVALHO, L. C. ; RICARDO, L. F. ; SOUZA, D. Y. ; MONTEIRO, H. A. ; MACHADO, P. D. L. . Sistema Microcomputadorizado para a Análise Automática do Eletrocardiograma de Esforço. Revista Brasileira de Engenharia. Caderno de Engenharia Biomédica, v. 7, n.1, p. 12-18, 1990.

Livros publicados/organizados ou edições
1.
DING, J. (Org.) ; MACHADO, PATRÍCIA D.L. (Org.) ; ROPER, M. (Org.) . Proceedings of the 12th International Workshop on Automation of Software Testing. 1. ed. IEEE Press, 2017. v. 1.

2.
MACHADO, P. D. L.; Aline Andrade (Org.) ; Adolfo Duran (Org.) . SBMF 2008 - Brazilian Symposium on Formal Methods. 1. ed. SBC, 2008. 233p .

3.
MACHADO, P. D. L.; Simão, Adenilso (Org.) . I Brazilian Workshop on Systematic and Automated Software Testing - SBBD/SBES. SBC, 2007. 97p .

4.
MACHADO, P. D. L.. IX Workshop de Teses em Engenharia de Software. Porto Alegre: Sociedade Brasileira de Computação, 2004. 101p .

5.
CAVALCANTI, Ana Lúcia Caneca (Org.) ; MACHADO, P. D. L. (Org.) . VI Workshop de Métodos Formais. Porto Alegre: Sociedade Brasileira de Computação, 2003. v. 200. 239p .

Capítulos de livros publicados
1.
Machado, Patrícia D. L.; Vicenzi, Auri ; Maldonado, José Carlos . Software Testing: An Overview. In: Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock. (Org.). Testing Techniques in Software Engineering (Lecture Notes in Computer Science). Berlim: Springer, 2010, v. 6153, p. 1-17.

2.
Machado, Patrícia D. L.; SAMPAIO, Augusto César Alves . Automatic Test-Case Generation. In: Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock. (Org.). Testing Techniques in Software Engineering (Lecture Notes in Computer Science). 1ed.Berlim: Springer, 2010, v. 6153, p. 59-103.

Trabalhos completos publicados em anais de congressos
1.
D. Jorge ; MACHADO, PATRÍCIA D.L. ; Everton Alves ; ANDRADE, W. L. . Integrating Requirements Specification and Model-Based Testing in Agile Development. In: IEEE International Requirements Engineering Conference, 2018, Banff. 2018 IEEE 26th International Requirements Engineering Conference. Piscataway: IEEE, 2018. p. 336-346.

2.
I .Paula Silva ; Everton Alves ; MACHADO, PATRÍCIA D.L. . Can automated test case generation cope with extract method validation?. In: Brazilian Symposium on Software Engineering, 2018, São Carlos. SBES '18 Proceedings of the XXXII Brazilian Symposium on Software Engineering. New York: ACM, 2018. p. 152-161.

3.
D. Jorge ; ANDRADE, W. L. ; MACHADO, PATRÍCIA D.L. ; Everton Alves . CLARET - CentraL Artifact for Requirements Engineering and Model-Based Testing. In: 8th Brazilian Conference on Software: Theory and Practice (CBSoft 2017) - 24th Tools Session, 2017, Fortaleza. Anais da Sessão de Ferramentas do Congresso Brasileiro de Software, 2017. p. 41-48.

4.
OURIQUES, JOÃO F. S. ; Cartaxo, Emanuela G. ; Machado, Patrícia D. L. ; NETO, FRANCISCO G. O. ; COUTINHO, ANA E. V. B. . On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques. In: the 1st Brazilian Symposium, 2016, Maringa. Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing - SAST, 2016. p. 1.

5.
ALVES, EVERTON L. G. ; MASSONI, TIAGO ; Machado, Patrícia D. L. . Test coverage and impact analysis for detecting refactoring faults. In: the 30th Annual ACM Symposium, 2015, Salamanca. Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15. p. 1534-1540.

6.
DAMASCENO, ADRIANA CARLA ; MACHADO, PATRICIA DUARTE DE LIMA ; ANDRADE, Wilkerson de Lucena ; TORRES, WESLEY NUNES MARQUES . Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions. In: 2015 IEEE 18th International Symposium on RealTime Distributed Computing (ISORC), 2015, Auckland. 2015 IEEE 18th International Symposium on Real-Time Distributed Computing. p. 228.

7.
Diego Rodrigues Almeida ; Moraes, A ; ANDRADE, W. L. ; MACHADO, P. D. L. . Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems. In: Brazilian Symposium on Formal Methods, 2015, Maceió. Formal Methods: Foundations and Applications (LNCS), 2014. v. 8941. p. 48-63.

8.
D. Jorge ; MACHADO, P. D. L. ; OLIVEIRA NETO, F. G. ; BARBOSA, Ana Emília Victor ; Ouriques, João Felipe . Integrando Teste Baseado em Modelos no Desenvolvimento de uma Aplicação Industrial: Benefícios e Desafios. In: Brazilian Workshop on Systematic and Automated Software Testing, 2014, Maceió. 8th Brazilian Workshop on Systematic and Automated Software Testing (SAST 2014), 2014. p. 101-106.

9.
Everton Alves ; MACHADO, P. D. L. ; Tiago Lima Massoni ; SANTOS, S. T. C. . A Refactoring-Based Approach for Test Case Selection and Prioritization. In: Eighth International Workshop on Automation of Software Test (AST?13), 2013, San Francisco. AST 2013, 2013. p. 93-99.

10.
Oliveira Neto, Francisco Gomes de ; Robert Feldt ; Richard Torkar ; MACHADO, P. D. L. . Searching for Models to Evaluate Software Technology. In: 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013, San Francisco. CMSBSE 2013, 2013. p. 12-15.

11.
BARBOSA, Ana Emília Victor ; CARTAXO, Emanuela Gadelha ; MACHADO, P. D. L. . Test Suite Reduction based on Similarity of Test Cases. In: CBSoft/SAST - Brazilian Workshop on Systematic and Automated Software Testing, 2013, Brasilia. SAST 2013 - Proceedings, 2013.

12.
Everton Alves ; SANTOS, S. T. C. ; MACHADO, P. D. L. ; Tiago Lima Massoni . Test Case Prioritization Using PriorJ. In: CBSoft/SAST - Brazilian Workshop on Systematic and Automated Software Testing, 2013, Brasilia. SAST 2013 - Proceedings, 2013.

13.
Ouriques, João Felipe ; CARTAXO, Emanuela Gadelha ; MACHADO, P. D. L. . On the Influence of Model Structure and Test Case Profile on the Prioritization of Test Cases in the Context of Model-based Testing. In: Simpósio Brasileiro de Engenharia de Software, 2013, Brasília. Anais XXVII Simpósio Brasileiro de Engenharia de Software, 2013. v. 01. p. 134-143.

14.
ANDRADE, W. L. ; Diego Rodrigues Almeida ; CANDIDO, J. B. ; Machado, Patrícia D. L. . SYMBOLRT: A Tool for Symbolic Model-Based Test Case Generation for Real-Time Systems. In: CBSoft Sessão de Ferramentas 2012, 2012, Natal. Ferramentas 2012 - XIX Sessão de Ferramentas, 2012. v. 4. p. 31-37.

15.
Julio Henrique Rocha ; Everton Alves ; Machado, Patrícia D. L. . PriorJ - Priorização Automática de Casos de Teste JUnit. In: CBSoft Sessão de Ferramentas 2012, 2012, Natal. Ferramentas 2012 - XIX Sessão de Ferramentas, 2012. v. 4. p. 44-50.

16.
ANDRADE, J. S. ; ANDRADE, L. R. ; Macedo, Augusto Q. ; ANDRADE, Wilkerson de Lucena ; Machado, Patrícia D. L. . Automating Test Case Creation and Execution for Embedded Real-time Systems. In: CBSoft - VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012, Natal. CBSoft/SAST 2012 - VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012. v. 13. p. 53-62.

17.
ARAUJO, J. D. S. ; CARTAXO, Emanuela Gadelha ; Oliveira Neto, Francisco Gomes de ; Machado, Patrícia D. L. . Controlando a Diversidade e a Quantidade de Casos de Teste na Geração Automática a partir de Modelos com Loop. In: CBSoft - VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012. CBSoft/SAST 2012 - VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado. p. 63-72.

18.
DAMASCENO, A. C. ; ANDRADE, Wilkerson de Lucena ; MACHADO, PATRICIA D. L. . Automatic Test Generation of Compositional Real-Time Systems. In: WTDSoft 2012 - II Workshop de Teses e Dissertações de Engenharia de Software, 2012, Natal. WTDSoft 2012 - II Workshop de Teses e Dissertações de Engenharia de Software, 2012. p. 60-66.

19.
ANDRADE, Wilkerson de Lucena ; Machado, Patrícia D. L. ; Hervé Marchand ; Jéron, Thierry . Abstracting Time and Data for Conformance Testing of Real-Time Systems. In: 7th Workshop on Advances in Model Based Testing - AMOST 2011, 2011, Berlin. IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2011. p. 9-17.

20.
Macedo, Augusto Q. ; ANDRADE, Wilkerson de Lucena ; Machado, Patrícia D. L. . RealTimePCO - A Tool for Real-Time Embedded Systems Testing Execution. In: Sessão de Ferramentas do Congresso Brasileiro de Software - CBSOFT 2011, 2011, São Paulo. Sessão de Ferramentas do Congresso Brasileiro de Software - CBSOFT 2011, 2011.

21.
Oliveira Neto, Francisco Gomes de ; Machado, Patrícia D. L. . WSA-RT: Uma Técnica para a Seleção de Casos de Teste de Regressão baseados na Especificação do Sistema. In: Systematic and Automated Software Testing - SAST 2011, 2011, São Paulo. V Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2011.

22.
ALVES, EVERTON L.G. ; MACHADO, PATRICIA D.L. ; RAMALHO, FRANKLIN . Testing Architectures for Real Time Systems. In: 2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2011, Sao Paulo. 2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse, 2011. p. 120.

23.
ALVES, EVERTON L.G. ; MACHADO, PATRICIA D.L. ; RAMALHO, FRANKLIN . Guidelines for Platform Independent Modeling for Real Time Systems Using UML. In: 2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2011, Sao Paulo. 2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse, 2011. p. 110.

24.
Bertolino, Antonia ; CARTAXO, Emanuela Gadelha ; Machado, Patrícia D. L. ; Marchetti, Eda . Test Suite Reduction in Good Order: Comparing Heuristics from a New Viewpoint. In: IFIP International Conference on Testing Software and Systems, 2010, Natal. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers. Canadá: CRIM, 2010. p. 13-18.

25.
Macedo, Augusto Q. ; ANDRADE, Wilkerson de Lucena ; Rodrigues, Diego ; Machado, Patrícia D. L. . Automating Test Case Execution for Real-Time Embedded Systems. In: IFIP International Conference on Testing Software and Systems, 2010, Natal. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers. Canadá: CRIM, 2010. p. 37-42.

26.
Anne Caroline Oliveira Rocha ; Machado, Patrícia D. L. ; Franklin Ramalho . Automating Inspection of Design Models Guided by Test Cases. In: IFIP International Conference on Testing Software and Systems, 2010, Natal. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers. Canadá: CRIM, 2010. p. 73-78.

27.
Vieira, Andreza ; Franklin Ramalho ; Machado, Patrícia D. L. ; Leal, Fábio . Applying Data Mining Techniques to Semi-Automatically Discover Guidelines for Metamodels. In: I Brazilian Workshop On Model-Driven Development, 2010, Salvador. Proceedings of theI Brazilian Workshop On Model-Driven Development, 2010.

28.
Camila Luna Maciel ; Machado, Patrícia D. L. ; Franklin Ramalho . Automação de Padrões de Teste para a Geração de Casos de Teste de Integração usando MDA. In: VIII Latin-American Conference on Pattern Languages of Programming (SugarLoafPlop 2010), 2010, Salvador. Proceedings of the VIII Latin-American Conference on Pattern Languages of Programming (SugarLoafPlop 2010), 2010. p. 271-290.

29.
Everton Alves ; Macedo, Augusto Q. ; ANDRADE, Wilkerson de Lucena ; Machado, Patrícia D. L. ; Franklin Ramalho . Mapeando Modelos de Teste em UTP para a plataforma FreeRTOS. In: 4th Brazilian Workshop on Systematic and Automated Software Testing, 2010, Natal. Proceedings of 4th Brazilian Workshop on Systematic and Automated Software Testing, 2010. p. 23-32.

30.
Ouriques, João Felipe ; CARTAXO, Emanuela Gadelha ; Machado, Patrícia D. L. . Comparando Técnicas de Priorização de Casos de Teste no Contexto de Teste baseado em Modelos. In: IV Brazilian Workshop on Systematic and Automatic Software Testing (SAST 2010), 2010. Proceedings of the IV Brazilian Workshop on Systematic and Automatic Software Testing (SAST 2010), 2010. p. 69-78.

31.
MACIEL, CAMILA L. ; Machado, Patrícia D. L. ; RAMALHO, FRANKLIN . An integration testing approach based on test patterns and MDA techniques. In: the 8th Latin American Conference, 2010, Salvador. Proceedings of the 8th Latin American Conference on Pattern Languages of Programs - SugarLoafPLoP '10, 2010. p. 1.

32.
ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. ; Everton Alves ; Diego Rodrigues Almeida . Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. In: Brazilian Symposium on Formal Methods, 2009, Gramado. Formal Methods: Foundations and Applications (Lecture Notes in Computer Science. Berlim: Springer, 2009. v. 5902. p. 54-69.

33.
ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. . Interruption Testing of Reactive Systems. In: Brazilian Symposium on Formal Methods, 2009, Gramado. Formal Methods: Foundations and Applications (Lecture Notes in Computer Science). Berlin: Springer, 2009. v. 5902. p. 37-53.

34.
Anne Caroline Oliveira Rocha ; Machado, Patrícia D. L. ; Franklin Ramalho . Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos. In: SBCARS, 2009, Natal. Anais do III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2009). Porto Alegre: Sociedade Brasileira de Computação, 2009. p. 181-194.

35.
Camila Luna Maciel ; MACHADO, P. D. L. ; Franklin Ramalho . Uma Técnica MDT para a Geração Automática de Casos de Teste Usando Padrões de Teste. In: Brazilian Workshop on Systematic and Automated Software Testing (SAST), 2009, Gramado. SAST - 2009 III Brazilian Workshop on Systematic and Automated Software Testing, 2009. p. 1-10.

36.
CARTAXO, Emanuela Gadelha ; Oliveira Neto, Francisco Gomes de ; ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. . LTS-BT: A tool to generate and select functional test cases for embedded systems. In: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. Proceedings of the 23th annual ACM Symposium on Applied Computing 2008, 2008. p. 1540-1544.

37.
FIGUEIREDO, André Luiz Lima de ; MACHADO, P. D. L. ; CARTAXO, Emanuela Gadelha ; FIGUEIREDO, Jorge César Abrantes de ; BARBOSA, Paulo Eduardo e Silva . Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos. In: Workshop de Testes e Tolerância a Falhas, 2008, Rio de Janeiro. Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008), 2008. p. 29-42.

38.
Bertolino, Antonia ; CARTAXO, Emanuela Gadelha ; MACHADO, P. D. L. ; Marchetti, Eda . Weighting Influence of User Behavior in Software Validation. In: 19th International Conference on Database and Expert Systems Application, 2008, Turin. Proceedings of 19th International Conference on Database and Expert Systems Application, 2008. v. 00. p. 495-500.

39.
CARTAXO, Emanuela Gadelha ; MACHADO, P. D. L. ; Oliveira Neto, Francisco Gomes de . Seleção Automática de Casos de Teste Baseada em Função de Similaridade. In: Simpósio Brasileiro de Engenharia de Software, 2008, Campinas. Anais do XXIII Simpósio Brasileiro de Engenharia de Software - SBES 2008, 2008. p. 1-16.

40.
ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. . Modeling and Testing Interruptions in Reactive Systems Using Symbolic Models. In: Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008, Campinas. Anais do 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008. p. 34-43.

41.
Everton Alves ; MACHADO, P. D. L. ; Franklin Ramalho . Uma Abordagem Integrada para Desenvolvimento e Teste Dirigido por Modelos. In: Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008, Campinas. Anais do 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008. p. 74-83.

42.
CARTAXO, Emanuela Gadelha ; Oliveira Neto, Francisco Gomes de ; MACHADO, P. D. L. ; Ouriques, João Felipe . Reducing the Size of Test Cases Based on Similarities. In: Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008, Campinas. Anais do 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008. p. 44-53.

43.
Queiroz, Magno J. S. ; Damásio, Jemerson F. ; MACHADO, P. D. L. . Automating Acceptance Testing of Digital Television Applications with EasyAccept DTV. In: Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008, Campinas. Anais do 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008), 2008. p. 11-20.

44.
ANDRADE, Wilkerson de Lucena ; Oliveira Neto, Francisco Gomes de ; MACHADO, P. D. L. . Geração de Casos de Teste de Interrupção para Aplicações de Celulares. In: VIII Workshop de Teste e Tolerância a Falhas (WTF 2007), 2007, Belém. VIII Workshop de Teste e Tolerância a Falhas (WTF 2007). Porto Alegre: SBC, 2007. v. 1. p. 129-142.

45.
CARTAXO, Emanuela Gadelha ; Oliveira Neto, Francisco Gomes de ; MACHADO, P. D. L. . Test Case Generation by means of UML Sequence Diagrams and Labeled Transition Systems. In: IEEE International Conference on Systems, Man and Cybernetics, 2007, Montreal. Systems, Man and Cybernetics, 2007. ISIC. IEEE International Conference on, 2007. p. 1292-1297.

46.
MACHADO, P. D. L.; ANDRADE, Wilkerson de Lucena . The Oracle Problem for Testing against Quantified Properties. In: First International Workshop on Software Test Evaluation (STEV 2007), 2007, Portland. Quality Software, 2007. QSIC '07. Seventh International Conference on, 2007. v. 00. p. 415-418.

47.
CARTAXO, Emanuela Gadelha ; Oliveira Neto, Francisco Gomes de ; MACHADO, P. D. L. . Automated Test Case Selection Based on a Similarity Function. In: MOTES07 - Model-based Testing - Workshop in conjunction with the 37th Annual Congress of the Gesellschaft fuer Informatik, 2007, Bremen. Lecture Notes in Informatics (LNI) - Proceedings Series of the Gesellschaft fur Informatic (GI), 2007. v. 110. p. 381-386.

48.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de ; LIMA, Emerson Ferreira de Araújo ; BARBOSA, Ana Emília Victor ; LIMA, Helton Souza . Component-Based Integration Testing from UML Interaction Diagrams. In: IEEE International Conference on Systems, Man and Cybernetics, 2007, Montreal. Systems, Man and Cybernetics, 2007. ISIC. IEEE International Conference on, 2007. p. 2679-2686.

49.
NASCIMENTO, Laisa Helena Oliveira Do ; MACHADO, P. D. L. . An Experimental Evaluation of Approaches to Feature Testing in the Mobile Phone Applications Domain. In: Domain-Specific Approaches to Software Test Automation (DoSTA) - Satellite workshop of ESEC/FSE 2007, 2007, Dubrovnik. DOSTA'07 Workshop Proceedings, 2007. p. 27-33.

50.
LIMA, Helton Souza ; Franklin Ramalho ; MACHADO, P. D. L. ; Everton Alves . Automatic Generation of Platform Independent Built-in Contract Testing. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2007), 2007, Campinas. Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2007), 2007.

51.
DUARTE, Alexandre Nóbrega ; CIRNE FILHO, Walfredo Costa ; BRASILEIRO, Francisco Vilar ; MACHADO, P. D. L. . GridUnit: Software Testing on the Grid. In: International Conference on Software Engineering, 2006, Shangai. Proceedings of the 28th International Conference on Software Engineering. New York, NY, USA: ACM Press, 2006. v. 28. p. 779-782.

52.
SILVA, Daniel Aguiar da ; MACHADO, P. D. L. . Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos. In: Worshop de Teste e Tolerância a Falhas, 2006, Curitiba. Worshop de Teste e Tolerância a Falhas - WTF 2006, 2006.

53.
ANDRADE, Wilkerson de Lucena ; LIMA, Helton Souza ; BARBOSA, Daniel Lima ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . Experiência no Uso de Ferramentas Livres para o Teste Funcional de Componentes de Software. In: VI Workshop de Software Livre, 2005, Porto Alegre. fisl6.0, 2005. v. 6. p. 205-210.

54.
DUARTE, Alexandre Nóbrega ; CIRNE FILHO, Walfredo Costa ; BRASILEIRO, Francisco Vilar ; MACHADO, P. D. L. . Using the Computational Grid to Speed up Software Testing. In: Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia, 2005. v. 12. p. 33-38.

55.
MACHADO, P. D. L.; SILVA, Daniel Aguiar da ; MOTA, Alexandre Cabral . Towards Property Oriented Testing. In: Brazilian Symposium on Formal Methods, 2005, Porto Alegre. Brazilian Symposium on Formal Methods - SBMF 2005. Porto Alegre: Sociedade Brasileira de Computação, 2005. v. 2. p. 2-16.

56.
BARBOSA, Daniel Lima ; ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . SPACES - Uma Ferramenta para Teste Funcional de Componentes. In: XI Sessão de Ferramentas - SBES 2004, 2004, Brasília. XI Sessão de Ferramentas. Porto Alegre: Sociedade Brasileira de Computação, 2004. p. 55-61.

57.
BARBOSA, Daniel Lima ; ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . Um Método Automático para a Verificação de Componentes. In: Workshop de Desenvolvimento Baseado em Componentes, 2004, João Pessoa. WDBC 2004, 2004. p. 23-28.

58.
GOUVEIA, Cidinha Costa ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . Uma Estratégia de Teste de Integração de Componentes. In: Workshop de Desenvolvimento Baseado em Componentes, 2004, João Pessoa. WDBC 2004, 2004. p. 63-68.

59.
FIGUEIREDO, André Luiz Lima de ; ALMEIDA, Antonio Jaime Moreira de ; MACHADO, P. D. L. . Identifying and Documenting Test Patterns from Mobile Agent Design. In: 1st International Workshop on Mobility Aware Technologies and Applications, 2004, Florianópolis. Lecture Notes in Computer Science: Mobilty Aware Technologies and Applications, 2004. v. 3284. p. 359-368.

60.
LIMA, Emerson Ferreira de Araújo ; NASCIMENTO, Laisa Helena Oliveira Do ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . Modelagem e Análise de um Sistema de Recuperação de Informação Baseado em Agentes Móveis. In: VI Workshop de Comunicação sem Fio e Computação Móvel, 2004, Fortaleza. WCSF 2004, 2004. p. 171-180.

61.
SILVA, Daniel Aguiar da ; LIMA, Emerson Ferreira de Araújo ; FIGUEIREDO, Jorge César Abrantes de ; MACHADO, P. D. L. . Modelagem e Validação do Protocolo WTLS. In: VI Workshop de Comunicação sem Fio e Computação Móvel, 2004, Fortaleza. WCSF 2004, 2004. p. 108-116.

62.
MACHADO, P. D. L.; OLIVEIRA, Elthon Allex da Silva ; BARBOSA, Paulo Eduardo e Silva ; RODRIGUES, Cássio Leonardo . Algebraic Specification-Based Testing: The Veritas Case Study. In: Simpósio Brasileiro de Métodos Formais, 2004, Recife. SBMF 2004, 2004. p. 166-183.

63.
FARIAS, Carina Machado de ; MACHADO, P. D. L. . Um Método de Teste Funcional para Verificação de Componentes. In: XVII Simpósio Brasileiro de Engenharia de Software, 2003, Manaus. XVII Simpósio Brasileiro de Engenharia de Software. Porto Alegre: Sociedade Brasileira de Computação, 2003. p. 193-208.

64.
OLIVEIRA, Kylly Araújo de ; MACHADO, P. D. L. ; ANDRADE, Wilkerson de Lucena . CASLTEST - Test Case, Test Oracle and Test Data Generation from CASL Specifications. In: XVII Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2003, Manaus. X Sessão de Ferramentas. Porto Alegre: Sociedade Brasileira de Computação, 2003. p. 73-78.

65.
GUEDES, Fabiana Paulino ; MACHADO, P. D. L. ; MEDEIROS, Vivianne da Nóbrega . Developing Mobile Agent-Based Applications. In: XXIX Conferencia Latinoamericana de Informática - CLEI 2003, 2003, La Paz, 2003.

66.
MACHADO, P. D. L.; SANNELLA, Donald T. . Unit Testing for CASL Architectural Specifications. In: Mathematical Foundations of Computer Science, 2002, Warsaw. Mathematical Foundations of Computer Science 2002 / Lecture Notes in Computer Science, 2002. v. 2420. p. 506-518.

67.
MACHADO, P. D. L.; PINTO, A. L. S. ; OLIVEIRA, Kylly Araújo de . Automating Formal Testing from CASL Specifications. In: IV Workshop on Formal Methods - SBES'2001, 2001, Rio de Janeiro. Proceedings of IV WMF - Workshop on Formal Methods, 2001.

68.
GUEDES, Fabiana Paulino ; MACHADO, P. D. L. . Um Modelo para o Desenvolvimento de Aplicações Baseadas em Agentes Móveis. In: WTES, 2001, Rio de Janeiro. Anais do VI Workshop de Teses em Engenharia de Software, 2001. p. 31-34.

69.
MACHADO, P. D. L.. Formal Testing from Structured Algebraic Specifications: Normalisation and the Oracle Problem. In: WMF'2000 - Workshop de Métodos Formais - Evento Integrante SBES'2000, 2000, João Pessoa. III Workshop de Métodos Formais - WMF 2000, 2000. p. 158-169.

70.
MACHADO, P. D. L.. Testing from Structured Algebraic Specifications. In: Algebraic Methodology and Software Technology, 2000, Iowa City. Algebraic Methodology and Software Technology. 8TH INTERNATIONAL CONFERENCE, AMAST 2000 / Lecture Notes in Computer Science, 2000. v. 1816. p. 529-544.

71.
MACHADO, P. D. L.. The Rôle of Normalisation in Testing from Structured Algebraic Specifications. In: 14th International Workshop on Algebraic Development Techniques, 2000, Bonas. Recent Trends in Algebraic Development Techniques / Lecture Notes in Computer Science (Reviewed and Revised Selected Papers), 2000. v. 1827. p. 459-476.

72.
MACHADO, P. D. L.. On Oracles for Interpreting Test Results against Algebraic Specifications. In: Algebraic Methodology and Software Technology, 1999, Manaus. Algebraic Methodology and Software Technology, 7TH INTERNATIONAL CONFERENCE, AMAST / Lecture Notes in Computer Science, 1999. v. 1548. p. 502-518.

73.
MACHADO, P. D. L.. Testing in Stepwise Formal Development. In: I Workshop Brasileiro de Métodos Formais - WMF'98, 1998, Porto Alegre, 1998. p. 123-128.

74.
MACHADO, P. D. L.; CARVALHO FILHO, E. C. B. ; GOMES, Herman Martins . A Toolkit for Neural Network Application Development. In: International Conference on Information Systems, Analysis and Synthesis, 1996, Orlando, 1996. p. 127-134.

75.
GOMES, Herman Martins ; MACHADO, P. D. L. ; CARVALHO FILHO, E. C. B. . Investigation of Techniques for Off-line Signature Recognition. In: International Conference on Information Systems, Analisys and Synthesis, 1996, Orlando, 1996. p. 103-109.

76.
MACHADO, P. D. L.. EASY - Um Ambiente para Desenvolvimento de Aplicações Usando Redes Neurais Artificiais. In: IX Simpósio Brasileiro de Engenharia de Software (Caderno de Ferramentas), 1995, Recife, 1995. p. 459-462.

77.
GOMES, Herman Martins ; MACHADO, P. D. L. ; CARVALHO FILHO, E. C. B. . Detecção de Falsificações Habilidosas na Verificação Estática de Assinaturas Usando MLP Backpropagation. In: II Simpósio Brasileiro de Redes Neurais, 1995, São Carlos, 1995. p. 28-33.

78.
MACHADO, P. D. L.; MEIRA, Sílvio L . On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks. In: Z Users Meeting - The Z Formal Specification Notation, 1995, Limerick. Z Users Meeting - The Z Formal Specification Notation / Lecture Notes in Computer Science, 1995. v. 967.

79.
MACHADO, P. D. L.; CARVALHO FILHO, E. C. B. ; MEIRA, Sílvio L ; GOMES, Herman Martins . EASY - Um Ambiente para Modelagem, Simulação e Análise de Redes Neurais Artificiais. In: I Simpósio Brasileiro de Redes Neurais - I SBRN, evento integrante do XIV Congresso da Sociedade Brasileira de Computação, 1994, Caxambú, 1994. p. 43-48.

80.
MACHADO, P. D. L.; MEIRA, Sílvio L ; CARVALHO FILHO, E. C. B. ; GOMES, Herman Martins . Especificando Redes Neurais Artificiais em MooZ. In: XX Conferencia Latinoamericana de Informatica - PANEL'94, 1994, Campus Estado de México, 1994. p. 313-323.

81.
MACHADO, P. D. L.; CARVALHO FILHO, E. C. B. ; MEIRA, Sílvio L ; GOMES, Herman Martins . EASY - An [E]nvironment for [A]rtificial Neural [SY]stems Simulation. In: Fourth Irish Neural Network Conference - INNC'94, 1994, Dublin, 1994. p. 49-54.

82.
MACHADO, P. D. L.; CARVALHO FILHO, E. C. B. . Requisitos de um Ambiente para Simulação de Redes Neurais Artificiais. In: I Congresso Brasileiro de Redes Neurais - I CBRN, 1994, Itajubá, 1994. p. 113-118.

83.
MACHADO, P. D. L.; MEIRA, Sílvio L ; CARVALHO FILHO, E. C. B. ; GOMES, Herman Martins . Uma Especificação Formal Orientada a Objetos de Redes Neurais Artificiais. In: VIII Simpósio Brasileiro de Engenharia de Software, 1994, Curitiba, 1994. p. 159-173.

84.
CARVALHO, L. C. ; BARROS, R. V. ; LIMA, A. P. ; MOTTA, G. H. M. B. ; MACHADO, P. D. L. . A Versatile Cathetherization Laboratory Data Management System Based on PC-XT Microcomputers. In: World Congress on Medical Physics and Biomedical Engineering, 1991, Kyoto, 1991.

Resumos expandidos publicados em anais de congressos
1.
OLIVEIRA NETO, FRANCISCO G. DE ; TORKAR, RICHARD ; MACHADO, PATRICIA D. L. . An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques. In: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE), 2015, Florence. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015. v. 2. p. 575-578.

2.
SILVA, Daniel Aguiar da ; MACHADO, P. D. L. . Geração de Objetivos de Testes para Sistemas Distribuídos Baseada em Técnicas de Verificação de Modelos. In: Workshop de Teses em Engenharia de Software - WTES'2005, 2005. v. 10. p. 33-38.

3.
BARBOSA, Daniel Lima ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . Automação de Métodos e Técnicas para Teste Funcional de Componentes. In: Workshop de Teses e Dissertações em Qualidade de Software, 2004, Brasília. WTDQS 2004, 2004. p. 1-6.

4.
FIGUEIREDO, André Luiz Lima de ; MACHADO, P. D. L. . Geração Automática de Casos de Teste para Sistemas Baseados em Agentes Móveis. In: Workshop de Teses e Dissertações em Qualidade de Software, 2004, Brasília. WTDQS 2004, 2004. p. 1-6.

5.
LIMA, Emerson Ferreira de Araújo ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . Formalização e Análise de Padrões de Projeto para Agentes Móveis. In: Workshop de Teses em Engenharia de Software - WTES'2003, 2003, Manaus. VIII Workshop de Teste em Engenharia de Software, 2003. p. 47-52.

6.
GOUVEIA, Cidinha Costa ; MACHADO, P. D. L. ; FIGUEIREDO, Jorge César Abrantes de . Teste de Integração para Sistemas Baseados em Componentes. In: Workshop de Teses em Engenharia de Software - WTES'2003, 2003, Manaus. VIII Workshop de Teses em Engenharia de Software. Porto Alegre: Sociedade Brasileira de Computação, 2003. p. 29-34.

7.
MACHADO, P. D. L.. Teste Formal de Componentes e Arquiteturas a partir de Especificações Algébricas. In: I EPA - Encontro de Planejamento e Avaliação do Kit Enxoval Recém-Doutor (em conjunto com SBC'2001), 2002, Fortaleza. Projeto Kit Recém-Doutor - Ação 2001/02 - PROTEM, 2001. v. I. p. 56-59.

8.
FARIAS, Carina Machado de ; MACHADO, P. D. L. . Um Método de Teste Funcional para a Verificação de Componentes. In: VII Workshop de Teses em Engenharia de Software, 2002, Gramado. VII Workshop de Teses em Engenharia de Software - SBES'2002, 2002. v. I. p. 49-52.

Resumos publicados em anais de congressos
1.
ANDRADE, Wilkerson de Lucena ; CARVALHO, G. H. P. ; MACHADO, P. D. L. . Teste Baseado em Modelos para Sistemas de Tempo Real. In: III Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2012), 2012, Natal. CBSoft 2012 - Livro Resumo, 2012. p. 10-10.

2.
MACHADO, P. D. L.; Franklin Ramalho ; LIMA, Helton Souza ; Everton Alves . Integrando Desenvolvimento e Testes Dirigido por Modelos. In: Simpósio Brasileiro de Engenharia de Software (SBES 2007), 2007, João Pessoa. Anais do Simpósio Brasileiro de Engenharia de Software (Outubro de 2007), 2007. p. 438-438.

3.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de ; FIGUEIREDO, André Luiz Lima de ; LIMA, Emerson Ferreira de Araújo . Padrões de Teste para Software Orientado a Objetos. In: Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia. 19o. Simpósio Brasileiro de Engenharia de Software. Porto Alegre: Sociedade Brasileira de Computação, 2005. v. 19. p. 9-9.

4.
MACHADO, P. D. L.; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, Jorge César Abrantes de . Automatic Test Generation. In: Brazilian Symposium on Formal Methods, 2005, Porto Alegre. Brazilian Symposium on Formal Methods - SBMF 2005. Porto Alegre: Sociedade Brasileira de Computação, 2005. v. 2. p. 193-193.

5.
BARBOSA, Daniel Lima ; MACHADO, P. D. L. ; FARIAS, Carina Machado de . Uma Ferramenta de Suporte a Teste Funcional de Software a partir de Modelos UML. In: X Encontro de Iniciação Científica da UFPB, 2002, João Pessoa. X Encontro de Iniciação Científica da UFPB, 2002. v. I.

6.
OLIVEIRA, Kylly Araújo de ; MACHADO, P. D. L. ; PINTO, A. L. S. . CASLTEST - Uma Ferramenta para Geração Automática de Oráculos e Dados de Teste a partir de Especificações Formais em CASL. In: X Encontro de Iniciação Científica da UFPB, 2002, João Pessoa. X Encontro de Iniciação Científica da UFPB, 2002. v. I.

7.
MEDEIROS, Vivianne da Nóbrega ; MACHADO, P. D. L. ; GUEDES, Fabiana Paulino . Desenvolvimento de Aplicações Baseadas em Agentes Móveis. In: X Encontro de Iniciação Científica da UFPB, 2002, João Pessoa. X Encontro de Iniciação Científica da UFPB, 2002. v. I.

8.
SAMPAIO, Flávio Ronison ; MACHADO, P. D. L. ; GOMES, Herman Martins . Easy Neural Network Simulator - Um Ambiente para Modelagem e Simulação de Redes Neurais Artificiais. In: X Encontro de Iniciação Científica da UFPB, 2002, João Pessoa. X Encontro de Iniciação Científica da UFPB, 2002. v. I.

9.
GUEDES, Fabiana Paulino ; MACHADO, P. D. L. . Um Modelo para o Desenvolvimento de Aplicações Baseadas em Agentes Móveis. In: XVI Congresso Nacional de Pós-Graduandos, 2001, Campina Grande. II Encontro de Pós-Graduandos da UFPB, 2001.

10.
PINTO, A. L. S. ; MACHADO, P. D. L. ; OLIVEIRA, Kylly Araújo de . Derivação de Oráculos de Teste a partir de Especificações Algébricas. In: ENIC, 2001, João Pessoa. Anais do IX ENCONTRO DE INICIAÇÃO CIENTÍFICA DA UFPB, 2001.

11.
OLIVEIRA, Kylly Araújo de ; MACHADO, P. D. L. ; PINTO, A. L. S. . Automação de Teste Formal a partir de Especificações Algébricas em CASL. In: ENIC, 2001, João Pessoa. Anais do IX ENCONTRO DE INICIAÇÃO CIENTÍFICA DA UFPB, 2001. p. 37-48.

12.
BARBOSA, Daniel Lima ; MACHADO, P. D. L. . Avaliação de Técnicas de Teste de Componentes de Software. In: ENIC, 2001, João Pessoa. Anais do IX ENCONTRO DE INICIAÇÃO CIENTÍFICA DA UFPB, 2001.

13.
SAMPAIO, Flávio Ronison ; MACHADO, P. D. L. ; GOMES, Herman Martins . Um Ambiente para Modelagem, Simulação e Ensino de Redes Neurais Artificiais. In: ENIC, 2001, João Pessoa. Anais do IX ENCONTRO DE INICIAÇÃO CIENTÍFICA DA UFPB, 2001.

14.
MEDEIROS, Vivianne da Nóbrega ; MACHADO, P. D. L. ; GUEDES, Fabiana Paulino . Desenvolvimento de Aplicações Baseadas em Agentes Móveis - Enfoque no Domínio de Telecomunicações. In: ENIC, 2001, João Pessoa. Anais do IX ENCONTRO DE INICIAÇÃO CIENTÍFICA DA UFPB, 2001.

15.
MACHADO, P. D. L.. Testing from Structured Algebraic Specifications. In: 14th International Workshop on Algebraic Development Techniques, 1999, Château de Bonas. WADT'99, 1999. p. 44-45.

16.
MACHADO, P. D. L.; GOMES, Herman Martins ; CARVALHO FILHO, E. C. B. . EasyJava: Um Ambiente Distribuído para Simulação de Redes Neurais. In: III Simpósio Brasileiro de Redes Neurais, 1996, Recife. Comunicações do III Simpósio Brasileiro de Redes Neurais, 1996.

17.
CARVALHO, L. C. ; BARROS, R. V. ; MOTTA, G. H. M. B. ; LIMA, A. P. ; MACHADO, P. D. L. ; FERREIRA, L. M. . Sistema de Aquisição, Processamento e Gerenciamento de Dados de Cateterismo Cardíaco. In: III Encontro de Linhas de Pesquisa do Centro de Ciências da Saúde, 1991, João Pessoa, 1991. p. 250.

18.
MACHADO, P. D. L.; CARVALHO, L. C. . Processamento Automático do Eletrocardiograma: Determinação dos Pontos Fiduciais. In: III Encontro de Linhas de Pesquisa do Centro de Ciências da Saúde, 1991, João Pessoa, 1991. p. 252.

19.
MACHADO, P. D. L.; MOTTA, G. H. M. B. ; CARVALHO, L. C. . Especificação Formal de Software: Aplicação no Processamento do Eletrocardiograma de Esforço. In: III Encontro de Linhas de Pesquisa do Centro de Ciências da Saúde, 1991, João Pessoa, 1991. p. 255.

Artigos aceitos para publicação
1.
OURIQUES, JOÃO FELIPE S. ; Cartaxo, Emanuela G. ; Machado, Patrícia D. L. . Test case prioritization techniques for model-based testing: a replicated study. SOFTWARE QUALITY JOURNAL, 2018.

Apresentações de Trabalho
1.
MACHADO, P. D. L.; FARIAS, Carina Machado de . Um Método de Teste Funcional para Verificação de Componentes. 2003. (Apresentação de Trabalho/Simpósio).

2.
MACHADO, P. D. L.. CASLTEST: Test Case, Test Oracle and Test Data Generation from CASL Specifications. 2003. (Apresentação de Trabalho/Simpósio).

3.
MACHADO, P. D. L.; LIMA, Emerson Ferreira de Araújo . Padrões de Projeto para Desenvolvimento de Aplicações Baseadas em Agentes Móveis. 2003. (Apresentação de Trabalho/Conferência ou palestra).

4.
MACHADO, P. D. L.. Computação Móvel. 2002. (Apresentação de Trabalho/Conferência ou palestra).

5.
MACHADO, P. D. L.; OLIVEIRA, Kylly Araújo de ; PINTO, A. L. S. . Automating Formal Testing from CASL Specifications. 2001. (Apresentação de Trabalho/Simpósio).

6.
MACHADO, P. D. L.. Formal Testing from Structured Algebraic Specifications: Normalisation and the Oracle Problem. 2000. (Apresentação de Trabalho/Simpósio).

7.
MACHADO, P. D. L.. Testing from Structured Algebraic Specifications. 1999. (Apresentação de Trabalho/Simpósio).

8.
MACHADO, P. D. L.. On Oracles for Interpreting Test Results against Algebraic Specifications. Lecture Notes in Computer Science. 1999. (Apresentação de Trabalho/Conferência ou palestra).

9.
MACHADO, P. D. L.. EASY - Um Ambiente para Desenvolvimento de Aplicações Usando Redes Neurais Artificiais. 1995. (Apresentação de Trabalho/Simpósio).

10.
MACHADO, P. D. L.; CARVALHO FILHO, E. C. B. ; MEIRA, Sílvio L ; GOMES, Herman Martins . EASY - Um Ambiente para Modelagem, Simulação e Análise de Redes Neurais Artificiais. 1994. (Apresentação de Trabalho/Simpósio).

11.
MACHADO, P. D. L.; MEIRA, Sílvio L ; CARVALHO FILHO, E. C. B. . Uma Especificação Formal Orientada a Objetos de Redes Neurais Artificiais. 1994. (Apresentação de Trabalho/Comunicação).

Outras produções bibliográficas
1.
MACHADO, PATRICIA D. L.. Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008), 2012. (Prefácio, Pósfacio/Prefácio)>.


Produção técnica
Programas de computador sem registro
1.
D. Jorge ; MACHADO, PATRÍCIA D.L. ; ANDRADE, W. L. ; Everton Alves . Claret - Central Artifact for Requirements Engineering and Model-Based Testing. 2017.

2.
ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. . SYMBOLRT - SYmbolic Model-Based test case generation toOL for Real-Time systems. 2012.

3.
Everton Alves ; Julio Henrique Rocha ; MACHADO, PATRICIA D. L. . PriorJ - JUnit Test Case Prioritization. 2012.

4.
Macedo, Augusto Q. ; ANDRADE, Wilkerson de Lucena ; Machado, Patrícia D. L. . RealTimePCO - A tool for Real-Time Embedded Systems Testing Execution. 2011.

5.
Everton Alves ; MACHADO, P. D. L. ; Franklin Ramalho . RTTAG - Real-Time Test Architecture Generator. 2011.

6.
Everton Alves ; LIMA, Helton Souza ; Machado, Patrícia D. L. ; Franklin Ramalho . Model-driven Built-In contract Testing (MoBIT). 2010.

7.
CARTAXO, Emanuela Gadelha ; Oliveira Neto, Francisco Gomes de ; ANDRADE, Wilkerson de Lucena ; NASCIMENTO, Laisa Helena Oliveira Do ; MACHADO, P. D. L. . LTS-BT: A tool to Generate and Select Functional Test Cases for Mobile Phone Applications. 2007.

8.

9.
MACHADO, P. D. L.; OLIVEIRA, Kylly Araújo de ; PINTO, A. L. S. . CASLTest - Test Design and Generations from CASL Specifications. 2001.

10.
MACHADO, P. D. L.; GOMES, Herman Martins . EASY - An Environment for Artificial Neural Systems Simulation. 1994.

Trabalhos técnicos
1.
Machado, Patrícia D. L.. Combinando Redução, Priorização e Localização de Defeitos no Re-Teste Seletivo Baseado em Especificação. 2011.

2.
SAMPAIO, Augusto César Alves ; BORBA, Paulo ; MACHADO, P. D. L. ; MOTA, Alexandre Cabral ; MOREIRA, A. M. ; DEHARBE, David ; OLIVEIRA, M. ; BARROS, Flávia ; IYODA, J. ; D'AMORIM, M. ; FIGUEIREDO, Jorge César Abrantes de ; Franklin Ramalho . Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real. 2008.

3.
SAMPAIO, Augusto César Alves ; BORBA, Paulo ; MACHADO, P. D. L. . Teste de Aplicações para Disseminação, Captação e Manipulação da Informação em Dispositivos Celulares. 2005.

4.
MACHADO, P. D. L.. Desenvolvimento e Verificação de Aplicações Móveis baseadas em Componentes. 2004.

5.
FIGUEIREDO, Jorge César Abrantes de ; MACHADO, P. D. L. ; GUERRERO, Dalton Dario Serey . Técnicas e Ferramentas para a Validação Rigorosa de Sistemas de Software com Características de Mobilidade. 2002.

6.
MEDEIROS, Camilo de Lelis Gondim ; MACHADO, P. D. L. . Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN. 2002.

7.
MACHADO, P. D. L.. Teste Formal de Componentes e Arquiteturas a partir de Especificações Algébricas (Kit Recem-Doutor/PROTEM-CC). 2001.

8.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, Dalton Dario Serey . Teste Formal a partir de Especificações Algébricas de Componentes e Arquiteturas de Software (CNPq Edital Universal - 11/ 2001). 2001.

9.
MACHADO, P. D. L.. Testing from Structured Algebraic Specifications: The Oracle Problem. 2000.


Demais tipos de produção técnica
1.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa da The 11th IEEE International Conference on Software Testing, Validation and Verification. 2018. (Membro de Comitê de Programa).

2.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do 20th Brazilian Symposium on Formal Methods. 2017. (Membro de Comitê de Programa).

3.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do Brazilian Symposium on Software Components, Architectures, and Reuse. 2017. (Membro de Comitê de Programa).

4.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do 29th IFIP International Conference on Testing Software and Systems (ICTSS). 2017. (Membro de Comitê de Programa).

5.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do 32nd Annual ACM Symposium on Applied Computing, Software Verification and Testing Track. 2017. (Membro de Comitê de Programa).

6.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do The 12th IEEE/ACM International Workshop on Automation of Software Test. 2017. (Membro de Comitê de Programa).

7.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do 2nd Brazilian Symposium on Systematic and Automated Software Testing. 2017. (Membro de Comitê de Programa).

8.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa da Sessão de Ferramentas do CBSoft - Tools Session. 2017. (Membro de Comitê de Programa).

9.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do 28th IFIP International Conference on Testing Software and Systems. 2016. (Membro de Comitê de Programa).

10.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do Brazilian Symposium on Formal Methods. 2016. (Membro de Comitê de Programa).

11.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do The 11th IEEE/ACM International Workshop on Automation of Software Test. 2016. (Membro de Comitê de Programa).

12.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do Brazilian Symposium on Software Engineering. 2016. (Membro de Comitê de Programa).

13.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa da Sessão de Ferramentas do CBSOFT - Tools Session. 2016. (Membro de Comitê de Programa).

14.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do 1st Brazilian Symposium on Systematic and Automated Software Testing. 2016. (Membro de Comitê de Programa).

15.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do 10th Brazilian Symposium on Software Components, Architectures, and Reuse. 2016. (Membro de Comitê de Programa).

16.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do 27th IFIP International Conference on Testing Software and Systems. 2015. (Membro de Comitê de Programa).

17.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do 18th Brazilian Symposium on Formal Methods. 2015. (Membro de Comitê de Programa).

18.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do Brazilian Symposium on Software Components, Architectures and Reuse. 2015. (Membro de Comitê de Programa).

19.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do The 10th IEEE/ACM International Workshop on Automation of Software Test. 2015. (Membro de Comitê de Programa).

20.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do Brazilian Symposium on Software Engineering. 2015. (Membro de Comitê de Programa).

21.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do ICSE15-NIER International Conference on Software Engineering, New Ideas and Emerging Results. 2015. (Membro de Comitê de Programa).

22.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa da Sessão de Ferramentas do CBSOFT - Tools Session. 2015. (Membro de Comitê de Programa).

23.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do 17th Brazilian Symposium on Formal Methods. 2014. (Membro de Comitê de Programa).

24.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do 8th Brazilian Symposium on Software Components, Architectures and Reuse. 2014. (Membro de Comitê de Programa).

25.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do 9th IEEE/ACM International Workshop on Automation of Software Test. 2014. (Membro de Comitê de Programa).

26.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa do Brazilian Symposium on Software Engineering. 2014. (Membro de Comitê de Programa).

27.
MACHADO, PATRÍCIA D.L.. Membro de Comitê de Programa da Sessão de Ferramentas do CBSOFT - Tools Session. 2014. (Membro de Comitê de Programa).

28.
MACHADO, P. D. L.; ANDRADE, W. L. . Teste Formal de Software. 2013. (Desenvolvimento de material didático ou instrucional - Mini-curso).

29.
MACHADO, P. D. L.. Membro de Comitê de Programa da Sessão de Ferramentas do CBSOFT - Tools Session. 2013. (Membro de Comitê de Programa).

30.
MACHADO, P. D. L.. Membro de Comitê de Programa do Workshop de Teses e Dissertações do CBSoft - WTDSOFT. 2013. (Membro de Comitê de Programa).

31.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. 2013. (Membro de Comitê de Programa).

32.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Engenharia de Software. 2013. (Membro de Comitê de Programa).

33.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2013. (Membro de Comitê de Programa).

34.
MACHADO, P. D. L.. Membro de Comitê de Programa do Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SAST. 2013. (Membro de Comitê de Programa).

35.
MACHADO, P. D. L.. Membro de Comitê de Programa do International Workshop on Automation of Software Test. 2013. (Membro de Comitê de Programa).

36.
MACHADO, P. D. L.. Membro de Comitê de Programa do Workshop de Testes e Tolerância a Falhas. 2013. (Membro de Comitê de Programa).

37.
ANDRADE, Wilkerson de Lucena ; CARVALHO, G. H. P. ; MACHADO, P. D. L. . Model-Based Testing for Real-Time Systems. 2012. (Desenvolvimento de material didático ou instrucional - Tutorial).

38.
Machado, Patrícia D. L.. Science of Computer Programming: Special Issue - Brazilian Symposium on Formal Methods. 2012. (Editoração/Periódico).

39.
MACHADO, PATRICIA D. L.. Membro de Comitê de Programa do 7th International Workshop on Automation of Software Test. 2012. (Membro de Comitê de Programa).

40.
MACHADO, PATRICIA D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2012. (Membro de Comitê de Programa).

41.
Machado, Patrícia D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Engenharia de Software. 2012. (Membro de Comitê de Programa).

42.
Machado, Patrícia D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. 2012. (Membro de Comitê de Programa).

43.
Machado, Patrícia D. L.. Membro de Comitê de Programa do II Workshop de Teses e Dissertações do CBSoft - WTDSOFT. 2012. (Membro de Comitê de Programa).

44.
Machado, Patrícia D. L.. Membro de Comitê de Programa da Sessão de Ferramentas do CBSOFT - Tools Session. 2012. (Membro de Comitê de Programa).

45.
Machado, Patrícia D. L.. Membro de Comitê de Programa do VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SAST. 2012. (Membro de Comitê de Programa).

46.
MACHADO, P. D. L.. Membro de Comitê de Programa do Workshop de Testes e Tolerância a Falhas. 2012. (Membro de Comitê de Programa).

47.
MACHADO, P. D. L.; ANDRADE, Wilkerson de Lucena . Formal Models for Automatic Test Case Generation. 2009. (Desenvolvimento de material didático ou instrucional - Mini-curso).

48.
MACHADO, P. D. L.. Electronic Notes in Theoretical Computer Science: Brazilian Symposium on Formal Methods. 2008. (Editoração/Periódico).

49.
MACHADO, P. D. L.. Relatório Técnico Final. 2008. (Relatório de pesquisa).

50.
MACHADO, P. D. L.; Franklin Ramalho ; LIMA, Helton Souza ; Everton Alves . Integrando Desenvolvimento e Testes Dirigidos por Modelos. 2007. (Desenvolvimento de material didático ou instrucional - Tutorial).

51.
MACHADO, P. D. L.; SAMPAIO, Augusto César Alves . Automatic Test Case Generation. 2007. (Desenvolvimento de material didático ou instrucional - Mini-curso).

52.
MACHADO, P. D. L.; FIGUEIREDO, André Luiz Lima de ; LIMA, Emerson Ferreira de Araújo ; FIGUEIREDO, Jorge César Abrantes de . Padrões de Teste para Software Orientado a Objetos. 2005. (Desenvolvimento de material didático ou instrucional - Tutorial).

53.
MACHADO, P. D. L.; GUERRERO, Dalton Dario Serey ; FIGUEIREDO, Jorge César Abrantes de . Automatic Functional Test Generation. 2005. (Desenvolvimento de material didático ou instrucional - Mini-curso).

54.
CAVALCANTI, Ana Lúcia Caneca ; MACHADO, P. D. L. . Electronic Notes in Theoretical Computer Science: Brazilian Workshop on Formal Methods (WMF) 2003. 2004. (Editoração/Periódico).

55.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de ; LIMA, Emerson Ferreira de Araújo ; SAMPAIO, Flávio Ronison . Padrões de Projeto para Desenvolvimento de Aplicações baseadas em Agentes Móveis. 2003. (Desenvolvimento de material didático ou instrucional - Tutorial).

56.
MACHADO, P. D. L.. II Workshop de Dissertações da COPIN. 2003. (Editoração/Anais).

57.
MACHADO, P. D. L.. Programação Funcional. 2001. (Desenvolvimento de material didático ou instrucional - Curso de Pós-Graduação).

58.
MACHADO, P. D. L.. Engenharia de Software: Desenvolvimento Rigoroso e Melhoria de Processos. 2001. (Desenvolvimento de material didático ou instrucional - Curso de Graduação).

59.
MACHADO, P. D. L.. Paradigmas de Linguagens de Programação. 2001. (Desenvolvimento de material didático ou instrucional - Curso de Graduação).

60.
MACHADO, P. D. L.. Programação para a Internet I. 2001. (Desenvolvimento de material didático ou instrucional - Curso de Extensão).

Demais trabalhos
1.
Machado, Patrícia D. L.. Membro de Comitê de Programa do 6th IEEE/ACM International Workshop on Automation of Software Testing (AST 2011). 2011 (Membro de Comitê de Programa) .

2.
Machado, Patrícia D. L.. Membro de Comitê de Programa do International Colloquium on Theoretical Aspects of Computing (ICTAC 2011). 2011 (Membro de Comitê de Programa) .

3.
Machado, Patrícia D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Engenharia de Software. 2011 (Membro de Comitê de Programa) .

4.
Machado, Patrícia D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. 2011 (Membro de Comitê de Programa) .

5.
Machado, Patrícia D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2011 (Membro de Comitê de Programa) .

6.
Machado, Patrícia D. L.. Membro de Comitê de Programa do 7th Internacional Colloquium on Theoretical Aspects of Computing (ICTAC 2010). 2010 (Membro de Comitê de Programa) .

7.
Machado, Patrícia D. L.. Membro de Comitê de Programa do 22nd IFIP International Conference on Testing Software and Systems. 2010 (Membro de Comitê de Programa) .

8.
Machado, Patrícia D. L.. Membro de Comitê de Programa do 7th International Conference on the Quality of Information and Communications Technology. 2010 (Membro de Comitê de Programa) .

9.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Engenharia de Software. 2010 (Membro de Comitê de Programa) .

10.
Machado, Patrícia D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Métodos Formais. 2010 (Membro de Comitê de Programa) .

11.
Machado, Patrícia D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. 2010 (Membro de Comitê de Programa) .

12.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS). 2009 (Membro de Comitê de Programa) .

13.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Engenharia de Software (SBES). 2009 (Membro de Comitê de Programa) .

14.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Métodos Formais (SBMF). 2009 (Membro de Comitê de Programa) .

15.
MACHADO, P. D. L.. Membro de Comitê de Programa do International Conference on Formal Engineering Methods (ICFEM). 2009 (Membro de Comitê de Programa) .

16.
MACHADO, P. D. L.. Membro de Comitê de Programa do XXXVI Seminário Integrado de Software e Hardware (CSBC/SEMISH). 2009 (Membro de Comitê de Programa) .

17.
MACHADO, P. D. L.. Membro de Comitê de Programa do XXII Concurso de Teses e Dissertações (CSBC/CTD). 2009 (Membro de Comitê de Programa) .

18.
MACHADO, P. D. L.. Special Issue on Software Components, Architectures and Reuse of the Journal of Universal Computer Science (JUCS). 2009 (Avaliador de Artigos) .

19.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS). 2008 (Membro de Comitê de Programa) .

20.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Engenharia de Software (SBES). 2008 (Membro de Comitê de Programa) .

21.
MACHADO, P. D. L.. Membro de Comitê de Programa do Workshop de Testes e Tolerência a Falhas (WTF). 2008 (Membro de Comitê de Programa) .

22.
MACHADO, P. D. L.. Membro de Comitê Diretivo do Simpósio Brasileiro de Métodos Formais (SBMF). 2008 (Membro de Comitê Diretivo) .

23.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Engenharia de Software (SBES). 2007 (Membro de Comitê de Programa) .

24.
MACHADO, P. D. L.. Membro de Comitê de Programa de Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS). 2007 (Membro de Comitê de Programa) .

25.
MACHADO, P. D. L.. Membro de Comitê de Programa do Workshop de Testes e Tolerência a Falhas (WTF). 2007 (Membro de Comitê de Programa) .

26.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Métodos Formais (SBMF). 2007 (Membro de Comitê de Programa) .

27.
MACHADO, P. D. L.. Membro do Comitê Diretivo do Simpósio Brasileiro de Métodos Formais (SBMF). 2007 (Membro do Comitê Diretivo) .

28.
MACHADO, P. D. L.. Avaliador de Artigos do 5th IEEE International Conference on Software Engineering and Formal Methods. 2007 (Avaliador de Artigos) .

29.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Engenharia de Software (SBES). 2006 (Membro de Comitê de Programa) .

30.
MACHADO, P. D. L.. Membro de Comitê de Programa do Workshop de Desenvolvimento Baseado em Componentes (WDBC). 2006 (Membro de Comitê de Programa) .

31.
MACHADO, P. D. L.. Membro de Comitê de Programa do Doctoral Symposium at 28th International Conference on Software Engineering (ICSE). 2006 (Membro de Comitê de Programa) .

32.
MACHADO, P. D. L.. Membro de Comitê de Programa do Workshop de Testes e Tolerância a Falhas (WTF). 2006 (Membro de Comitê de Programa) .

33.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Métodos Formais (SBMF). 2006 (Membro de Comitê de Programa) .

34.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Engenharia de Software (SBES). 2005 (Membro de Comitê de Programa) .

35.
MACHADO, P. D. L.. Membro de Comitê de Programa do Workshop de Testes e Tolerância a Falhas (WTF). 2005 (Membro de Comitê de Programa) .

36.
MACHADO, P. D. L.. Membro de Comitê de Programa do Workshop de Software Livre - WSL (Trilha Nacional). 2005 (Membro de Comitê de Programa) .

37.
MACHADO, P. D. L.. Membro de Comitê de Programa do Simpósio Brasileiro de Métodos Formais (SBMF). 2005 (Membro de Comitê de Programa) .

38.
MACHADO, P. D. L.. Membro de Comitê de Programa do Workshop de Desenvolvimento Baseado em Componentes. 2005 (Membro de Comitê de Programa) .

39.
MACHADO, P. D. L.. Membro do Comitê Diretivo do Simpósio Brasileiro de Métodos Formais. 2004 (Membro do Comitê Diretivo) .

40.
MACHADO, P. D. L.. Membro do Comitê Diretivo do Simpósio Brasileiro de Métodos Formais (SBMF). 2004 (Membro do Comitê Diretivo) .

41.
MACHADO, P. D. L.. Avaliador de Artigos do Theoretical Computer Science - Elsevier (Periódico Indexado Internacional). 2003 (Avaliador de Artigos) .

42.
MACHADO, P. D. L.. Membro de Comitê de Programa do WTF2003 - IV WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS. 2003 (Membro de Comitê de Programa) .

43.
MACHADO, P. D. L.. Membro de Comitê de Programa do VIII Workshop de Teses e Dissertações em Engenharia de Software - WTES 2003. 2003 (Membro de Comitê de Programa) .

44.
MACHADO, P. D. L.. Avaliador de Artigos do Algebraic Methodology and Software Tecnology. 2002 (Avaliador de Artigos) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Franklin Ramalho; FARIAS, ADALBERTO CAJUEIRO; CARVALHO JUNIOR, F. H.; MACHADO, PATRÍCIA D.L.. Participação em banca de Daniel Gondim Ernesto de Melo. Uma Abordagem para Construção das Etapas de Análise de um Compilador. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
MOREIRA, A. M.; MACHADO, P. D. L.. Participação em banca de Viviane de Menezes Ramalho. Geração de Testes a partir de gramáticas: áreas de aplicação. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

3.
MOREIRA, A. M.; Coelho, Roberta de Souza; Machado, Patrícia D. L.. Participação em banca de Ernesto Cid Brasil de Matos. BETA: Uma Ferramenta para Geração de Testes de Unidade a Partir de Especificações B. 2012. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

4.
IYODA, J.; SAMPAIO, Augusto César Alves; Machado, Patrícia D. L.. Participação em banca de Breno Alexandro Ferreira de Miranda. Recommender Systems for Manual Testing. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
de Melo, Ana Cristina Vieira; Reverbel, Francisco Carlos da Rocha; MACHADO, P. D. L.. Participação em banca de Kleber da Silva Xavier. Ambiente de testes utilizando verificação de componentes java com tratamento de exceções. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

6.
MOTA, Alexandre Cabral; MACHADO, P. D. L.; Cavalcante, Ricardo Bastos. Participação em banca de Davi Augusto Gadelha. EvolUniT: Geração e Evolução de Testes de Unidade em Java utilizando Algoritmos Genéticos. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
MOTTA, G. H. M. B.; MACHADO, P. D. L.; Tavares, T. A.. Participação em banca de Ludmila de Almeida Pedrosa. Integrando a Engenharia de Papéis ao Processo eXtreme Programming através do Jogo do Planejamento. 2008. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.

8.
MACHADO, P. D. L.; DEHARBE, David; FIGUEIREDO, Jorge César Abrantes de; GUERRERO, Dalton Dario Serey. Participação em banca de Paulo Eduardo e Silva Barbosa. Verificação Distribuída de Modelos: Investigando o Uso de Grades Computacionais. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

9.
LULA JÚNIOR, Bernardo; Rangel, Eustáquio; MACHADO, P. D. L.; TURNELL, M. F. Q. V.. Participação em banca de Yuska Paola Costa Aguiar. SMILE ? Uma Ferramenta para Geração Automática, Edição e Simulação de Protótipos de Interface do Usuário. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

10.
Simão, Adenilso; FIGUEIREDO, Jorge César Abrantes de; GUERRERO, Dalton Dario Serey; MACHADO, P. D. L.. Participação em banca de Ana Emília Victor Barbosa. Detecção Automática de Violações de Propriedades de Sistemas Concorrentes em Tempo de Execução. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

11.
MACHADO, P. D. L.; de Castro, Jaelson Brelaz; SAUVÉ, J. P.. Participação em banca de Osório Lopes Abath Neto. Desenvolvimento de Software Guiado por Testes de Aceitação Usando EasyAccept. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

12.
BORBA, Paulo Henrique Monteiro; MACHADO, P. D. L.; SAMPAIO, Augusto César Alves. Participação em banca de Rodrigo Teixeira Ramos. Desenvolvimento Rigoroso com UML-RT. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

13.
MACHADO, P. D. L.; COSTA, Evandro de Barros; GUTIERREZ, Maria Del Rosario Girardi; PERKUSICH, Angelo. Participação em banca de Hyggo Oliveira de Almeida. COMPOR - Desenvolvimento de Software para Sistemas Multi-Agentes. 2004. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande.

14.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de; GUERRERO, Dalton Dario Serey; MOTA, Alexandre Cabral. Participação em banca de Cássio Leonardo Rodrigues. Verificação de Modelos em Redes de Petri Orientadas a Objetos. 2004. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande.

15.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de; GUERRERO, Dalton Dario Serey; BORBA, Paulo Henrique Monteiro. Participação em banca de Emerson Ferreira de Araújo Lima. Formalização a Análise de Padrões de Projeto para Agentes Móveis. 2004. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande.

16.
MACHADO, P. D. L.; BORBA, Paulo Henrique Monteiro; SAMPAIO, Augusto César Alves. Participação em banca de Renata Elaine Mesel Kaufman. Modelagem e Análise de Objetos como Processos em CSP: Padrão de Projeto e Estudo de Caso. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

17.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de; GUERRERO, Dalton Dario Serey; DOMÍNGUEZ, A. H.. Participação em banca de José Amâncio Macedo Santos. Suporte à Análise e Verificação de Modelos. 2003. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande.

18.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de; GARCIA, F. P.; MARTINS, Eliane. Participação em banca de Carina Machado de Farias. Um Método de Teste Funcional para Verificação de Componentes. 2003. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande.

19.
PERAÇA, S. E.; MACHADO, P. D. L.; PAULA, V. C. C.; FERNANDES, J. H. C.; MOREIRA, A. M.. Participação em banca de Samantha Escobar Peraça. Arquitetura e Biblioteca para FERUS - apoio Formal à Especificação e Re-Utilização de Componentes de Software. 2002. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

20.
FIGUEIREDO, Jorge César Abrantes de; CANEDO, E. D.; DOMÍNGUEZ, A. H.; MACHADO, P. D. L.. Participação em banca de Edna Dias Canedo. Estudo e Experimentação de uma Linguagem de Modelagem de Sistemas Baseada em Redes de Petri e Orientação a Objetos. 2002. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande.

21.
CABRAL, M. I. C.; ROCHA, F. G.; SOUZA FILHO, G. L.; MACHADO, P. D. L.. Participação em banca de Flávio Gonçalves da Rocha. Implementação e Validação de Componentes de um Ambiente de Simulação para Redes TCP/IP. 2002. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande.

22.
MACHADO, P. D. L.; SAUVÉ, J. P.; BORBA, Paulo Henrique Monteiro. Participação em banca de Fabiana Paulino Guedes. Um Modelo para o Desenvolvimento de Aplicações Baseadas em Agentes Móveis. 2002. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba.

23.
AGUIAR, G. S.; SAUVÉ, J. P.; PENTEADO, R. A. D.; MACHADO, P. D. L.; GARCIA, F. P.. Participação em banca de Glaucimar da Silva Aguiar. Definição e Validação de Refatoramentos de Software em Larga Escala. 2002. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande.

Teses de doutorado
1.
MOREIRA, A. M.; LEUSCHEL, M.; OLIVEIRA, M.; MOTA, Alexandre Cabral; MACHADO, PATRÍCIA D.L.. Participação em banca de Ernesto Cid Brasil de Matos. BETA: Uma Abordagem de Testes Baseada em B. 2016. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.
de Melo, Ana Cristina Vieira; SILVA, F. S. C.; ROCHA, R. L. A.; Valdivino Alexandre Santiago Junior; MACHADO, P. D. L.. Participação em banca de Simone Hanazumi. Geração de Propriedades sobre Programas Java a partir de Objetivos de Teste. 2015. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

3.
MACHADO, PATRÍCIA D.L.; GARCIA, A.; Tiago Lima Massoni; BORBA, Paulo. Participação em banca de Gustavo Araujo Soares. UMA ABORDAGEM AUTOMATIZADA PARA TESTAR FERRAMENTAS DE REFATORAMENTO. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
Simão, Adenilso; BORBA, Paulo Henrique Monteiro; IYODA, J.; MACHADO, PATRICIA D. L.; Rosa, N. S.. Participação em banca de Sidney de Carvalho Nogueira. Test Generation and Compositional Conformance Verification with Input-Output CSP Models. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
BRASILEIRO, Francisco Vilar; CIRNE FILHO, Walfredo Costa; MACHADO, P. D. L.; GUERRERO, Dalton Dario Serey. Participação em banca de Ayla Débora Dantas de Souza Rebouças. Aumentando a Confiança nos Resultados de Testes de Sistemas Multi-threaded: Evitando Asserções Antecipadas e Tardias. 2010. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

6.
Paulo Jorge Leitão Adeodato; Renata Maria Cardoso Rodrigues de Souza; MACHADO, P. D. L.; Manoel Gomes de Mendonça Neto. Participação em banca de Eduardo Henrique da Silva Aranha. Estimating Test Execution Effort Based on the Test Specifications. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
MACHADO, P. D. L.; SAMPAIO, Augusto César Alves; MOURA, Arnaldo Vieira; MOURA, Hermano Perrelli; SANTOS, André Luis de Medeiros; BORBA, Paulo Henrique Monteiro. Participação em banca de Márcio Lopes Cornélio. Refactorings como Refinamentos Formais. 2004. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Qualificações de Doutorado
1.
ALMEIDA, H.; GORGONIO, K.; COSTA, Evandro de Barros; MACHADO, PATRÍCIA D.L.; GUTIERREZ, Maria Del Rosario Girardi; ANDRADE, R. M. C.. Participação em banca de Mirko Barbosa Perkusich. Um Processo baseado em Redes Bayesianas para Avaliação da Aplicação de Scrum em Projetos de Software. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
MOREIRA, A. M.; DEHARBE, David; MACHADO, P. D. L.; LEUSCHEL, M.. Participação em banca de Ernesto Cid Brasil de Matos. BETA: Uma Abordagem de Testes Baseada em B. 2015. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

3.
Rohit Gheyi; VALENTE, M. T.; ALVES, V.; RIBEIRO, M. M.; MACHADO, PATRÍCIA D.L.; ANDRADE, W. L.. Participação em banca de Flávio Mota Medeiros. Strategies to Investigate Preprocessor-Based Bugs and Bad Smells in C Program Families. 2014. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
GARCIA, A.; BORBA, Paulo; Tiago Lima Massoni; Machado, Patrícia D. L.. Participação em banca de Gustavo Araújo Soares. Uma Técnica para Testar Ferramentas de Refactoring. 2012. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
BRASILEIRO, Francisco Vilar; CIRNE FILHO, Walfredo Costa; GUERRERO, Dalton Dario Serey; MACHADO, P. D. L.; Batista, Thais; D'AMORIM, M.. Participação em banca de Ayla Débora Dantas de Souza Rebouças. Aumentando a Confiança nos Resultados de Testes de Sistemas Multi-threaded: Evitando Asserções Antecipadas e Tardias. 2009. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

6.
MACHADO, P. D. L.; Tiago Lima Massoni; Rohit Gheyi; DEHARBE, David. Participação em banca de Wilkerson de Lucena Andrade. Symbolic Testing of Real-Time Systems. 2009. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

7.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de; BORBA, Paulo Henrique Monteiro. Participação em banca de Emanuela Gadelha Cartaxo. Strategies for Controlling the Size of Test Suite Generated from MBT Approaches. 2009. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

8.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de; BORBA, Paulo Henrique Monteiro; PERKUSICH, Angelo; DEHARBE, David. Participação em banca de Sandro Alex Damsceno. Relações Flexíves de Subtipos. 2003. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Campina Grande.

Trabalhos de conclusão de curso de graduação
1.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de; GUERRERO, Dalton Dario Serey. Participação em banca de Ana Emília Victor Barbosa.Ferramenta para Catalogação de Padrões de Teste para Verificação de Sistemas Baseados em Agentes Móveis. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de; GUERRERO, Dalton Dario Serey. Participação em banca de Laisa Helena O do Nascimento.CPAM: Uma ferramenta Web para Catalogação de Padrões de Projeto para Agentes Móveis. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
CUNHA, Joseluce de Farias; MEDEIROS, Camilo de Lelis Gondim; MACHADO, P. D. L.. Participação em banca de Flávio Ronison Sampaio.Gerência e Melhoria de Processos no CDTM. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
PORTELA, L. A.; MACHADO, P. D. L.; NICOLETTI, P. S.; SAUVÉ, J. P.. Participação em banca de Liliane de Araújo Portela.Computer Network Web Document - WEBDOC. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Paraíba.

Outros tipos
1.
MAIA, A. C. J.; SCHIEL, U.; MACHADO, P. D. L.; BAPTISTA, Cláudio de Souza. Participação em banca de Ana Carolina de Jesus Maia. Proposta de Dissertação de Mestrado - COPIN/UFCG: SEI-TUR - Criação de Roteiros Turísticos e de Negócios Utilizando Multi-Agentes e Casamento de Padrões. 2002. Outra participação, Universidade Federal de Campina Grande.

2.
FIGUEIREDO, Jorge César Abrantes de; RODRIGUES, Cássio Leonardo; GUERRERO, Dalton Dario Serey; MACHADO, P. D. L.; LULA JÚNIOR, Bernardo. Participação em banca de Cássio Leonardo Rodrigues. Proposta de Dissertação de Mestrado - COPIN/UFCG: Verificação de Modelos em Redes de Petri Orientadas a Objetos. 2002. Outra participação, Universidade Federal de Campina Grande.

3.
DANTAS, P. L.; MACHADO, P. D. L.; GARCIA, F. P.; MOURA, J. A. B.. Participação em banca de Pasqueline Lacerda Dantas. Proposta de Dissertação de Mestrado - COPIN/UFCG: Especificação de uma ferramenta baseada em agentes para suporte ao desenvolvimento global de software. 2002. Outra participação, Universidade Federal de Campina Grande.

4.
GARCIA, F. P.; FREIRE, V. F. D.; MACHADO, P. D. L.; MOURA, J. A. B.. Participação em banca de Vanessa Farias Dantas Freire. Proposta de Dissertação de Mestrado - COPIN/UFCG: Um Ambiente para Apoio ao Desenvolvimento Virtual de Software Baseado Na Web. 2002. Outra participação, Universidade Federal de Campina Grande.

5.
CANEDO, E. D.; MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de; PERKUSICH, Angelo. Participação em banca de Edna Dias Canedo. Proposta de Dissertação de Mestrado - COPIN/UFPB:Estudo e Validação de uma Linguagem de Modelagem de Sistemas Baseada em Redes de Petri e Orientação a Objetos. 2001. Outra participação, Universidade Federal da Paraíba.

6.
AGUIAR, G. S.; MACHADO, P. D. L.; SAUVÉ, J. P.; GARCIA, F. P.. Participação em banca de Glaucimar da Silva Aguiar. Proposta de Dissertação de Mestrado - COPIN/UFPB: Definição de Refatormanetos de Larga Escala. 2001. Outra participação, Universidade Federal da Paraíba.

7.
SANTOS, J. A. M.; PERKUSICH, Angelo; FIGUEIREDO, Jorge César Abrantes de; MACHADO, P. D. L.. Participação em banca de José Amâncio Macedo Santos. Proposta de Dissertação de Mestrado - COPIN/UFPB: Bibliotecas de Suporte à Simulação de RPOO. 2001. Outra participação, Universidade Federal da Paraíba.

8.
ROCHA, F. G.; MACHADO, P. D. L.; CABRAL, M. I. C.; MELCHER, E. U. K.. Participação em banca de Flávio Gonçalves da Rocha. Proposta de Dissertação de Mestrado - COPIN/UFPB: Implementação, Teste e Validação de um Ambiente de Simulação para Redes TCP/IP Baseado em Componentes. 2001. Outra participação, Universidade Federal da Paraíba.

9.
CORDEIRO, P. B.; MACHADO, P. D. L.; LULA JÚNIOR, Bernardo; TURNELL, M. F. Q. V.. Participação em banca de Pedro Barbosa Cordeiro. Proposta de Dissertação de Mestrado - COPIN/UFPB: Projeto e Implementação do Módulo TAME da Ferramenta iTAOS para Análise e Modelagem da Tarefa. 2001. Outra participação, Universidade Federal da Paraíba.

10.
MEDEIROS, F. P. A.; MACHADO, P. D. L.; LULA JÚNIOR, Bernardo; TURNELL, M. F. Q. V.. Participação em banca de Francisco Petrônio Alencar de Medeiros. Proposta de Dissertação de Mestrado - COPIN/UFPB: Projeto e Implementação do Módulo TAOS GRAPH da Ferramenta iTAOS para Análise e Modelagem da Tarefa. 2001. Outra participação, Universidade Federal da Paraíba.



Participação em bancas de comissões julgadoras
Concurso público
1.
Oliveira, Ulysses S. C.; MACHADO, P. D. L.; Bedregal, Benjamin R. C.. Concurso Público de Provas e Títulos para Ingresso na classe de Prof. Adjunto na Área de Teoria da Computação. 2008. Universidade Federal da Paraíba.

2.
MACHADO, P. D. L.; DOMÍNGUEZ, A. H.; MEDEIROS, Á. F. C.. Concurso Público para Professor Assistente - DSC/UFCG. 2002. Universidade Federal de Campina Grande.

Outras participações
1.
MACHADO, P. D. L.; BRASILEIRO, Francisco Vilar; BAPTISTA, Cláudio de Souza; LULA JÚNIOR, Bernardo. Seleção de Candidatos para o Mestrado em Informática em 2003. 2003. Universidade Federal de Campina Grande.

2.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de; GARCIA, F. P.; BAPTISTA, Cláudio de Souza; BRASILEIRO, Francisco Vilar. Seleção de Candidatos para o Mestrado em Informática em 2003. 2002. Universidade Federal de Campina Grande.

3.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de; BAPTISTA, Cláudio de Souza; CIRNE FILHO, Walfredo Costa. Avaliação de Desempenho Discente. 2002. Universidade Federal de Campina Grande.

4.
MACHADO, P. D. L.; BRASILEIRO, Francisco Vilar; GARCIA, F. P.; BAPTISTA, Cláudio de Souza; FIGUEIREDO, Jorge César Abrantes de. Seleção de Candidatos para o Mestrado em Informática da UFPB (2. Semestre de 2001). 2001. Universidade Federal da Paraíba.

5.
FIGUEIREDO, Jorge César Abrantes de; MACHADO, P. D. L.; LULA JÚNIOR, Bernardo; BAPTISTA, Cláudio de Souza; BRASILEIRO, Francisco Vilar. Seleção de Candidatos para o Mestrado em Informática da UFPB (Primeiro Semestre de 2002). 2001. Universidade Federal da Paraíba.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
XX Brazilian Symposium on Formal Methods. XX Brazilian Symposium on Formal Methods. 2017. (Congresso).

2.
8th Brazilian Workshop on Systematic and Automated Software Testing. What do we know about Software Testing Automation?. 2014. (Congresso).

3.
Pernambuco School on Software Engineering - Testing.Automatic Test Case Generation. 2007. (Outra).

4.
Simpósio Brasileiro de Engenharia de Software (SBES 2007).Integrando Desenvolvimento e Testes Dirigidos por Modelos. 2007. (Simpósio).

5.
Simpósio Brasileiro de Métodos Formais. 2007. (Simpósio).

6.
Simpósio Brasileiro de Métodos Formais.SBMF Panel. 2006. (Simpósio).

7.
Simpósio Brasileiro de Engenharia de Software.Ambientes de Desenvolvimento de Software. 2004. (Simpósio).

8.
Simpósio Brasileiro de Métodos Formais - SBMF 2004.Veritas Case Study. 2004. (Simpósio).

9.
Workshop de Desenvolvimento Baseado em Componentes.Uma Estratégia de Teste de Integração de Componentes. 2004. (Outra).

10.
Opportunities for Research Cooperations in Software Testing.Workshop Brazil-France. 2003. (Outra).

11.
VIII Workshop de Teses e Dissertações em Engenharia de Software.Workshop de Teses e Dissertações em Engenharia de Software. 2003. (Outra).

12.
XVII Simpósio Brasileiro de Engenharia de Software.Simpósio Brasileiro de Engenharia de Software. 2003. (Simpósio).

13.
Simpósio Brasileiro de Engenharia de Software - SBES'2002.Simpósio Brasileiro de Engenharia de Software. 2002. (Simpósio).

14.
Workshop de Métodos Formais - WMF'2002.Workshop de Métodos Formais. 2002. (Outra).

15.
Workshop de Teses em Engenharia de Software - WTES'2002.Workshop de Teses em Engenharia de Software. 2002. (Outra).

16.
I EPA.Encontro de Planejamento e Avaliação do Kit Enxoval Recém-Doutor (Em conjunto com SBC'2001). 2001. (Encontro).

17.
IV Workshop on Formal Methods.Workshop de Métodos Formais. 2001. (Outra).

18.
VI Workshop de Teses em Engenharia de Software.Workshop de Teses em Engenharia de Software. 2001. (Outra).

19.
XV Simpósio Brasileiro de Engenharia de Software.Simpósio Brasileiro de Engenharia de Software. 2001. (Simpósio).

20.
XXI Congresso da Sociedade Brasileira de Computação. Congresso da Sociedade Brasileira de Computação. 2001. (Congresso).

21.
III Workshop de Métodos Formais.Workshop de Métodos Formais. 2000. (Outra).

22.
XIV Simpósio Brasileiro de Engenharia de Software.Simpósio Brasileiro de Engenharia de Software. 2000. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
I. Barley ; Y. Cai ; MACHADO, PATRÍCIA D.L. . COMPSAC 2018 - The 42nd IEEE International Conference on Computers, Software & Application / SETA: Software Engineering Technologies & Applications. 2018. (Congresso).

2.
DING, J. ; MACHADO, PATRÍCIA D.L. ; ROPER, M. . ICSE/AST 2017 - IEEE/ACM International Workshop on Automation of Software Testing. 2017. (Congresso).

3.
DIAS NETO, A. ; MACHADO, PATRÍCIA D.L. . CBSOFT/SAST 2017 - II Simpósio Brasileiro de Software Sistemático e Automatizado. 2017. (Congresso).

4.
MACHADO, P. D. L.. Brazilian Symposium on Formal Methods. 2008. (Congresso).

5.
MACHADO, P. D. L.; Simão, Adenilso . Brazilian Workshop on Systematic and Automated Software Testing (SBBD/SBES - SAST). 2007. (Congresso).

6.
MACHADO, P. D. L.. IX Workshop de Teses e Dissertações em Engenharia de Software - SBES/WTES 2004. 2004. (Congresso).

7.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, Dalton Dario Serey . VI Workshop de Métodos Formais. 2003. (Congresso).

8.
MACHADO, P. D. L.. II Workshop de Dissertações da COPIN. 2003. (Congresso).

9.
MACHADO, P. D. L.; FIGUEIREDO, Jorge César Abrantes de . I Workshop de Dissertações da COPIN. 2002. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Lucas Ribeiro de Andrade. Identicando Fatores que Influenciam a Capacidade de Detecção de Defeitos em uma Suite de Testes. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande. (Orientador).

2.
Wesley Nunes Marques Torres. Critérios para Avaliação de Técnicas de Priorização de Casos de Teste. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande. (Coorientador).

3.
Isabelly Santos Cavalcante. Priorização de Casos de Teste para Validação de Refatoramentos em Ambientes de Integração Contínua. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande. (Coorientador).

Tese de doutorado
1.
Jarbele Cássia da Silva Coutinho. Especificação de Requisitos em Ambientes de Desenvolvimento Ágil de Software. Início: 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande. (Coorientador).

2.
Dalton Nicodemos Jorge. Aprimoramento de Práticas de Automatização de Casos de Teste em Ambientes de Desenvolvimento Ágil de Software. Início: 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

3.
Raphael de Carvalho Muniz. Investigação de Técnicas e Ferramentas para Identificação de Vulnerabilidades em Sistemas Críticos. Início: 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Coorientador).

4.
Diego Rodrigues de Almeida. Teste Funcional de Aplicações Cientes de Contexto. Início: 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Indy Paula Soares Cordeiro e Silva. Avaliando Suites Automaticamente Geradas para Validação de Refatoramentos. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Coorientador: Patricia Duarte de Lima Machado.

2.
Gabriella Mayara Tavares Alves. Automatização de Testes em Equipes Ágeis: Um Estudo Qualitativo Usando Teoria Fundamentada. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Coorientador: Patricia Duarte de Lima Machado.

3.
Dalton Nicodemos Jorge. Um Artefato Central para Engenharia de Requisitos e Teste Baseado em Modelo. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Coorientador: Patricia Duarte de Lima Machado.

4.
Berg Élisson Sampaio Cavalcante. Uma Técnica de Priorização de Casos de Testes para Múltiplas Mudanças Agregadas. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Coorientador: Patricia Duarte de Lima Machado.

5.
Diego Rodrigues de Almeida. Critérios de Geração de Casos de Teste de Sistemas de Tempo Real. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Patricia Duarte de Lima Machado.

6.
Everton Leandro Galdino Alves. Usando MDA para Modelagem e Geração Automática de Arquiteturas e Casos de Teste para Sistemas de Tempo Real. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Patricia Duarte de Lima Machado.

7.
João Felipe Silva Ouriques. Análise Comparativa entre Técnicas de Priorização Geral de Casos de Teste no Contexto do Teste Baseado em Especificação. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Patricia Duarte de Lima Machado.

8.
Anne Caroline Oliveira Rocha. Automação da Técnica de Inspeção Guiada para Conformidade entre Requisitos e Diagramas UML. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

9.
Camila Luna Maciel. Uma Abordagem Dirigida por Modelos para a Geração Automática de Casos de Teste de Integração Usando Padrões de Teste. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Patricia Duarte de Lima Machado.

10.
Francisco Gomes de Oliveira Neto. Uma Avaliação e Investigação Experimental de Técnicas de Re-Teste Seletivo para Teste de Regressão Baseado em Especificação. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Patricia Duarte de Lima Machado.

11.
Makelli Araújo Jucá. Uma Estratégia para a Escrita de Modelos Voltados à Geração Automática de Casos de Teste. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Patricia Duarte de Lima Machado.

12.
Laisa Helena Oliveira do Nascimento. Abordagens para Avaliação Experimental de Teste Baseado em Modelos de Aplicações Reativas. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

13.
Wilkerson de Lucena Andrade. Geração de Casos de Teste de Interação para Aplicações de Celulares. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

14.
Daniel Aguiar da Silva. Geração de Objetivos de Teste para Sistemas Reativos Baseada na Técnica de Verificação de Modelos CTL. 2006. 84 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Patricia Duarte de Lima Machado.

15.
Emanuela Gadelha Cartaxo. Geração de Casos de Teste Funcional para Aplicações de Celulares. 2006. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Patricia Duarte de Lima Machado.

16.
Daniel Lima Barbosa. Um Método Automático de Teste Funcional para a Verificação de Componentes. 2005. 0 f. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Patricia Duarte de Lima Machado.

17.
André Luiz de Lima Figueiredo. Geração Automática de Casos de Teste para Sistemas Baseados em Agentes Móveis. 2005. 185 f. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Patricia Duarte de Lima Machado.

18.
Cidinha Costa Gouveia. Teste de Integraçao para Sistemas Baseados em Componentes. 2004. 0 f. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

19.
Emerson Ferreira de Araújo Lima. Formalização e análise de padrões de projeto para agentes móveis. 2004. 0 f. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Patricia Duarte de Lima Machado.

20.
Carina Machado de Farias. Um Método de Teste Funcional para Verificação de Componentes. 2003. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Patricia Duarte de Lima Machado.

21.
Fabiana Paulino Guedes. Um Modelo para o Desenvolvimento de Aplicações Baseadas em Agentes Móveis. 2002. 146 f. Dissertação (Mestrado em Informática) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Patricia Duarte de Lima Machado.

Tese de doutorado
1.
Alan Kelon Oliveira de Moraes. On the Influence of Test Adequacy Criteria on Test Suite Reduction for Model-Based Testing of Real-Time Systems. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Patricia Duarte de Lima Machado.

2.
João Felipe Silva Ouriques. Investigation of Test Case Prioritization for Model-Based Testing. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

3.
Ana Emília Victor Barbosa. Similarity-based Test Suite Reduction in the Context of Model-based Testing. 2015. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Patricia Duarte de Lima Machado.

4.
Adriana Carla Damasceno. Towards a Test Generation Approach for Compositional Real-Time Systems. 2015. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Patricia Duarte de Lima Machado.

5.
Everton Leandro Galdino Alves. Early Detection of Manual Refactoring Faults. 2015. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Patricia Duarte de Lima Machado.

6.
Francisco Gomes de Oliveira Neto. Investigation of Similarity-based Test Case Selection for Specification-Based Regression Testing. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Patricia Duarte de Lima Machado.

7.
Emanuela Gadelha Cartaxo. Strategies for Controlling the Size of Test Suite Generated from MBT Approaches. 2011. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Patricia Duarte de Lima Machado.

8.
Wilkerson de Lucena Andrade. Symbolic Model-Based Testing for Real-Time Systems. 2011. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Patricia Duarte de Lima Machado.

Trabalho de conclusão de curso de graduação
1.
Everton Leandro Galdino Alves. MAPEAMENTO ENTRE MODELOS UML 2.0 E MODELOS SIMBÓLICOS TEMPORAIS. 2009. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande. Orientador: Patricia Duarte de Lima Machado.

2.
João Felipe Silva Ouriques. Implementação da Etapa Operacional de um Estudo Experimental de Técnicas de Re-teste Seletivo para Teste de Regressão baseado em Especificação. 2009. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande. Orientador: Patricia Duarte de Lima Machado.

3.
Diego Rodrigues de Almeida. Definição de uma Estratégia de Geração de Casos de Teste Baseada em Modelos Simbólicos para Sistemas de Tempo Real. 2009. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande. Orientador: Patricia Duarte de Lima Machado.

4.
Francisco Gomes de Oliveira Neto. Reengenharia da Ferramenta LTS-BT. 2008. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande. Orientador: Patricia Duarte de Lima Machado.

5.
Antonio Jaime Moreira de Almeida. Desenvolvimento de um Sistema para Cálculo de Índices de Conforto Térmico. 2005. 60 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande. Orientador: Patricia Duarte de Lima Machado.

6.
Flávio Ronison Sampaio. Gerência e Melhoria de Processos no CDTM. 2004. 0 f. Trabalho de Conclusão de Curso - Universidade Federal de Campina Grande. Orientador: Patricia Duarte de Lima Machado.

7.
Cleópatra Micheline de Souza Vasconcelos. Desenvolvimento de um Sistema para Controle Administrativo da PRPG/UFPB. 1995. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Paraíba. Orientador: Patricia Duarte de Lima Machado.

8.
Francisco das Chagas Lima Filho. Informatização do HU - Hospital Universitário Lauro Wanderley - UFPB. 1995. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Paraíba. Orientador: Patricia Duarte de Lima Machado.

9.
Sandra de Albuquerque Siebra. Informatização do HU - Hospital Universitário Lauro Wanderley - UFPB. 1995. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Paraíba. Orientador: Patricia Duarte de Lima Machado.

Iniciação científica
1.
Gustavo Nobuhiro Santos Yamaguchi. Seleção Automática de Casos de Teste usando Múltiplos Critérios. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

2.
Igor de Araújo Meira. Priorização Automática de Casos de Teste usando PriorJ. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

3.
Lucas Ribeiro de Andrade. Padrões de Projeto para a Execução Automática de Casos de Teste e Localização de Defeitos para Sistemas de Tempo Real. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

4.
Augusto Queiroz de Macedo. Desenvolvimento de Metodologia, Técnicas e Ferramentas de Engenharia de Software para Aplicações Interativas de TV Digital (Automação de Casos de Teste de Sistemas de Tempo Real). 2012. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

5.
Augusto Queiroz de Macedo. DESENVOLVIMENTO DE ARQUITETURAS PARA A EXECUÇÃO DE CASOS DE TESTE EM SISTEMAS DE TEMPO REAL (Desenvolvimento de Arquiteturas para a Execução de Casos de Teste em Sistemas de Tempo Real). 2011. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

6.
Everton Leandro Galdino Alves. Estendendo o Perfil de Teste U2TP para dar Suporte ao Teste de Software Baseado em Componentes. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

7.
Francisco Gomes de Oliveira Neto. Automação de Teste Funcional de Aplicações para Celulares. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

8.
Everton Leandro Galdino Alves. Teste Dirigido por Modelos: Geração Automática de Casos de Teste a partir de Transformações em Modelos UML. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

9.
João Felipe Silva Ouriques. Implementação de Estratégias para a Seleção de Casos de Teste de Feature. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

10.
Diego Rodrigues de Almeida. Automação de Estratégias para a Geração de Casos de Teste de Interrupção. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

11.
Vinícius Marques Aguiar. Projeto e Implantação de um Ambiente para Desenvolvimento e Gerência de Configuração. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

12.
Helton Souza Lima. Estratégias para a Seleção de Casos de Teste Funcionais para Software Baseado em Componentes. 2007. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

13.
Helton Souza Lima. Automação de Teste Funcional de Componentes Distribuídos e Autônomos a partir de Especificações em UML-RT. 2006. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

14.
Helton Souza Lima. Automação de Teste de Integração de Componentes a partir de Especificações em UML/OCL. 2005. 50 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

15.
Antonio Jaime Moreira de Almeida. Padrões de Teste para a Verificação de Aplicações Baseadas em Agentes Móveis. 2004. 56 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

16.
Wilkerson de Lucena Andrade. Automação de Teste Funcional de Componentes a partir de Especificações em UML/OCL. 2004. 20 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

17.
Kylly Araújo de Oliveira. Derivação de Oráculos de Teste a partir de Especificações Algébricas. 2003. 40 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Paraíba. Orientador: Patricia Duarte de Lima Machado.

18.
Vivianne da Nóbrega Medeiros. PIBIC/UFPB: Desenvolvimento e Verificação de Aplicações Baseadas em Agentes Móveis. 2003. 50 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

19.
Flávio Ronison Sampaio. PIBIC/UFPB: Estudo e Aplicação de Padrões de Projeto para Agentes Móveis. 2003. 50 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

20.
Adriano Laurentino da Silva Pinto. Automação de Teste Formal a partir de Especificações Algébricas. 2002. 45 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

21.
Daniel Lima Barbosa. Avaliação de Técnicas de Teste de Componentes de Software. 2002. 52 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

22.
Flávio Ronison Sampaio. PIBIC/UFPB: Uma Ferramenta para a Geracao Semi-Automatica de Oraculos para Interpretar Resultados de Teste Formal de Software a partir de Especificacoes em CASL. 2002. 60 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

23.
Vivianne da Nóbrega Medeiros. PIBIC/UFPB: Investigacao de Metodos e Tecnicas para Verificacao de Componentes de Software. 2002. 30 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Patricia Duarte de Lima Machado.

Orientações de outra natureza
1.
André Luiz de Lima Figueiredo. Geração de Casos de Teste a partir de Sistemas de Transição Rotulados. 2005. 0 f. Orientação de outra natureza - Universidade Federal de Campina Grande, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Patricia Duarte de Lima Machado.

2.
Ana Emília Victor Barbosa. Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN. 2004. Orientação de outra natureza - Universidade Federal de Campina Grande, Fundação Parque Tecnológico da Paraíba. Orientador: Patricia Duarte de Lima Machado.

3.
Luciano de Lima Logrado. Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN. 2004. Orientação de outra natureza - Universidade Federal de Campina Grande, Fundação Parque Tecnológico da Paraíba. Orientador: Patricia Duarte de Lima Machado.

4.
Bruno de Brito Leite. Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN. 2004. Orientação de outra natureza - Universidade Federal de Campina Grande, Fundação Parque Tecnológico da Paraíba. Orientador: Patricia Duarte de Lima Machado.

5.
Laisa Helena Oliveira do Nascimento. Rede de Laboratórios de Pesquisa e Desenvolvimento em iDEN. 2004. Orientação de outra natureza - Universidade Federal de Campina Grande, Fundação Parque Tecnológico da Paraíba. Orientador: Patricia Duarte de Lima Machado.

6.
Carina Machado de Farias. Estágio Docência na Disciplina Laboratório de Engenharia de Software - Pós-Graduação em Informática. 2002. 0 f. Orientação de outra natureza - Universidade Federal da Paraíba. Orientador: Patricia Duarte de Lima Machado.

7.
Francisco Petrônio Alencar de Medeiros. Estágio Docência na Disciplina Laboratório de Engenharia de Software - Pós-Graduação em Informática. 2002. 0 f. Orientação de outra natureza - Universidade Federal da Paraíba. Orientador: Patricia Duarte de Lima Machado.

8.
José de Castro Neto. Estágio Docência na Disciplina Laboratório de Engenharia de Software - Pós-Graduação em Informática. 2002. 0 f. Orientação de outra natureza - Universidade Federal da Paraíba. Orientador: Patricia Duarte de Lima Machado.

9.
Pedro Barbosa Cordeiro. Estágio Docência na Disciplina Laboratório de Engenharia de Software - Pós-graduação em Informática. 2002. 0 f. Orientação de outra natureza - Universidade Federal da Paraíba. Orientador: Patricia Duarte de Lima Machado.

10.
Vanessa Farias Dantas Freire. Estágio Docência na Disciplina Laboratório de Engenharia de Software - Pós-Graduação em Informática. 2002. Orientação de outra natureza - Universidade Federal da Paraíba. Orientador: Patricia Duarte de Lima Machado.

11.
Fabiana Paulino Guedes. Estágio Docência na Disciplina Engenharia de Software II - Pós-Graduação em Informática. 2001. 0 f. Orientação de outra natureza - Universidade Federal da Paraíba. Orientador: Patricia Duarte de Lima Machado.



Inovação



Programa de computador sem registro
1.
Macedo, Augusto Q. ; ANDRADE, Wilkerson de Lucena ; Machado, Patrícia D. L. . RealTimePCO - A tool for Real-Time Embedded Systems Testing Execution. 2011.

2.
ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. . SYMBOLRT - SYmbolic Model-Based test case generation toOL for Real-Time systems. 2012.

3.
Everton Alves ; Julio Henrique Rocha ; MACHADO, PATRICIA D. L. . PriorJ - JUnit Test Case Prioritization. 2012.


Projetos de pesquisa


Outras informações relevantes


Tem atuado na área de Teste de Software desde 1996, tendo como realizações mais importantes a sua tese de doutorado na University of Edinburgh/UK (2001) e projetos de pesquisa financiados pelo CNPq (com resultados técnicos aprovados), CAPES, FAPESQ, Motorola/BR e INRIA/FR. Os principais resultados obtidos nestes projetos têm sido publicados em anais de eventos e periódicos indexados na área, particularmente nos últimos 15 anos. Atua na área de Engenharia de Software desde 1991 e é responsável por disciplinas na área no DSC/UFCG tanto em nível de graduação quanto de pós-graduação. Tem ativamente orientado alunos de iniciação científica, mestrado e doutorado e participado de eventos nacionais e internacionais como membro e coordenador de comitê de programa, dentre eles SBES, SBMF, SBCARS, SAST, WTF, SEMISH, CTD/CSBC (nacionais) e ICSE Doctoral, ICFEM, ICTAC, LATW (internacionais). Nos últimos anos, tem apresentado tutoriais na área, em eventos como SBES e SBMF, principais eventos da área no Brasil, e em uma escola internacional, PSSE 2007. Possui cooperação direta com grupos na área tanto no Brasil quanto no exterior, particularmente, CIn-UFPE (projetos de pesquisa financiados pelo CNPq e Motorola/BR), SERL/ISTI-Pisa-Itália (orientação conjunta de tese de doutorado ? CNPq/CAPES) e INRIA/IRISA-França (cooperação internacional, em andamento, financiada pelo INRIA da qual foi coordenadora do lado brasileiro). De 2004 a 2009, foi pesquisadora bolsista de projetos técnico-científicos financiados pela Motorola/BR (PaqTC e SOFTEX). Atualmente, atua em projetos financiados pelo CNPq e pela Lei de Informática.



Página gerada pelo Sistema Currículo Lattes em 17/10/2018 às 20:36:21