Wilkerson de Lucena Andrade

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


Wilkerson de Lucena Andrade concluiu a graduação, o mestrado e o doutorado em Ciência da Computação pela Universidade Federal de Campina Grande em 2005, 2007 e 2011, respectivamente. Atualmente é professor adjunto na Universidade Federal de Campina Grande. Já trabalhou na Universidade Estadual da Paraíba e também na Universidade Federal da Paraíba (Campus IV). Atua na área de Ciência da Computação, com ênfase em Engenharia de Software. Em seu currículo Lattes os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Engenharia de Software, Componentes de Software, Automação de Testes, Teste Formal, Teste Baseado em Modelos, Teste de Aplicações para Celulares, Teste de Sistemas de Tempo Real, Computação Quântica, Especificações Algébricas e Software Livre. (Texto informado pelo autor)


Identificação


Nome
Wilkerson de Lucena Andrade
Nome em citações bibliográficas
ANDRADE, W. L.;Andrade, Wilkerson L.

Endereço


Endereço Profissional
Universidade Federal de Campina Grande, Centro de Engenharia Elétrica e Informática.
Rua Aprígio Veloso, 882
Campus Universitário
58429-900 - Campina Grande, PB - Brasil
Telefone: (83) 21011120
URL da Homepage: wilkerson.computacao.ufcg.edu.br


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


2007 - 2011
Doutorado em Ciência da Computação.
Universidade Federal de Campina Grande, UFCG, Brasil.
Título: Teste Baseado em Modelos Simbólicos para Sistemas de Tempo Real, Ano de obtenção: 2011.
Orientador: Patrícia Duarte de Lima Machado.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Teste Formal; Teste Baseado em Modelos; Sistemas de Tempo Real.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Pesquisa e desenvolvimento científico.
2006 - 2007
Mestrado em Ciência da Computação.
Universidade Federal de Campina Grande, UFCG, Brasil.
Título: Geração de Casos de Teste de Interação para Aplicações de Celulares,Ano de Obtenção: 2007.
Orientador: Patrícia Duarte de Lima Machado.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Teste de Interação; Caso de Uso; Automação de Testes.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Desenvolvimento de Programas (Software).
2002 - 2005
Graduação em Ciência da Computação.
Universidade Federal de Campina Grande, UFCG, Brasil.
Orientador: Patrícia Duarte de Lima Machado.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.




Formação Complementar


2007 - 2009
Curso de Francês. (Carga horária: 360h).
Aliança Francesa, AL, Brasil.
2002 - 2006
Curso de Inglês. (Carga horária: 540h).
Centro Cultural Anglo Americano, CCAA/PB, Brasil.


Atuação Profissional



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

2011 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

Vínculo institucional

2010 - 2011
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Regime: Dedicação exclusiva.

Vínculo institucional

2007 - 2011
Vínculo: Outro, Enquadramento Funcional: Estudante de Doutorado

Vínculo institucional

2006 - 2007
Vínculo: Outro, Enquadramento Funcional: Estudante de Mestrado, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2002 - 2005
Vínculo: Outro, Enquadramento Funcional: Estudante de Graduação, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2014 - Atual
Pesquisa e desenvolvimento , Centro de Engenharia Elétrica e Informática, Departamento de Sistemas e Computação.

02/2011 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Estrutura de Dados e Algoritmos
Laboratório de Programação I
Métodos Formais
Programação I
Gestão de Projetos
01/2005 - Atual
Pesquisa e desenvolvimento , Centro de Engenharia Elétrica e Informática, Departamento de Sistemas e Computação.

11/2015 - 11/2017
Direção e administração, Centro de Engenharia Elétrica e Informática, Departamento de Sistemas e Computação.

Cargo ou função
Coordenador de Pesquisa e Extensão do Departamento de Sistemas e Computação.
03/2008 - 08/2017
Pesquisa e desenvolvimento , Centro de Engenharia Elétrica e Informática, Departamento de Sistemas e Computação.

05/2014 - 10/2015
Extensão universitária , Centro de Ciências e Tecnologia, .

Atividade de extensão realizada
Capacitação de micro e pequenas empresas na criação de soluções baseadas em TIC (FAPESQ Redes Digitais).
06/2013 - 05/2014
Direção e administração, Centro de Engenharia Elétrica e Informática, .

Cargo ou função
Assessor do Programa Institucional de Monitoria do Centro de Engenharia Elétrica e Informática.
08/2011 - 05/2013
Direção e administração, Centro de Engenharia Elétrica e Informática, Departamento de Sistemas e Computação.

Cargo ou função
Coordenador de Monitoria do Departamento de Sistemas e Computação.
04/2008 - 02/2009
Estágios , Centro de Engenharia Elétrica e Informática, .

Estágio realizado
Estágio Docência na disciplina Engenharia de Software I (Períodos 2008.1 e 2008.2).
01/2003 - 08/2006
Pesquisa e desenvolvimento , Centro de Engenharia Elétrica e Informática, Departamento de Sistemas e Computação.

04/2003 - 09/2005
Pesquisa e desenvolvimento , Centro de Engenharia Elétrica e Informática, Departamento de Sistemas e Computação.

11/2003 - 12/2004
Outras atividades técnico-científicas , Centro de Engenharia Elétrica e Informática, Centro de Engenharia Elétrica e Informática.

Atividade realizada
Monitoria da disciplina Lógica Matemática.

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

2009 - 2010
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Regime: Dedicação exclusiva.

Atividades

02/2010 - 06/2010
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software
Lógica Aplicada à Computação
Projeto Avançado de Software I
08/2009 - 12/2009
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software Aplicada
Metodologia do Trabalho Científico

Universidade Estadual da Paraíba, UEPB, Brasil.
Vínculo institucional

2008 - 2009
Vínculo: Prestação de Serviços, Enquadramento Funcional: Professor Substituto

Atividades

08/2008 - 07/2009
Ensino, Licenciatura em Computação, Nível: Graduação

Disciplinas ministradas
Linguagem de Programação para Educação
Engenharia de Software


Linhas de pesquisa


1.
Teste Funcional de Sistemas Baseados em Componentes

Objetivo: O interesse no desenvolvimento de software baseado em componentes tem crescido substancialmente devido à promessa de qualidade e redução de custos e tempo de desenvolvimento. O teste funcional é uma das formas de verificação que mais vêm sendo utilizadas na prática e se usado de forma adequada, pode fornecer indicadores importantes. Embora muitas pesquisas venham sendo desenvolvidas com o objetivo de produzir técnicas efetivas para a derivação de casos de teste a partir da especificação dos sistemas, a maioria concentra-se em sistemas orientados a objetos e não trata de características específicas de componentes de software, como a divisão da especificação em interfaces, o que dificulta bastante a sua utilização nesta categoria de sistema. Além disso, muitos trabalhos não abrangem todo o processo de teste e/ou não fazem uso de especificações largamente utilizadas pela indústria, a exemplo de UML. Para suprir estas necessidades, métodos para a verificação funcional de componentes vêm sendo propostos. Contudo, a necessidade de automação desses métodos de forma que suas atividades possam ser executadas (e re-executadas) com a menor interferência humana possível desponta como um consenso entre os pesquisadores. O principal objetivo é dar suporte à automação do teste funcional de componentes fazendo uso de artefatos UML..
Grande área: Ciências Exatas e da Terra
Palavras-chave: Engenharia de Software; Componentes de Software; Automação de Testes.
2.
Redes Neurais Quânticas: Modelo e Implementação

Objetivo: Redes Neurais Quânticas surgiram como uma nova abordagem no campo da Computação Quântica, possuindo propriedades que permitem eliminar, em tese, os problemas dos paradigmas de Redes Neurais clássicas. Na última década, modelos de Redes Neurais Quânticas têm sido propostos, porém nem todos convergem quanto aos conceitos incorporados da Mecânica Quântica, nem tampouco quanto aos requisitos de hardware/software para sua implementação. Há também a carência de uma sistematização dos modelos com base em um conjunto de critérios consistentes. O objetivo é, portanto, levantar o estado da arte em Redes Neurais Quânticas revisando e realizando uma análise comparativa entre os modelos existentes e, com base nesse trabalho, propor um novo modelo de neurônio para uma Rede Neural Quântica..
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.
Palavras-chave: Computação Quântica; Redes Neurais Artificiais.
3.
Teste de Aplicações para Celulares

Objetivo: O mercado de telefonia celular tem se mostrado cada vez mais competitivo, demandando um padrão de qualidade cada vez maior. Neste contexto, aplicações são desenvolvidas como conjuntos de funcionalidades, chamados de features. Existem cenários onde as features interrompem a execução de outras features e devido ao fato de as features serem usualmente desenvolvidas e testadas de forma isolada, os testes de suas interações nos cenários de uso das aplicações ficam comprometidos. O principal objetivo é propor uma estratégia para dar suporte ao teste de interrupção entre features em aplicações para celulares..
Grande área: Ciências Exatas e da Terra
Palavras-chave: Engenharia de Software; Teste Baseado em Modelos; Teste de Interrupção; Automação de Testes.
4.
Teoria e Prática em Pensamento Computacional

Objetivo: Tem sido muito discutido na literatura sobre ?pensamento computacional?. A ideia geral é explorar a computação como ciência transversal a outras ciências e não somente como ferramenta. Por exemplo, existem algumas iniciativas em programação de computadores onde é muito estimulado o aprendizado nesse contexto, em diferentes áreas e idades. Essa linha de pesquisa tem o objetivo de investigar, propor e aplicar mecanismos que promovam o pensamento computacional por meio do aprendizado em desenvolvimento de sistemas usando tecnologias distribuídas, com aplicações na cidade de Campina Grande..
5.
Teste de Sistemas de Tempo Real

Objetivo: Sistemas de tempo real são sistemas computacionais com restrições temporais. Esses sistemas são diferentes dos outros tipos de sistemas, visto que, o correto comportamento desse tipo de sistema não depende somente da integridade dos resultados obtidos (correção lógica ou correctness), mas depende também do tempo em que são produzidos (correção temporal ou timeliness). Dentre alguns exemplos desse tipo de aplicação podemos citar sistemas militares, sistemas de controle de indústrias químicas e nucleares, sistemas de controle de tráfego aéreo, sistemas de monitoramento de pacientes em hospitais, sistemas embarcados em robôs, veículos, aviões, dentre outros. Dado que teste é uma das técnicas de validação mais populares atualmente e se utilizada de forma efetiva pode prover importantes indicadores de qualidade e confiabilidade de um produto, o objetivo dessa linha de pesquisa é investigar e propor metodologias, técnicas e ferramentas para dar suporte ao teste de sistemas com restrições temporais..
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: Teste Formal de Software.
Palavras-chave: Engenharia de Software; Sistemas de Tempo Real; Teste Formal; Automação de Testes.


Projetos de pesquisa


2013 - 2016
Teste Baseado em Modelos Simbólicos para Sistemas Embarcados de Tempo Real (CNPq Universal)
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: Wilkerson de Lucena Andrade - Coordenador / Jorge César Abrantes de Figueiredo - Integrante / Patrícia Duarte de Lima Machado - Integrante / Adriana Carla Damasceno - Integrante / Maria de Fátima Mattiello-Francisco - Integrante / Gleyser Bonfim Guimarães - Integrante / Samantha Karolynne Evangelista Monteiro - Integrante / Wesley Nunes Marques Torres - 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 (CNPq PDI)
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.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (2) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / Emanuela Gadelha Cartaxo - Integrante / Augusto Cezar Alves Sampaio - Coordenador / Franklin de Souza Ramalho - Integrante / Alexandre Cabral Mota - Integrante / Anamaria Martins Moreira - Integrante / David Boris Paul Déharbe - Integrante / Marcel Vinicius Medeiros Oliveira - Integrante / Flávia de Almeida Barros - Integrante / Juliano Manabu Iyoda - Integrante / Rohit Gheyi - Integrante / Tiago Lima Massoni - Integrante / Patrícia Duarte de Lima Machado - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2010 - Atual
INES - Instituto Nacional de Ciência e Tecnologia para Engenharia de Software (CNPq INCT)
Descrição: O INES (Instituto Nacional de Ciência e Tecnologia para Engenharia de Software) 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.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (2) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / Augusto Cezar Alves Sampaio - Integrante / Anamaria Martins Moreira - Integrante / David Boris Paul Déharbe - Integrante / Marcel Vinicius Medeiros Oliveira - Integrante / Paulo Henrique Monteiro Borba - Integrante / Rohit Gheyi - Integrante / Tiago Lima Massoni - Integrante / Silvio Romero de Lemos Meira - Coordenador / Dalton Dario Serey Guerrero - Integrante / Patrícia Duarte de Lima Machado - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 1
2009 - 2011
TReaTiES: Test of Real-Time Embedded Systems (INRIA Equipes Associées)
Descrição: The cooperation (INRIA / UFCG / UFPE) 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.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (4) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Emanuela Gadelha Cartaxo - Integrante / Augusto Cezar Alves Sampaio - Integrante / Alexandre Cabral Mota - Integrante / Flávia de Almeida Barros - Integrante / Paulo Henrique Monteiro Borba - Integrante / Sidney de Carvalho Nogueira - Integrante / Cristiano Bertolini - Integrante / Rohit Gheyi - Integrante / Thierry Jéron - Coordenador / Hervé Marchand - Integrante / Nathalie Bertrand - Integrante / Florimond Ployette - Integrante / Vlad Rusu - Integrante / Patrícia Duarte de Lima Machado - Integrante.Financiador(es): Centre de recherche Inria Rennes - Bretagne Atlantique - Auxílio financeiro.
2008 - 2010
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: Wilkerson de Lucena Andrade - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Emanuela Gadelha Cartaxo - Integrante / Augusto Cezar Alves Sampaio - Coordenador / Franklin de Souza Ramalho - Integrante / Marcelo Bezerra d'Amorim - Integrante / Alexandre Cabral Mota - Integrante / Anamaria Martins Moreira - Integrante / David Boris Paul Déharbe - Integrante / Marcel Vinicius Medeiros Oliveira - Integrante / Flávia de Almeida Barros - Integrante / Juliano Manabu Iyoda - Integrante / Paulo Henrique Monteiro Borba - Integrante / Patrícia Duarte de Lima Machado - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 4
2005 - 2009
Processo Integrado de Avaliação, Seleção e Geração Automática de Casos de Teste
Descrição: O objetivo do projeto é desenvolver um processo para ajudar na avaliação, seleção e geração de casos de teste de aplicações para celulares. Esse projeto é fruto de uma parceria entre o Motorola BTC (Brazil Test Center), o CIn-UFPE (Centro de Informática da Universidade Federal do Pernambuco) e o CESAR (Centro de Estudos Avaçados do Recife).
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (11) / Mestrado profissional: (0) / Doutorado: (6) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / Emanuela Gadelha Cartaxo - Integrante / Laísa Helena Oliveira do Nascimento - Integrante / Patrícia Duarte de Lima Machado - Coordenador.Financiador(es): Motorola Industrial Ltda - Cooperação.
Número de produções C, T & A: 5
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) / Mestrado acadêmico: (2) / Doutorado: (2) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / Emanuela Gadelha Cartaxo - Integrante / Laísa Helena Oliveira do Nascimento - Integrante / Augusto Cezar Alves Sampaio - Coordenador / Alexandre Cabral Mota - Integrante / Flávia de Almeida Barros - Integrante / Paulo Henrique Monteiro Borba - Integrante / Alexandre Marcos Lins de Vasconcelos - Integrante / Patrícia Duarte de Lima Machado - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 3
2003 - 2005
Análise e Implementação de Modelos de Redes Neurais Quânticas
Descrição: Redes Neurais Artificiais (RNA) são paradigmas computacionais inspirados em estruturas neurais biológicas. Uma Rede Neural utiliza um conjunto de unidades computacionais simples, denominadas de neurônios, os quais são interconectados e operam em paralelo. Tradicionalmente, redes neurais têm sido simuladas através de modelos matemáticos simples, baseados em princípios físico-químicos clássicos. No entanto, existem evidências que propriedades quânticas também participam da computação neural em sistemas biológicos. Nos últimos anos, têm sido propostos modelos de Redes Neurais Quânticas (RNQs), os quais são baseados em RNAs incorporando princípios da Computação Quântica com a finalidade de aumentar o desempenho das Redes Neurais tradicionais. Entretanto, ainda não existe um consenso quanto aos princípios incorporados (interferência, dualidade partícula/onda, decoerência). A Computação Quântica tem como principal característica a capacidade de processar e transmitir dados de uma forma muito mais eficiente que os modelos de computação convencionais, podendo ser capaz de solucionar problemas considerados intratáveis por máquinas clássicas atuais. Nesse contexto, o objetivo deste trabalho é realizar uma análise dos principais modelos de RNQs existentes, propor um novo modelo, a partir das características mais importantes identificadas na análise, e construir uma implementação do modelo proposto utilizando como base um simulador de circuitos quânticos.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / Herman Martins Gomes - Coordenador / Raul Fernandes Herbster - Integrante.
Número de produções C, T & A: 2
2003 - 2005
Automação de Teste Funcional de Componentes a partir de Especificações em UML/OCL
Descrição: O interesse no desenvolvimento de software baseado em componentes tem crescido de forma substancial devido à promessa de redução de custos e tempo de desenvol-vimento. Entretanto, o reuso efetivo de componentes está fortemente relacionado à confiabilidade dos mesmos. Um componente de software é uma unidade de composição com interfaces especificadas através de contratos e dependências de contexto explícitas, podendo ser distribuído independentemente e sujeito à composição com outras partes. Do ponto de vista de um componente, os testes a serem realizados precisam satisfazer duas expectativas distintas. Do lado do fornecedor, é preciso garantir que o componente se comportará adequadamente sob os mais diferentes contextos em que venha a ser utilizado. Do lado do cliente, é necessário assegurar que o componente apresente a funcionalidade desejada quando integrado aos demais componentes para compor uma aplicação. O objetivo deste projeto de iniciação científica é projetar e implementar um conjunto de ferramentas para dar suporte ao teste funcional de componentes de software. Tais componentes deverão ter os contratos de sua interface especificados em UML (Unified Modelling Language) e OCL (Object Constraint Language). Serão adotados como base para utilização das ferramentas a metodologia de desenvolvimento UML Components e um método de teste funcional proposto no escopo do projeto individual da orientadora. Será dado enfoque à utilização e integração de ferramentas, quando existentes, que atendam a critérios bem estabelecidos.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / Daniel Lima Barbosa - Integrante / Helton Souza Lima - Integrante / Patrícia Duarte de Lima Machado - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 7
2003 - 2003
Correção de problemas na geração de testes da ferramenta Casltest
Descrição: Foi projetada e construída uma ferramenta de apoio ao teste formal de componentes e arquiteturas de software com base na fundamentação teórica desenvolvida no projeto de pesquisa do orientador, chamada Casltest. Estas ferramentas consistem em ferramentas de apoio a especificação e planejamento de testes, geração de conjuntos de teste e oráculos. Após a construção da ferramenta foi detectado alguns problemas na geração de testes, o que determinou o objetivo principal do meu projeto, que pode ser definido como a resolução dos problemas na geração de testes da Casltest.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / Kylly Araújo de Oliveira - Integrante / Patrícia Duarte de Lima Machado - Coordenador.
Número de produções C, T & A: 3


Projetos de extensão


2014 - 2015
Capacitação de micro e pequenas empresas na criação de soluções baseadas em TIC (FAPESQ Redes Digitais)
Descrição: O principal objetivo desse projeto é capacitar micro e pequenas empresas na criação de soluções baseadas em Tecnologias de Informação e Comunicação (TIC) para problemas do dia-a-dia e de comercialização eletrônica.
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) .
Integrantes: Wilkerson de Lucena Andrade - Coordenador / Cláudio Sebastião Vasconcelos da Cunha Cavalcanti - Integrante / Reinaldo Cézar de Morais Gomes - Integrante.


Projetos de desenvolvimento


2018 - Atual
Execução de Testes através de Dispositivos Móveis e Controle das Informações Geradas (Cooperação de P&D UFCG-Ingenico)
Descrição: O objetivo deste projeto é o desenvolvimento de um sistema envolvendo módulos desktop, móvel e servidor para a execução de testes em terminais Ingenico e gerenciamento das informações geradas durante a execução dos testes.
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (1) / Doutorado: (1) .
Integrantes: Wilkerson de Lucena Andrade - Coordenador / Lívia Maria Rodrigues Sampaio Campos - Integrante / Wellington Gomes de Medeiros - Integrante.
2018 - Atual
COR - Centro de Operação Remota (Cooperação de P&D UFCG-Siemens)
Descrição: Projeto de P&D em cooperação com a Siemens cujo objetivo é desenvolver um sistema centralizado de acompanhamento de consumo energético.
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / Edmar Candeia Gurjão - Coordenador / Adalberto Cajueiro de Farias - Integrante.
2018 - Atual
Sistema Mobile para Aquisição e Gerenciamento de Indicadores de Processos na Indústria de Alimentos

Projeto certificado pelo(a) coordenador(a) Rennan Pereira de Gusmão em 05/09/2018.
Descrição: O objetivo do trabalho será desenvolver um sistema mobile para aquisição e gerenciamento de indicadores de processos na indústria de alimentos.
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / Rennan Pereira de Gusmão - Coordenador / Thaisa Abrantes da Silva Souza - Integrante / Jamilly Salustiano Ferreira - Integrante / Mattheus Brito Rodrigues - Integrante.
2017 - 2018
Desenvolvimento de Sistema Baseado em Dispositivos Móveis para Aquisição de Dados de Análise Sensorial de Alimentos

Projeto certificado pelo(a) coordenador(a) Rennan Pereira de Gusmão em 30/08/2018.
Descrição: O objetivo da pesquisa será desenvolver um sistema baseado em dispositivos móveis para aquisição de dados de análises sensoriais de alimentos. O sistema a ser desenvolvido será composto por dois módulos. Um primeiro módulo executará em dispositivo móvel e será responsável pela coleta de dados dos participantes de testes de análise sensorial. Após o primeiro módulo de desenvolvimento do sistema, será realizado um teste de aceitação e intenção de compra de um produto alimentício para validar o sistema. Após a conclusão dos testes, o sistema enviará automaticamente os dados para um servidor que armazenará todos os dados em um Bando de Dados. O módulo do lado do servidor permitirá apenas a extração dos dados num formato válido para ser utilizado em ferramentas externas de análises estatísticas. Com os resultados obtidos, espera-se obter um sistema baseado em dispositivo móvel capaz de adquirir de forma modernizada os dados das análises sensoriais, gerando rapidez, eliminação de papel e otimização de todo processo.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (1) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / Rennan Pereira de Gusmão - Coordenador / Thaisa Abrantes da Silva Souza - Integrante / Thierry Silva Barros - Integrante.
2016 - 2017
SYSCIT - Sistema de Controle de Ferramentas Ingenico (Cooperação de P&D UFCG-Ingenico)
Descrição: Projeto de P&D em cooperação com a Ingenico cujo objetivo é desenvolver um sistema para controle de ferramentas de segurança e controle de atualizações em ferramentas de teste.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (1) .
Integrantes: Wilkerson de Lucena Andrade - Coordenador / Jorge César Abrantes de Figueiredo - Integrante / Lívia Maria Rodrigues Sampaio Campos - Integrante / Wellington Gomes de Medeiros - Integrante.
2016 - 2017
DeVTelium - Desenvolvimento e Validação de Aplicações na Plataforma Telium (Cooperação de P&D UFCG-Ingenico)

Projeto certificado pelo(a) coordenador(a) Patricia Duarte de Lima Machado em 09/01/2017.
Descrição: O objetivo central deste projeto é o desenvolvimento de uma arquitetura e software embarcado de referência para plataformas de desenvolvimento de software para terminais Ingenico.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (6) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / Adalberto Cajueiro de Farias - Integrante / Patrícia Duarte de Lima Machado - Coordenador.
2015 - 2017
FlexTrans - Flexibilização de Transações Financeiras em Terminais Ingenico (Cooperação de P&D UFCG-Ingenico)

Projeto certificado pelo(a) coordenador(a) Adalberto Cajueiro de Farias em 22/05/2016.
Descrição: O objetivo deste projeto é desenvolver uma arquitetura juntamente com bibliotecas flexíveis englobando todos os componentes necessários para a realização de uma transação financeira envolvendo a comunicação entre dispositivos móveis e terminais de pagamentos.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (7) / Mestrado acadêmico: (1) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / Adalberto Cajueiro de Farias - Coordenador.
2015 - 2015
SiTransFi - Simulador de Transações Financeiras (Cooperação de P&D UFCG-Ingenico)
Descrição: Projeto de P&D em cooperação com a Ingenico cujo objetivo é especificar e desenvolver um simulador de transações financeiras para dispositivo portátil Android (tablet ou celular), envolvendo módulos de negócio para vários contextos, módulo de comunicação entre dispositivo móvel e terminal de pagamento e módulo responsável pela validação da transação financeira.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (2) .
Integrantes: Wilkerson de Lucena Andrade - Coordenador / Dalton Dario Serey Guerrero - Integrante / Lívia Maria Rodrigues Sampaio Campos - Integrante.
2014 - 2017
SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium (Cooperação de P&D UFCG-Ingenico)
Descrição: Projeto de P&D em cooperação com a Ingenico focado no desenvolvimento de ferramentas e uso de modelos analíticos para aumento da confiabilidade de produtos da Ingenico e previsão de informações estratégicas. Como resultado, pretende-se produzir conhecimento inovador na área e contribuir com soluções produtivas para a empresa, ao mesmo tempo em que uma mão-de-obra especializada é também capacitada.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (1) .
Integrantes: Wilkerson de Lucena Andrade - Coordenador / Jorge César Abrantes de Figueiredo - Integrante / Alexandre Cabral Mota - Integrante / Adalberto Cajueiro de Farias - Integrante.
2014 - 2015
SATT - Análise Estatística dos Testes de Terminais Ingenico Telium através do TMA Command Mode (Cooperação de P&D UFCG-Ingenico)
Descrição: Projeto de P&D em cooperação com a Ingenico cujo objetivo é a realização de testes de terminais Ingenico através de comandos externos enviados de um PC juntamente com uma análise estatística dos vários resultados dos testes.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (4) .
Integrantes: Wilkerson de Lucena Andrade - Coordenador / Jorge César Abrantes de Figueiredo - Integrante / Patrícia Duarte de Lima Machado - Integrante / Wellington Gomes de Medeiros - Integrante.
2014 - 2014
Investigação de Novos Cenários para Utilização dos Terminais Ingenico (Cooperação de P&D UFCG-Ingenico)
Descrição: Projeto de P&D em cooperação com a Ingenico com o objetivo de 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.
Alunos envolvidos: Graduação: (8) .
Integrantes: Wilkerson de Lucena Andrade - Coordenador / Dalton Dario Serey Guerrero - Integrante / Adalberto Cajueiro de Farias - Integrante / Patrícia Duarte de Lima Machado - Integrante.
2013 - 2015
e-Pol (Cooperação de P&D UFCG-DPF)

Projeto certificado pelo(a) coordenador(a) Dalton Dario Serey Guerrero em 13/02/2013.
Descrição: Projeto de P&D em cooperação com a Polícia Federal em que está sendo desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído, evolução de software e teste no contexto de metodologias ágeis de desenvolvimento.
Situação: Concluído; Natureza: Desenvolvimento.
2013 - 2015
Smart-TCE (Cooperação de P&D UFCG-HP)

Projeto certificado pelo(a) coordenador(a) Adalberto Cajueiro de Farias em 05/08/2013.
Descrição: Projeto de P&D em cooperação com a HP Brasil cujo objetivo é investigar técnicas de Analytics e visualização de dados para aplicação em informações armazenadas no HP Vertica.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (3) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / Adalberto Cajueiro de Farias - Coordenador / Leandro Balby Marinho - Integrante / Nazareno Ferreira de Andrade - Integrante / Raquel Vigolvino Lopes - Integrante / Andrey Elísio Monteiro Brito - Integrante.
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)
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: Wilkerson de Lucena Andrade - Coordenador / Dalton Dario Serey Guerrero - Integrante / Adalberto Cajueiro de Farias - Integrante / Patrícia Duarte de Lima Machado - Integrante.
2004 - 2004
Pesquisa e Desenvolvimento em Aplicações usando a Tecnologia iDEN (Cooperação com a Motorola)
Descrição: 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.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (6) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Wilkerson de Lucena Andrade - Integrante / 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 / Antônio Jaime Moreira de Almeida - Integrante / Laísa Helena Oliveira do Nascimento - Integrante / Patrícia Duarte de Lima Machado - Coordenador.Financiador(es): Fundação Parque Tecnológico da Paraíba - Outra / Ministério da Ciência, Tecnologia, Inovações e Comunicações - Outra / Motorola Industrial Ltda - Cooperação.


Revisor de periódico


2012 - 2013
Periódico: Science of Computer Programming (Print)
2011 - 2013
Periódico: Journal of the Brazilian Computer Society (Impresso)
2014 - Atual
Periódico: Journal of Software Engineering Research and Development
2018 - Atual
Periódico: SOFTWARE QUALITY JOURNAL
2018 - Atual
Periódico: SCIENCE OF COMPUTER PROGRAMMING


Revisor de projeto de fomento


2012 - 2012
Agência de fomento: (FACEPE) Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco


Á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: Metodologia e Técnicas da Computação/Especialidade: Métodos Formais.


Idiomas


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


Prêmios e títulos


2016
O artigo "Explorando Robótica com Pensamento Computacional no Ensino Médio: Um estudo sobre seus efeitos na educação" recebeu uma menção honrosa no SBIE 2016, Sociedade Brasileira de Computação - SBC.
2015
Terceiro Melhor Artigo do XXVI Simpósio Brasileiro de Informática na Educação (SBIE 2015), Sociedade Brasileira de Computação (SBC).
2014
Melhor Artigo (Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study) do 10th Workshop on Advances in Model Based Testing (A-MOST 2014), Institute of Electrical and Electronics Engineers (IEEE).
2012
Melhor Ferramenta da XIX Sessão de Ferramentas do III Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2012), Sociedade Brasileira de Computação (SBC).
2005
Prêmio Professor Átila Augusto Freitas de Almeida por ter obtido o melhor desempenho acadêmico dentre os concluintes dos cursos da área de exatas da UFCG (13 cursos de graduação) no semestre 2005.1, Universidade Federal de Campina Grande.
2004
Melhor Ferramenta da XI Sessão de Ferramentas do XVIII Simpósio Brasileiro de Engenharia de Software (SBES'2004), Sociedade Brasileira de Computação (SBC).


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
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 (Print), v. 19, p. 53-71, 2017.

2.
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.

3.
Andrade, Wilkerson L.2013 Andrade, Wilkerson L.; 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.

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

5.
BARBOSA, D. L.2007BARBOSA, D. L. ; LIMA, H. S. ; MACHADO, P. D. L. ; FIGUEIREDO, J. C. A. ; JUCÁ, M. A. ; ANDRADE, W. L. . Automating Functional Testing of Components from UML Specifications. International Journal of Software Engineering and Knowledge Engineering, v. 17, p. 339-358, 2007.

6.
FIGUEIREDO, A. L. L.2006 FIGUEIREDO, A. L. L. ; ANDRADE, W. L. ; 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.

7.
ANDRADE, W. L.;Andrade, Wilkerson L.2004ANDRADE, W. L.; HERBSTER, R. F. ; GOMES, H. M. ; MACHADO, P. D. L. . O Estado da Arte em Redes Neurais Artificiais Quânticas. REIC. Revista Eletrônica de Iniciação Científica, v. IV, n.IV, p. 05, 2004.

Trabalhos completos publicados em anais de congressos
1.
MUNIZ, R. C. ; BRASILEIRO, L. N. B. ; GHEYI, R. ; ANDRADE, W. L. ; SANTOS NETO, B. F. ; RIBEIRO, M. M. . A Qualitative Analysis of Variability Weaknesses in Configurable Systems with #Ifdefs. In: 12th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2018), 2018, Madrid, Spain. Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems. New York, NY, USA: ACM, 2018. p. 51-58.

2.
JORGE, D. N. ; MACHADO, P. D. L. ; ALVES, E. L. G. ; ANDRADE, W. L. . Integrating Requirements Specification and Model-Based Testing in Agile Development. In: 2018 IEEE 26th International Requirements Engineering Conference (RE), 2018, Banff, Alberta, Canada. Proceedings of the 2018 IEEE 26th International Requirements Engineering Conference, 2018. p. 336-346.

3.
GUSMAO, R. P. ; BARROS, T. S. ; ALMEIDA, R. L. J. ; SOUZA, T. A. S. ; ANDRADE, W. L. . Desenvolvimento de Sistema Baseado em Dispositivos Móveis para Aquisição de Dados de Análise Sensorial de Alimentos. In: XXVI Congresso Brasileiro de Ciência e Tecnologia de Alimentos (CBCTA 2018), 2018, Belém, PA. Anais do XXVI Congresso Brasileiro de Ciência e Tecnologia de Alimentos (CBCTA 2018), 2018.

4.
SILVA, A. G. F. ; ANDRADE, W. L. ; ALVES, E. L. G. . A Study on the Impact of Model Evolution in MBT Suites. In: III Brazilian Symposium on Systematic and Automated Software Testing (SAST 2018), 2018, São Carlos, SP. Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing. New York, NY, USA: ACM Press, 2018. p. 49-56.

5.
SOUZA, I. M. L. ; ANDRADE, W. L. ; CAMPOS, L. M. R. S. ; ARAÚJO, A. L. S. O. . A Systematic Review on the use of LEGO Robotics in Education. In: 2018 IEEE Frontiers in Education Conference (FIE), 2018, San Jose, USA. 2018 IEEE Frontiers in Education Conference Proceedings, 2018. p. 1-9.

6.
SILVA, I. P. S. C. ; ALVES, E. L. G. ; ANDRADE, W. L. . Analyzing Automatic Test Generation Tools for Refactoring Validation. In: The 12th IEEE/ACM International Workshop on Automation of Software Test (AST 2017), 2017, Buenos Aires, Argentina. Proceedings of the 12th International Workshop on Automation of Software Testing. Piscataway, NJ, USA: IEEE Press, 2017. p. 38-44.

7.
JORGE, D. N. ; ANDRADE, W. L. ; MACHADO, P. D. L. ; ALVES, E. L. G. . 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, CE. Proceedings of the 24th Tools Session / 8th Brazilian Conference on Software: Theory and Practice, 2017. p. 41-48.

8.
ARAÚJO, A. L. S. O. ; SANTOS, J. S. ; ANDRADE, W. L. ; GUERRERO, D. D. S. ; DAGIENĖ . Exploring Computational Thinking Assessment in Introductory Programming Courses. In: 2017 IEEE Frontiers in Education Conference (FIE), 2017, Indianapolis, USA. 2017 IEEE Frontiers in Education Conference Proceedings, 2017. p. 1-9.

9.
PESSOA, F. I. R. ; ARAÚJO, A. L. S. O. ; ANDRADE, W. L. ; GUERRERO, D. D. S. . T-mind: um Aplicativo Gamificado para Estímulo ao Desenvolvimento de Habilidades do Pensamento Computacional. In: VI Congresso Brasileiro de Informática na Educação (CBIE 2017) / XXVIII Simpósio Brasileiro de Informática na Educação (SBIE 2017), 2017, Recife, PE. Anais do XXVIII Simpósio Brasileiro de Informática na Educação (SBIE 2017). Porto Alegre, RS: Sociedade Brasileira de Computação - SBC, 2017. p. 645-654.

10.
CAVALCANTE, A. F. ; COSTA, L. S. ; ARAÚJO, A. L. S. O. ; ANDRADE, W. L. ; GUERRERO, D. D. S. . Um Estudo Exploratório da Aplicação de Pensamento Computacional Baseado nas Perspectivas de Professores do Ensino Médio. In: VI Congresso Brasileiro de Informática na Educação (CBIE 2017) / III Workshop de Ensino em Pensamento Computacional, Algoritmos e Programação (WAlgProg 2017), 2017, Recife, PE. Anais dos Workshops do VI Congresso Brasileiro de Informática na Educação (CBIE 2017). Porto Alegre, RS: Sociedade Brasileira de Computação - SBC, 2017. p. 992-1001.

11.
RODRIGUES, R. S. ; ANDRADE, W. L. ; CAMPOS, L. M. R. S. . Can Computational Thinking help me? A quantitative study of its effects on education. In: 2016 IEEE Frontiers in Education Conference (FIE), 2016, Erie, USA. 2016 IEEE Frontiers in Education Conference Proceedings. Washington, DC, USA: IEEE Computer Society, 2016. p. 1-8.

12.
ARAÚJO, A. L. S. O. ; ANDRADE, W. L. ; GUERRERO, D. D. S. . A Systematic Mapping Study on Assessing Computational Thinking Abilities. In: 2016 IEEE Frontiers in Education Conference (FIE), 2016, Erie, USA. 2016 IEEE Frontiers in Education Conference Proceedings. Washington, DC, USA: IEEE Computer Society, 2016. p. 1-9.

13.
SOUZA, I. M. L. ; RODRIGUES, R. S. ; ANDRADE, W. L. . Explorando Robótica com Pensamento Computacional no Ensino Médio: Um estudo sobre seus efeitos na educação. In: V Congresso Brasileiro de Informática na Educação (CBIE 2016) / XXVII Simpósio Brasileiro de Informática na Educação (SBIE 2016), 2016, Uberlândia, MG. Anais do XXVII Simpósio Brasileiro de Informática na Educação (SBIE 2016). Porto Alegre, RS: Sociedade Brasileira de Computação - SBC, 2016. p. 490-499.

14.
ARAÚJO, A. L. S. O. ; ANDRADE, W. L. ; GUERRERO, D. D. S. . Um Mapeamento Sistemático sobre a Avaliação do Pensamento Computacional no Brasil. In: V Congresso Brasileiro de Informática na Educação (CBIE 2016) / II Workshop de Ensino em Pensamento Computacional, Algoritmos e Programação (WAlgProg 2016), 2016, Uberlândia, MG. Anais dos Workshops do V Congresso Brasileiro de Informática na Educação (CBIE 2016). Porto Alegre, RS: Sociedade Brasileira de Computação - SBC, 2016. p. 1147-1158.

15.
SOUZA, I. M. L. ; RODRIGUES, R. S. ; ANDRADE, W. L. . Introdução do Pensamento Computacional na Formação Docente para Ensino de Robótica Educacional. In: V Congresso Brasileiro de Informática na Educação (CBIE 2016) / II Workshop de Ensino em Pensamento Computacional, Algoritmos e Programação (WAlgProg 2016), 2016, Uberlândia, MG. Anais dos Workshops do V Congresso Brasileiro de Informática na Educação (CBIE 2016). Porto Alegre, RS: Sociedade Brasileira de Computação - SBC, 2016. p. 1265-1274.

16.
ALMEIDA, D. R. ; MORAES, A. K. O. ; ANDRADE, W. L. ; MACHADO, P. D. L. . Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems. In: 17th Brazilian Symposium on Formal Methods (SBMF 2014), 2015, Maceió, AL. Formal Methods: Foundations and Applications (Lecture Notes in Computer Science). v. 8941. p. 48-63.

17.
MARQUES, A. S. ; RAMALHO, F. S. ; ANDRADE, W. L. . TRL - A Traceability Representation Language. In: 30th Annual ACM Symposium on Applied Computing (SAC '15), 2015, Salamanca, Spain. Proceedings of the 30th Annual ACM Symposium on Applied Computing. New York, NY, USA: ACM, 2015. v. 2. p. 1358-1363.

18.
MARQUES, A. S. ; RAMALHO, F. S. ; ANDRADE, W. L. . Towards a Requirements Traceability Process Centered on the Traceability Model. In: 30th Annual ACM Symposium on Applied Computing (SAC '15), 2015, Salamanca, Spain. Proceedings of the 30th Annual ACM Symposium on Applied Computing. New York, NY, USA: ACM, 2015. v. 2. p. 1364-1369.

19.
DAMASCENO, A. C. ; MACHADO, P. D. L. ; ANDRADE, W. L. ; TORRES, W. N. M. . Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions. In: 18th IEEE International Symposium on Real-Time Distributed Computing (ISORC 2015), 2015, Auckland, New Zealand. Proceedings of the 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, 2015. p. 228-235.

20.
MARQUES, A. S. ; RAMALHO, F. S. ; ANDRADE, W. L. . SORTT - A Service Oriented RequirementsTraceability Tool. In: 6th Brazilian Conference on Software: Theory and Practice (CBSoft 2015) - 22nd Tools Session, 2015, Belo Horizonte, MG. Proceedings of the 22nd Tools Session / 6th Brazilian Conference on Software: Theory and Practice, 2015. p. 121-128.

21.
RODRIGUES, R. S. ; ANDRADE, W. L. ; GUERRERO, D. D. S. ; CAMPOS, L. M. R. S. . Análise dos efeitos do Pensamento Computacional nas habilidades de estudantes no ensino básico: um estudo sob a perspectiva da programação de computadores. In: IV Congresso Brasileiro de Informática na Educação (CBIE 2015) / XXVI Simpósio Brasileiro de Informática na Educação (SBIE 2015), 2015, Maceió, AL. Anais do XXVI Simpósio Brasileiro de Informática na Educação (SBIE 2015). Porto Alegre, RS: Sociedade Brasileira de Computação - SBC, 2015. p. 121-130.

22.
FARIAS, A. B. ; ANDRADE, W. L. ; ALENCAR, R. A. . Pensamento Computacional em Sala de Aula: Desafios, Possibilidades e a Formação Docente. In: IV Congresso Brasileiro de Informática na Educação (CBIE 2015) / I Workshop de Ensino em Pensamento Computacional, Algoritmos e Programação (WAlgProg 2015), 2015, Maceió, AL. Anais dos Workshops do IV Congresso Brasileiro de Informática na Educação (CBIE 2015). Porto Alegre, RS: Sociedade Brasileira de Computação - SBC, 2015. p. 1226-1235.

23.
MESTRE, P. A. A. ; ANDRADE, W. L. ; GUERRERO, D. D. S. ; CAMPOS, L. M. R. S. ; RODRIGUES, R. S. ; COSTA, E. J. F. . Pensamento Computacional: Um estudo empírico sobre as questões de matemática do PISA. In: IV Congresso Brasileiro de Informática na Educação (CBIE 2015) / I Workshop de Ensino em Pensamento Computacional, Algoritmos e Programação (WAlgProg 2015), 2015, Maceió, AL. Anais dos Workshops do IV Congresso Brasileiro de Informática na Educação (CBIE 2015). Porto Alegre, RS: Sociedade Brasileira de Computação - SBC, 2015. p. 1281-1289.

24.
ARAÚJO, A. L. S. O. ; ANDRADE, W. L. ; GUERRERO, D. D. S. . Pensamento Computacional sob a visão dos profissionais da computação: uma discussão sobre conceitos e habilidades. In: IV Congresso Brasileiro de Informática na Educação (CBIE 2015) / I Workshop de Ensino em Pensamento Computacional, Algoritmos e Programação (WAlgProg 2015), 2015, Maceió, AL. Anais dos Workshops do IV Congresso Brasileiro de Informática na Educação (CBIE 2015). Porto Alegre, RS: Sociedade Brasileira de Computação - SBC, 2015. p. 1454-1463.

25.
MARQUES, A. S. ; RAMALHO, F. S. ; ANDRADE, W. L. . Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study. In: 10th Workshop on Advances in Model Based Testing (A-MOST 2014), 2014, Cleveland, USA. 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Washington, DC, USA: IEEE Computer Society, 2014. p. 264-273.

26.
ANDRADE, J. S. ; ANDRADE, L. R. ; MACEDO, A. Q. ; ANDRADE, W. L. ; MACHADO, P. D. L. . Automating Test Case Creation and Execution for Embedded Real-time Systems. In: 6th Brazilian Workshop on Systematic and Automated Software Testing (SAST 2012), 2012, Natal, RN. Proceedings of the 6th Brazilian Workshop on Systematic and Automated Software Testing / 3rd Brazilian Conference on Software: Theory and Practice, 2012. v. 13. p. 53-62.

27.
DAMASCENO, A. C. ; ANDRADE, W. L. ; MACHADO, P. D. L. . Automatic Test Generation of Compositional Real-Time Systems. In: 2nd Workshop on Theses and Dissertations of CBSoft (WTDSoft 2012), 2012, Natal, RN. Proceedings of the 2nd Workshop on Theses and Dissertations of CBSoft / 3rd Brazilian Conference on Software: Theory and Practice, 2012. v. 06. p. 60-66.

28.
ANDRADE, W. L.; ALMEIDA, D. R. ; CANDIDO, J. B. ; MACHADO, P. D. L. . SYMBOLRT: A Tool for Symbolic Model-Based Test Case Generation for Real-Time Systems. In: 3rd Brazilian Conference on Software: Theory and Practice (CBSoft 2012) - 19th Tools Session, 2012, Natal, RN. Proceedings of the 19th Tools Session / 3rd Brazilian Conference on Software: Theory and Practice, 2012. v. 04. p. 31-37.

29.
ANDRADE, W. L.; MACHADO, P. D. L. ; JÉRON, Thierry ; MARCHAND, Hervé . Abstracting Time and Data for Conformance Testing of Real-Time Systems. In: 7th Workshop on Advances in Model Based Testing (A-MOST 2011), 2011, Berlin, Germany. 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Washington, DC, USA: IEEE Computer Society, 2011. p. 9-17.

30.
MACEDO, A. Q. ; ANDRADE, W. L. ; MACHADO, P. D. L. . RealTimePCO - A Tool for Real-Time Embedded Systems Testing Execution. In: II Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011) - Sessão de Ferramentas, 2011, São Paulo. XVIII Sessão de Ferramentas, 2011. p. 72-78.

31.
ALVES, E. L. G. ; MACEDO, A. Q. ; ANDRADE, W. L. ; MACHADO, P. D. L. ; RAMALHO, F. S. . Mapeando Modelos de Teste em UTP para a plataforma FreeRTOS. In: IV Brazilian Workshop on Systematic and Automated Software Testing (SAST 2010), 2010, Natal, RN. IV Brazilian Workshop on Systematic and Automated Software Testing (SAST 2010), 2010. p. 23-32.

32.
MACEDO, A. Q. ; ANDRADE, W. L. ; ALMEIDA, D. R. ; MACHADO, P. D. L. . Automating Test Case Execution for Real-Time Embedded Systems. In: 22nd IFIP International Conference on Testing Software and Systems (ICTSS 2010), 2010, Natal, RN. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers, 2010. p. 37-42.

33.
ANDRADE, W. L.; MACHADO, P. D. L. ; ALVES, E. L. G. ; ALMEIDA, D. R. . Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. In: 12nd Brazilian Symposium on Formal Methods (SBMF 2009), 2009, Gramado, RS. Formal Methods: Foundations and Applications (Lecture Notes in Computer Science). Berlin: Springer, 2009. v. 5902. p. 54-69.

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

35.
CARTAXO, E. G. ; ANDRADE, W. L. ; OLIVEIRA NETO, F. G. ; MACHADO, P. D. L. . LTSBT: A tool to Generate and Select Functional Test Cases for Embedded Systems. In: 23rd Annual ACM Symposium on Applied Computing (SAC 2008), 2008, Fortaleza, Ceará. SAC'08: Proceedings of the 2008 ACM symposium on Applied computing. New York, NY, USA: ACM Press, 2008. v. 2. p. 1540-1544.

36.
ANDRADE, W. L.; MACHADO, P. D. L. . Modeling and Testing Interruptions in Reactive Systems Using Symbolic Models. In: 2nd Brazilian Workshop on Systematic and Automated Software Testing (SAST 2008), 2008, Campinas, SP. 2nd Brazilian Workshop on Systematic and Automated Software Testing (SAST 2008), 2008. p. 34-43.

37.
MACHADO, P. D. L. ; ANDRADE, W. L. . The Oracle Problem for Testing against Quantified Properties. In: Seventh International Conference on Quality Software (QSIC 2007), 2007, Portland, Oregon, USA. QSIC'07: Proceedings of the Seventh International Conference on Quality Software. Washington, DC, USA: IEEE Computer Society, 2007. p. 415-418.

38.
ANDRADE, W. L.; OLIVEIRA NETO, F. G. ; MACHADO, P. D. L. . Geração de Casos de Teste de Interrupção para Aplicações de Celulares. In: VIII Workshop de Testes e Tolerância a Falhas (WTF 2007), 2007, Belém, PA. VIII Workshop de Testes e Tolerância a Falhas (WTF 2007). Porto Alegre: Sociedade Brasileira de Computação, 2007. p. 129-142.

39.
ANDRADE, W. L.; LIMA, H. S. ; BARBOSA, D. L. ; MACHADO, P. D. L. ; FIGUEIREDO, J. C. A. . Experiência no Uso de Ferramentas Livres para o Teste Funcional de Componentes de Software. In: 6º Fórum Internacional Software Livre, 2005, Porto Alegre. 6º Fórum Internacional de Software Livre: 6º Workshop sobre Software Livre. Porto Alegre: Armazém Digital, 2005. p. 205-210.

40.
ANDRADE, W. L.; ARAUJO, B. C. ; GOMES, H. M. ; FECHINE, J. M. . Proposta de um Neurônio Quântico. In: VII Congresso Brasileiro de Redes Neurais, 2005, Natal. CBRN'2005, 2005.

41.
ALMEIDA, Damião R. ; CAMPELO, C. E. C. ; SILVA, E. R. ; ANDRADE, W. L. ; NUNES, C. P. ; CABRAL, J. M. ; COSTA, B. A. D. ; BAPTISTA, C. S. . Using Service-Oriented Architecture in Context-Aware Applications. In: VII Simpósio Brasileiro de Geoinformática, 2005, Campos do Jordão. GEOINFO'2005, 2005. p. 15-29.

42.
BARBOSA, D. L. ; ANDRADE, W. L. ; MACHADO, P. D. L. ; FIGUEIREDO, J. C. A. . SPACES - Uma Ferramenta para Teste Funcional de Componentes. In: XVIII Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2004, Brasília. XI Sessão de Ferramentas. Porto Alegre: Sociedade Brasileira de Computação, 2004. p. 55-61.

43.
BARBOSA, D. L. ; ANDRADE, W. L. ; MACHADO, P. D. L. ; FIGUEIREDO, J. C. A. . Um Método Automático para a Verificação de Componentes. In: IV Workshop de Desenvolvimento Baseado em Componentes, 2004, João Pessoa. WDBC'2004, 2004. p. 23-28.

44.
OLIVEIRA, K. A. ; ANDRADE, W. L. ; MACHADO, P. D. L. . 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.

Resumos publicados em anais de congressos
1.
ANDRADE, W. L.; LIMA, H. S. ; BARBOSA, D. L. ; MACHADO, P. D. L. . Desenvolvimento de Ferramentas para Extração de Casos de Teste a partir de Especificações em UML/RPOO. In: I Congresso de Iniciação Científica (CIC 2004), 2004, Campina Grande. Anais do I Congresso de Iniciação Científica da UFCG, 2004. p. 1-6.


Produção técnica
Programas de computador sem registro
1.
OLIVEIRA, J. T. ; COSTA, L. N. ; BARBOSA, M. L. L. ; NEGREIROS, C. S. V. ; BATISTA, Y. S. ; ANDRADE, W. L. . TCoM Desktop (Transf. de Tecnologia para a Ingenico). 2018.

2.
COSTA, L. N. ; PAES, C. C. M. ; BEZERRA, H. V. N. ; BATISTA, Y. S. ; BARBOSA, M. L. L. ; NEGREIROS, C. S. V. ; BARBOSA, L. W. M. ; ANDRADE, A. J. V. ; ANDRADE, W. L. . PCBA Control Client (Transf. de Tecnologia para a Ingenico). 2017.

3.
COSTA, L. N. ; PAES, C. C. M. ; BEZERRA, H. V. N. ; BATISTA, Y. S. ; BARBOSA, M. L. L. ; NEGREIROS, C. S. V. ; BARBOSA, L. W. M. ; ANDRADE, A. J. V. ; ANDRADE, W. L. . PCBA Control Server (Transf. de Tecnologia para a Ingenico). 2017.

4.
JORGE, D. N. ; ELEUTERIO, S. P. ; SILVA, A. G. F. ; OLIVEIRA, J. T. ; BAPTISTA, C. S. ; SILVA JUNIOR, J. Z. ; ARAÚJO, P. S. S. ; LEDO, R. N. O. ; LAURENTINO, L. G. S. ; SOUSA, R. B. A. ; ANDRADE, W. L. . TCoM Server (Transf. de Tecnologia para a Ingenico). 2017.

5.
OLIVEIRA, J. T. ; SILVA, A. G. F. ; LAURENTINO, L. G. S. ; ARAÚJO, P. S. S. ; OLIVEIRA FILHO, J. C. ; ELEUTERIO, S. P. ; LEDO, R. N. O. ; SOUSA, R. B. A. ; JORGE, D. N. ; SILVA JUNIOR, J. Z. ; ANDRADE, W. L. . TCoM Mobile (Transf. de Tecnologia para a Ingenico). 2017.

6.
JORGE, D. N. ; ANDRADE, W. L. ; MACHADO, P. D. L. . CLARET - Central Artifact for Requirements Engineering and Model-Based Testing. 2017.

7.
OLIVEIRA, J. T. ; RUFINO, A. O. ; JORGE, D. N. ; SILVA, A. G. F. ; MEDEIROS, A. E. C. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; LEDO, R. N. O. ; ANDRADE, W. L. . SYSCIT - Sistema de Controle de Ferramentas Ingenico (Transf. de Tecnologia para a Ingenico). 2016.

8.
RUFINO, A. O. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; JORGE, D. N. ; ANDRADE, W. L. . MDBAutoUploader (Transf. de Tecnologia para a Ingenico). 2016.

9.
JORGE, D. N. ; ARAÚJO, P. S. S. ; OLIVEIRA FILHO, J. C. ; ANDRADE, W. L. . IngePrinter (Transf. de Tecnologia para a Ingenico). 2016.

10.
JORGE, D. N. ; ARAÚJO, P. S. S. ; OLIVEIRA FILHO, J. C. ; ANDRADE, W. L. . Controle de Acesso através de Reconhecimento Biométrico. 2016.

11.
MARQUES, A. S. ; RAMALHO, F. S. ; ANDRADE, W. L. . SORTT - A Service Oriented Requirements Traceability Tool. 2015.

12.
OLIVEIRA, J. T. ; SILVA, A. G. F. ; LINS, M. L. U. B. ; ANDRADE, W. L. . TCoM - TMA Command Mode Application (Transf. de Tecnologia para a Ingenico). 2015.

13.
JORGE, D. N. ; LUCIANO, A. P. C. ; FIGUEREDO, L. M. ; FONTENELE, R. R. ; SILVA, T. G. ; CASTRO, T. F. ; TORRES, W. N. M. ; BATISTA, Y. S. ; RUFINO, A. O. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; ANDRADE, W. L. . Loja de Produtos. 2015.

14.
JORGE, D. N. ; LUCIANO, A. P. C. ; FIGUEREDO, L. M. ; FONTENELE, R. R. ; SILVA, T. G. ; CASTRO, T. F. ; TORRES, W. N. M. ; BATISTA, Y. S. ; RUFINO, A. O. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; ANDRADE, W. L. . Venda Direta. 2015.

15.
JORGE, D. N. ; LUCIANO, A. P. C. ; FIGUEREDO, L. M. ; FONTENELE, R. R. ; SILVA, T. G. ; CASTRO, T. F. ; TORRES, W. N. M. ; BATISTA, Y. S. ; RUFINO, A. O. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; ANDRADE, W. L. . Ingefood. 2015.

16.
PAES, C. C. M. ; MEDEIROS, A. E. C. ; BEZERRA, H. V. N. ; OLIVEIRA, J. T. ; COSTA, L. N. ; ALVES, W. A. ; SILVA, A. G. F. ; YAMAGUCHI, G. N. S. ; SMANEOTO, T. M. ; ANDRADE, W. L. . SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium (Transf. de Tecnologia para a Ingenico). 2014.

17.
PAES, C. C. M. ; COSTA, L. N. ; BEZERRA, H. V. N. ; OLIVEIRA, J. T. ; ANDRADE, W. L. . Extrator de Arquivos de Falhas dos Terminais Ingenico Telium (Transf. de Tecnologia para a Ingenico). 2014.

18.
JORGE, D. N. ; SILVA, M. ; GORGONIO, U. S. ; FREIRE, A. S. ; FONTINELE, I. S. D. ; ARAÚJO, P. S. S. ; GUALBERTO, G. P. R. ; ANDRADE, W. L. . Controle de Presença Escolar através de Identificação Biométrica. 2013.

19.
ANDRADE, W. L.; ALMEIDA, D. R. ; CANDIDO, J. B. ; MACHADO, P. D. L. . SYMBOLRT: A Tool for Symbolic Model-Based Test Case Generation for Real-Time Systems. 2012.

20.
CARTAXO, E. G. ; OLIVEIRA NETO, F. G. ; ANDRADE, W. L. ; NASCIMENTO, L. H. O. ; MACHADO, P. D. L. . LTS-BT: A tool to Generate and Select Functional Test Cases for Mobile Phone Applications. 2007.

21.
BARBOSA, D. L. ; ANDRADE, W. L. ; MACHADO, P. D. L. . SPACES - SPecification bAsed Component tESter. 2004.

22.
ANDRADE, W. L.; OLIVEIRA, K. A. ; MACHADO, P. D. L. . CASLTest - Test Design and Generations from CASL Specifications. 2003.

Entrevistas, mesas redondas, programas e comentários na mídia
1.
MONTEIRO, J. A. B. ; ANDRADE, W. L. ; BARROS, M. A. ; MOURA, A. J. B. ; DUNGA JUNIOR, C. . O que o DSC tem feito e como podemos gerar maior impacto na sociedade?. 2017. (Programa de rádio ou TV/Mesa redonda).

2.
MACHADO, P. D. L. ; ENDO, A. T. ; ANDRADE, W. L. ; TRAVASSOS, G. H. ; LABICHE, Y. . Automated vs Manual Testing: Finding the Right Balance. 2017. (Programa de rádio ou TV/Mesa redonda).


Demais tipos de produção técnica
1.
ANDRADE, W. L.; CARVALHO, G. H. P. ; MACHADO, P. D. L. . Model-Based Testing for Real-Time Systems. 2012. (Desenvolvimento de material didático ou instrucional - Tutorial).

2.
MACHADO, P. D. L. ; ANDRADE, W. L. . Formal Models for Automatic Test Case Generation. 2009. (Curso de curta duração ministrado/Outra).

3.
ANDRADE, W. L.. Testes de Software. 2008. (Curso de curta duração ministrado/Extensão).

4.
ANDRADE, W. L.. Introdução ao Teste de Software com JUnit e EMMA. 2008. (Curso de curta duração ministrado/Extensão).

5.
ANDRADE, W. L.. Introdução ao Teste de Software. 2008. (Curso de curta duração ministrado/Extensão).

6.
ANDRADE, W. L.; MACHADO, P. D. L. . Teste Formal. 2007. (Curso de curta duração ministrado/Extensão).

7.
ANDRADE, W. L.; OLIVEIRA, K. A. ; MACHADO, P. D. L. . CASLTEST: Test Case, Test Oracle and Test Data Generation from CASL Specifications. 2003. (Desenvolvimento de material didático ou instrucional - Software).

Demais trabalhos
1.
ANDRADE, W. L.. 42nd IEEE International Conference on Computers, Software & Applications (COMPSAC 2018). 2018 (Membro de Comitê de Programa) .

2.
ANDRADE, W. L.. III Congresso sobre Tecnologias na Educação (Ctrl+E 2018). 2018 (Membro de Comitê de Programa) .

3.
ANDRADE, W. L.. 3rd Brazilian Symposium on Systematic and Automated Software Testing (SAST 2018). 2018 (Membro de Comitê de Programa) .

4.
ANDRADE, W. L.. Frontiers in Education (FIE 2018). 2018 (Revisão de Artigos) .

5.
ANDRADE, W. L.. XXIX Simpósio Brasileiro de Informática na Educação (SBIE 2018). 2018 (Membro de Comitê de Programa) .

6.
ANDRADE, W. L.. IV Workshop de Ensino em Pensamento Computacional, Algoritmos e Programação (WAlgProg 2018). 2018 (Membro de Comitê de Programa) .

7.
ANDRADE, W. L.. II Congresso sobre Tecnologias na Educação (Ctrl+E 2017). 2017 (Membro de Comitê de Programa) .

8.
ANDRADE, W. L.. Frontiers in Education (FIE 2017). 2017 (Revisão de Artigos) .

9.
ANDRADE, W. L.. 2nd Brazilian Symposium on Systematic and Automated Software Testing (SAST 2017). 2017 (Membro de Comitê de Programa) .

10.
ANDRADE, W. L.. III Workshop de Ensino em Pensamento Computacional, Algoritmos e Programação (WAlgProg 2017). 2017 (Membro de Comitê de Programa) .

11.
ANDRADE, W. L.. Frontiers in Education (FIE 2016). 2016 (Revisão de Artigos) .

12.
ANDRADE, W. L.. II Workshop de Ensino em Pensamento Computacional, Algoritmos e Programação (WAlgProg 2016). 2016 (Membro de Comitê de Programa) .

13.
ANDRADE, W. L.. 1st Brazilian Symposium on Systematic and Automated Software Testing (SAST 2016). 2016 (Membro de Comitê de Programa) .

14.
ANDRADE, W. L.. 18th Brazilian Symposium on Formal Methods (SBMF 2015). 2015 (Membro de Comitê de Programa) .

15.
ANDRADE, W. L.. 9th Brazilian Workshop on Systematic and Automated Software Testing (SAST 2015). 2015 (Membro de Comitê de Programa) .

16.
ANDRADE, W. L.. Formal Methods, Computational Intelligence and Constraint Programming for Software Assurance Workshop (FMCICA 2014). 2014 (Membro de Comitê de Programa) .

17.
ANDRADE, W. L.. 17th Brazilian Symposium on Formal Methods (SBMF 2014). 2014 (Membro de Comitê de Programa) .

18.
ANDRADE, W. L.. 16th Brazilian Symposium on Formal Methods (SBMF 2013). 2013 (Membro de Comitê de Programa) .

19.
ANDRADE, W. L.. 8th International Colloquium on Theoretical Aspects of Computing (ICTAC 2011). 2011 (Revisão de Artigos) .

20.
ANDRADE, W. L.. XXV Simpósio Brasileiro de Engenharia de Software (SBES 2011). 2011 (Revisão de Artigos) .

21.
ANDRADE, W. L.. 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010). 2010 (Revisão de Artigos) .

22.
ANDRADE, W. L.. 22nd IFIP International Conference on Testing Software and Systems (ICTSS 2010). 2010 (Revisão de Artigos) .

23.
ANDRADE, W. L.. 13th Brazilian Symposium on Formal Methods (SBMF 2010). 2010 (Revisão de Artigos) .

24.
ANDRADE, W. L.. XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009). 2009 (Revisão de Artigos) .

25.
ANDRADE, W. L.. 11th International Conference on Formal Engineering Methods (ICFEM 09). 2009 (Revisão de Artigos) .

26.
ANDRADE, W. L.. XXIX Congresso da Sociedade Brasileira de Computação (CSBC 2009) - XXXVI Seminário Integrado de Software e Hardware (SEMISH 2009). 2009 (Revisão de Artigos) .

27.
ANDRADE, W. L.. XXII Simpósio Brasileiro de Engenharia de Software (SBES 2008). 2008 (Revisão de Artigos) .

28.
ANDRADE, W. L.. 10th Brazilian Symposium on Formal Methods (SBMF 2007). 2007 (Revisão de Artigos) .

29.
ANDRADE, W. L.. XXI Simpósio Brasileiro de Engenharia de Software (SBES 2007). 2007 (Revisão de Artigos) .

30.
ANDRADE, W. L.. Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2007). 2007 (Revisão de Artigos) .



Patentes e registros



Patente

A Confirmação do status de um pedido de patentes poderá ser solicitada à Diretoria de Patentes (DIRPA) por meio de uma Certidão de atos relativos aos processos
1.
 GUSMAO, R. P. ; BARROS, T. S. ; SOUZA, T. A. S. ; ANDRADE, W. L. . Sistema Mobile para Aquisição de Dados de Análises Sensoriais de Alimentos. 2018, Brasil.
Patente: Privilégio de Inovação. Número do registro: BR1020180678485, título: "Sistema Mobile para Aquisição de Dados de Análises Sensoriais de Alimentos" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial. Depósito: 04/09/2018


Programa de computador
1.
GUSMAO, R. P. ; BARROS, T. S. ; SOUZA, T. A. S. ; ANDRADE, W. L. . SFA - SENSORY FOOD ANALYSIS. 2018.
Patente: Programa de Computador. Número do registro: BR512018001012-1, data de registro: 25/06/2018, título: "SFA - SENSORY FOOD ANALYSIS" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.

2.
JORGE, D. N. ; ANDRADE, W. L. ; MACHADO, P. D. L. . CLARET - Central Artifact for Requirements Engineering and Model-Based Testing. 2018.
Patente: Programa de Computador. Número do registro: BR512018051575-4, data de registro: 04/09/2018, título: "CLARET - Central Artifact for Requirements Engineering and Model-Based Testing" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
MOTA, A.; ANDRADE, W. L.; IYODA, J. M.. Participação em banca de Augusto César Ribeiro da Silva. Teste de Gestos: Uma Análise da Rotação Retrato e Paisagem. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
GUERRERO, D. D. S.; FIGUEIREDO, J. C. A.; ANDRADE, W. L.; BITTENCOURT, R. A.. Participação em banca de Sormany Silva Dantas. Um Modelo de Monitoria Proativa para Disciplinas Introdutórias de Programação. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
CAMPOS, L. M. R. S.; GUERRERO, D. D. S.; ANDRADE, W. L.; REGO, R. G.. Participação em banca de Erick John Fidelis Costa. Pensamento Computacional na Educação Básica: Uma Abordagem para Estimular a Capacidade de Resolução de Problemas na Matemática. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
FARIAS, A.; MASSONI, T. L.; ANDRADE, W. L.; MOTA, A.. Participação em banca de Filipe Neves Cavalcante. Listas usadas como conjuntos: um estudo através de ferramenta de reescrita. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
TEIXEIRA, L. M.; ANDRADE, W. L.; SAMPAIO, A. C. A.. Participação em banca de Filipe Marques Chaves de Arruda. Test Automation from Natural Language with Reusable Capture & Replay and Consistency Analysis. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

6.
MASSONI, T. L.; MACHADO, PATRÍCIA D.L.; ANDRADE, W. L.; COELHO, R. S.. Participação em banca de Berg Élisson Sampaio Cavalcante. Uma técnica de priorização de casos de teste para múltiplas mudanças agregadas. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

7.
GUERRERO, D. D. S.; FIGUEIREDO, J. C. A.; CHAVEZ, C. F. G.; ANDRADE, W. L.. Participação em banca de Luiz Augusto de Macêdo Morais. Experiências de uma Abordagem Personalizada de Ensino no Contexto de Programação Introdutória. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

8.
MASSONI, T. L.; GHEYI, R.; LIMA, R. M. F.; ANDRADE, W. L.. Participação em banca de Alysson Filgueira Milanez. Aprimorando a Verificação de Conformidade em Programas Baseados em Contratos. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

9.
FIGUEIREDO, J. C. A.; SAUVÉ, J. P.; ANDRADE, W. L.; GURJÃO, E. C.. Participação em banca de Alan de Farias Cruz. Geração Automática de Scripts de Testes em Ambiente 61850. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Teses de doutorado
1.
MASSONI, T. L.; GHEYI, R.; ANDRADE, W. L.; FARIAS, A.; SIMAO, A. S.; LIMA, R. M. F.. Participação em banca de Alysson Filgueira Milanez. Fostering Design By Contract by Exploiting the Relationship between Code Commentary and Contracts. 2018. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
TEDESCO, P. C. A. R.; GOMES, A. S.; ANDRADE, W. L.; GOMES, A. J.. Participação em banca de Pasqueline Dantas Scaico. Um Estudo sobre o Desenvolvimento de Interesse pela Aprendizagem de Programação. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
GUERRERO, D. D. S.; FIGUEIREDO, J. C. A.; MAILLARD, P. A. J.; MENDONCA, A. P.; MARINHO, L. B.; ANDRADE, W. L.. Participação em banca de Eliane Cristina de Araújo. Automatização de Feedback para Apoiar o Aprendizado no Processo de Resolução de Problemas de Programação. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
ANDRADE, W. L.; MACHADO, P. D. L.; MASSONI, T. L.; IYODA, J. M.; MOREIRA, A. M.. Participação em banca de 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.

5.
SIMAO, A. S.; ANDRADE, W. L.; MARTINS, E.; MELO, A. C. V.; SOUZA, S. R. S.. Participação em banca de Sofia Larissa da Costa Paiva. Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída. 2016. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

6.
MACHADO, P. D. L.; CARTAXO, E. G.; MOREIRA, A. M.; IYODA, J. M.; FIGUEIREDO, J. C. A.; ANDRADE, W. L.. Participação em banca de Ana Emília Victor Barbosa Coutinho. Similarity-based Test Suite Reduction in the Context of Model-Based Testing. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

Qualificações de Doutorado
1.
GUERRERO, D. D. S.; FIGUEIREDO, J. C. A.; ANDRADE, N. F.; ANDRADE, W. L.; SIQUEIRA, S. W. M.; MAILLARD, P. A. J.. Participação em banca de Mirna Carelli Oliveira Maia. Contributing Student Pedagogy in Programming Education. 2018. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
MASSONI, T. L.; GHEYI, R.; ANDRADE, W. L.; LIMA, R. M. F.; SIMAO, A. S.. Participação em banca de Alysson Filgueira Milanez. Fostering DBC Adoption: Writing and Debugging Contracts. 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
TEDESCO, P. C. A. R.; ANDRADE, W. L.; MATOS, E. S.. Participação em banca de Pasqueline Dantas Scaico. Um Estudo sobre o Desenvolvimento de Interesse pela Aprendizagem de Programação. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

4.
GUERRERO, D. D. S.; FIGUEIREDO, J. C. A.; MAILLARD, P. A. J.; MENDONCA, A. P.; MARINHO, L. B.; ANDRADE, W. L.. Participação em banca de Eliane Cristina de Araújo. On Automating Formative Feedback to Leverage Programming Learning. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
GHEYI, R.; RIBEIRO, M. M.; VALENTE, M. T. O.; ALVES, V. R.; MACHADO, P. D. L.; ANDRADE, W. L.. Participação em banca de Flávio Mota Medeiros. An Approach to Safely Evolve Preprocessor-Based C Program Families. 2014. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

6.
MACHADO, P. D. L.; CARTAXO, E. G.; MOREIRA, A. M.; ANDRADE, W. L.; MASSONI, T. L.; IYODA, J. M.. Participação em banca de João Felipe Silva Ouriques. Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches. 2014. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

7.
MACHADO, P. D. L.; CARTAXO, E. G.; IYODA, J. M.; FIGUEIREDO, J. C. A.; ANDRADE, W. L.; MOREIRA, A. M.. Participação em banca de Ana Emília Victor Barbosa Coutinho. Investigating on Test Suite Reduction Strategies in the Context of Model-Based Testing. 2013. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

Qualificações de Mestrado
1.
CAMPOS, L. M. R. S.; GUERRERO, D. D. S.; ANDRADE, W. L.. Participação em banca de Isabelle Maria Lima de Souza. Uma Perspectiva para o Desenvolvimento do Pensamento Computacional na Educação Básica com Robótica Educacional. 2018. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
BITTENCOURT, R. A.; ANDRADE, W. L.; SANTOS, D. M. B.. Participação em banca de Priscila Souza Cavalcante dos Santos. Uma Revisão Sistemática da Literatura sobre Pensamento Computacional e Programação na Educação Básica no Brasil. 2018. Exame de qualificação (Mestrando em Computação Aplicada) - Universidade Estadual de Feira de Santana.

3.
ALVES, E. L. G.; MACHADO, P. D. L.; MASSONI, T. L.; ANDRADE, W. L.. Participação em banca de Wesley Nunes Marques Torres. Uma Abordagem para Reduzir o Espalhamento de Testes Relacionados em uma Suite Priorizada. 2018. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
ALVES, E. L. G.; MACHADO, P. D. L.; ANDRADE, W. L.; SABINO, M. M. C. L.. Participação em banca de Indy Paula Soares Cordeiro e Silva. Investigando a Geração Automática de Casos de Teste para Validação de Refatoramentos. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
MONTEIRO, J. A. B.; RAMALHO, F. S.; ANDRADE, W. L.. Participação em banca de Bruno Julian Dias de Oliveira. DoS - Degree of Stability: Medição do Grau de Estabilidade para Serviços Web. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

6.
RAMALHO, F. S.; MASSONI, T. L.; FARIAS, A.; ANDRADE, W. L.. Participação em banca de Marzina Vidal Negreiros Bezerra. Especificação e Verificação de Requisitos Formais - Português Controlado. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

7.
GUERRERO, D. D. S.; FIGUEIREDO, J. C. A.; ANDRADE, W. L.; MONTEIRO, J. A. B.. Participação em banca de Sormany Silva Dantas. Um estudo sobre o efeito da Tutoria em disciplinas de Programação Introdutória no contexto do Self-Paced Mastery Learning. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

8.
MATOS, E. S.; ANDRADE, W. L.; SANTOS, D. A.. Participação em banca de Luiz Fernando de Paiva. Análise semiótica das contribuições da computação desplugada interdisciplinar para o aprendizado de computação na escola. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

9.
GUERRERO, D. D. S.; FIGUEIREDO, J. C. A.; ANDRADE, W. L.. Participação em banca de Erick John Fidelis Costa. Investigando o Impacto do Pensamento Computacional junto à Matemática na Resolução de Problemas Reais. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

10.
FARIAS, A.; MASSONI, T. L.; ANDRADE, W. L.; OLIVEIRA NETO, F. G.. Participação em banca de Filipe Neves Cavalcante. Uma Abordagem para Transformações entre Interfaces de Java Collections Framework Utilizando Técnicas de Reescrita. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

11.
MASSONI, T. L.; MACHADO, P. D. L.; ANDRADE, W. L.; OLIVEIRA NETO, F. G.. Participação em banca de Gabriella Mayara Tavares Alves. Um estudo sobre automatização de testes em ambientes ágeis. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

12.
GUERRERO, D. D. S.; FIGUEIREDO, J. C. A.; CAMPOS, L. M. R. S.; ANDRADE, W. L.. Participação em banca de Luiz Augusto de Macedo Morais. Estudo sobre os Efeitos do Método Self-Paced Learning em um Curso Introdutório de Programação. 2014. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

13.
GUERRERO, D. D. S.; CAMPOS, L. M. R. S.; ANDRADE, W. L.. Participação em banca de Kláudio Henrique Mascarenhas Medeiros. Estudo sobre os Efeitos da Gamificação em um Curso Introdutório de Programação. 2014. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

14.
MASSONI, T. L.; MACHADO, P. D. L.; GHEYI, R.; ANDRADE, W. L.. Participação em banca de Berg Élisson Sampaio Cavalcante. Seleção e Priorização de Casos de Teste em um Contexto de Mudanças. 2014. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

15.
GHEYI, R.; FARIAS, A.; ANDRADE, W. L.. Participação em banca de Larissa Nadja Braz Brasileiro Barbosa. Uma Abordagem para Avaliação e Melhoria Contínua da Qualidade de Software. 2014. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

16.
RAMALHO, F. S.; FARIAS, A.; MACHADO, P. D. L.; ANDRADE, W. L.. Participação em banca de Daniel Gondim Ernesto de Melo. Uma abordagem para construção das etapas de análise de um Compilador. 2012. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

17.
MASSONI, T. L.; FARIAS, A.; GUERRERO, D. D. S.; ANDRADE, W. L.. Participação em banca de Mikaela Anuska Oliveira Maia. Uma abordagem para flexibilização do uso do Java Collections Framework. 2012. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

Trabalhos de conclusão de curso de graduação
1.
MACHADO, P. D. L.; FECHINE, J. M.; OLIVEIRA NETO, F. G.; ANDRADE, W. L.. Participação em banca de 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 Ciência da Computação) - Universidade Federal de Campina Grande.

2.
JUCÁ, M. A.; ANDRADE, W. L.; SILVA, T. M.. Participação em banca de Fabienne Gomes Guedes.Uma abordagem experimental para avaliação de testes funcionais em sistemas web utilizando Seleniun e TestGen4web. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos.

3.
MACHADO, P. D. L.; ALMEIDA, H. O.; CARTAXO, E. G.; ANDRADE, W. L.. Participação em banca de Francisco Gomes de Oliveira Neto.Reengenharia da Ferramenta LTS-BT. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
OLIVEIRA, N. A.; SCAICO, P. D.; ANDRADE, W. L.. Participação em banca de Marciana Evelline das Neves Prudêncio.O Uso de JDBC no Desenvolvimento do Software SisLM. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos.

5.
SUAREZ, P. R.; SCAICO, P. D.; ANDRADE, W. L.. Participação em banca de Vitor Abílio Sobral Dias Afonso.Extreme Programming e sua Utilização no Desenvolvimento do Software ORNET - Atendimento a Clientes. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos.

6.
SUAREZ, P. R.; SCAICO, P. D.; ANDRADE, W. L.. Participação em banca de Ana Cristina Freitas César.Aplicando Padrões de Qualidade no Sistema de Referência Bibliográfica. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos.



Participação em bancas de comissões julgadoras
Concurso público
1.
SOUZA, F. V. C.; ANDRADE, W. L.; NUNES, I. D.. Concurso Público de Provas e Títulos para Professor Adjunto A na área Informática na Educação. 2015. Universidade Federal da Paraíba.

2.
REBOUÇAS, A. D. D. S.; SAUVÉ, J. P.; ANDRADE, W. L.. Concurso Público para Professor Adjunto na área de Ciência da Computação. 2013. Universidade Federal da Paraíba.

3.
SOUZA, E. P. R.; SARAIVA, J. A. G.; ANDRADE, W. L.. Concurso Público de Provas e Títulos para Professor Assistente I na área de Informática (Matéria: Métodos Formais, Testes e Engenharia de Software Experimental). 2013. Universidade Federal Rural de Pernambuco.

4.
ANDRADE, W. L.; VIEIRA, P. K. M.; SANTANA, A. T. F.. Concurso Público de Provas e Títulos para Professor da Carreira do Magistério Superior (Matéria: Banco de Dados, Banco de Dados Avançado, Data Warehouse, Modelagem Conceitual de Dados e Áreas afins). 2013. Universidade Federal Rural de Pernambuco.

5.
FARIAS, A.; ANDRADE, W. L.; IYODA, J. M.. Concurso Público para Docentes na área de Compiladores, Linguagens Formais e Autômatos. 2012. Universidade Estadual da Paraíba.

6.
FARIAS, A.; ANDRADE, W. L.; DIAS, G. A.. Concurso Público para Docentes na área de Tecnologia da Informação. 2012. Universidade Estadual da Paraíba.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
2018 IEEE Frontiers in Education Conference (FIE). 2018. (Congresso).

2.
26th IEEE International Requirements Engineering Conference (RE 2018). Integrating Requirements Specification and Model-Based Testing in Agile Development. 2018. (Congresso).

3.
III Brazilian Symposium on Systematic and Automated Software Testing (SAST 2018). 2018. (Simpósio).

4.
12th IEEE/ACM International Workshop on Automation of Software Test (AST 2017).Analyzing Automatic Test Generation Tools for Refactoring Validation. 2017. (Outra).

5.
2017 IEEE Frontiers in Education Conference (FIE). 2017. (Congresso).

6.
39th International Conference on Software Engineering (ICSE 2017). 2017. (Congresso).

7.
8th Brazilian Conference on Software: Theory and Practice (CBSoft 2017). 2017. (Congresso).

8.
2016 IEEE Frontiers in Education Conference (FIE). 1) Can Computational Thinking help me? A quantitative study of its effects on education / 2) A Systematic Mapping Study on Assessing Computational Thinking Abilities. 2016. (Congresso).

9.
II Workshop de Ensino em Pensamento Computacional, Algoritmos e Programação (WAlgProg 2016). 2016. (Outra).

10.
V Congresso Brasileiro de Informática da Educação (CBIE 2016). 2016. (Congresso).

11.
6th Brazilian Conference on Software: Theory and Practice (CBSoft 2015). SORTT - A Service Oriented RequirementsTraceability Tool (Apresentação de trabalho na Sessão de Ferramentas). 2015. (Congresso).

12.
9th Brazilian Workshop on Systematic and Automated Software Testing (SAST 2015). 2015. (Outra).

13.
10th Workshop on Advances in Model Based Testing (A-MOST 2014). 2014. (Outra).

14.
5th Brazilian Conference on Software: Theory and Practice (CBSoft 2014). 2014. (Congresso).

15.
8th Brazilian Workshop on Systematic and Automated Software Testing (SAST 2014). 2014. (Outra).

16.
Seventh IEEE International Conference on Software Testing, Verification and Validation (ICST 2014). 2014. (Congresso).

17.
4th Brazilian Conference on Software: Theory and Practice (CBSoft 2013). Formal Software Testing (Minicurso Ministrado). 2013. (Congresso).

18.
7th Brazilian Workshop on Systematic and Automated Software Testing (SAST 2013). 2013. (Outra).

19.
Dagstuhl Seminar on Symbolic Methods in Testing (Dagstuhl Seminar 13021).Symbolic Model-Based Testing of Real-Time Systems using SYMBOLRT. 2013. (Seminário).

20.
2nd Workshop on Theses and Dissertations of CBSoft (WTDSoft 2012). 2012. (Outra).

21.
3rd Brazilian Conference on Software: Theory and Practice (CBSoft 2012). Model-Based Testing for Real-Time Systems (Tutorial Ministrado). 2012. (Congresso).

22.
3rd Brazilian Conference on Software: Theory and Practice (CBSoft 2012) - 19th Tools Session. SYMBOLRT: A Tool for Symbolic Model-Based Test Case Generation for Real-Time Systems. 2012. (Congresso).

23.
6th Brazilian Workshop on Systematic and Automated Software Testing (SAST 2012). 2012. (Outra).

24.
1º Fórum de Licenciatura em Computação. 2009. (Outra).

25.
5th TAROT Summer School on Software Testing.Symbolic Model-Based Testing for Real-Time Systems. 2009. (Outra).

26.
Brazilian Symposium on Formal Methods (SBMF 2009).Interruption Testing of Reactive Systems (Apresentação de Artigo). Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS (Apresentação de Artigo). Formal Models for Automatic Test Case Generation (Minicurso Ministrado). 2009. (Simpósio).

27.
11th Brazilian Symposium on Formal Methods (SBMF 2008). 2008. (Simpósio).

28.
2nd Brazilian Workshop on Systematic and Automated Software Testing (SAST 2008).Modeling and Testing Interruptions in Reactive Systems Using Symbolic Models (Apresentação de Artigo). 2008. (Outra).

29.
I Jornada de Atualização em Tecnologia da Informação e Comunicação (JATIC 2008).Testes de Software (Minicurso Ministrado). 2008. (Outra).

30.
V Encontro Regional de Educação em Ciências e Tecnologia do CCT/UEPB.Introdução ao Teste de Software (Minicurso Ministrado). 2008. (Encontro).

31.
XXII Simpósio Brasileiro de Engenharia de Sofware (SBES 2008). 2008. (Simpósio).

32.
XXVI Congresso Nacional dos Estudantes de Computação (ENECOMP 2008). Introdução ao Teste de Software com JUnit e EMMA (Minicurso Ministrado). 2008. (Congresso).

33.
10th Brazilian Symposium on Formal Methods (SBMF 2007). 2007. (Simpósio).

34.
2nd Pernambuco School of Software Engineering - Testing. 2007. (Outra).

35.
2nd Workshop on Logical and Semantic Frameworks with Applications (LSFA 2007). 2007. (Outra).

36.
I Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007). 2007. (Outra).

37.
III Workshop de Peer-to-Peer (WP2P 2007). 2007. (Outra).

38.
Seventh International Conference on Quality Software (QSIC 2007).The Oracle Problem for Testing against Quantified Properties (Apresentação de Artigo). 2007. (Outra).

39.
VII Escola Regional de Computação Bahia - Alagoas - Sergipe (ERBASE 2007).Teste Formal (Minicurso Ministrado). 2007. (Outra).

40.
VIII Workshop de Testes e Tolerância a Falhas (WTF 2007).Geração de Casos de Teste de Interrupção para Aplicações de Celulares (Apresentação de Artigo). 2007. (Outra).

41.
XV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2007). 2007. (Simpósio).

42.
XXI Simpósio Brasileiro de Engenharia de Sofware (SBES 2007). 2007. (Simpósio).

43.
17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006). 2006. (Simpósio).

44.
9th Brazilian Symposium on Formal Methods (SBMF 2006). 2006. (Simpósio).

45.
6º Fórum Internacional Software Livre.Experiência no Uso de Ferramentas Livres para o Teste Funcional de Componentes de Software (Apresentação de Artigo). 2005. (Outra).

46.
I Congresso de Iniciação Científica (CIC 2004). Desenvolvimento de Ferramentas para Extração de Casos de Teste a partir de Especificações em UML/RPOO (Apresentação de Artigo). 2004. (Congresso).

47.
I Fórum OurGrid sobre Grids Computacionais. 2004. (Outra).

48.
II Fórum OurGrid. 2004. (Outra).

49.
IV Workshop de Desenvolvimento Baseado em Componentes (WDBC 2004). 2004. (Outra).

50.
VI Workshop de Métodos Formais (WMF 2003). 2003. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
ANDRADE, W. L.; SANTIAGO JÚNIOR, V. A. . 8th Brazilian Workshop on Systematic and Automated Software Testing (SAST 2014). 2014. (Outro).

2.
FARIAS, A. ; ANDRADE, W. L. . XII Workshop de Teses e Dissertações da COPIN (WDCOPIN 2013). 2013. (Outro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Isabelle Maria Lima de Souza. Uma estratégia para estimular o Pensamento Computacional através da Robótica. Início: 2018. 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).

2.
Lucas Ribeiro de Andrade. Identificando 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).

3.
Jaziel Silva Moreira. Um Estudo sobre a Inclusão de Defeitos durante Refatoramentos realizados junto com a Evolução do Software. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

4.
Anderson Gustafson Freire da Silva. Um Estudo sobre o Impacto da Evolução de Casos de Uso no Contexto de Teste Baseado em Modelo. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande. (Orientador).

Tese de doutorado
1.
Jarbele Cássia da Silva Coutinho. Análise do (Re)Trabalho com Requisitos de Software na Geração de Testes em um Contexto Ágil. Início: 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande. (Orientador).

2.
Raphael de Carvalho Muniz. Investigação de Técnicas e Ferramentas para Identificação de Vulnerabilidades em Sistemas Críticos. Início: 2016. 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.
Diego Rodrigues de Almeida. Geração e Execução de Casos de Teste para Aplicações Móveis Cientes de Contexto. Início: 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande. (Orientador).

4.
Ana Liz Souto Oliveira de Araújo. Investigação de Métricas no Contexto de Pensamento Computacional. Início: 2015. 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.
Larissa Nepomuceno Costa. Investigação sobre o Uso de Teletrabalho no Contexto de Metodologias Ágeis. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Fundação Parque Tecnológico da Paraíba. Orientador: Wilkerson de Lucena Andrade.

2.
Rivanilson da Silva Rodrigues. Um estudo sobre os efeitos do Pensamento Computacional na educação. 2017. 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: Wilkerson de Lucena Andrade.

3.
Palloma Alencar Alves Mestre. O Uso do Pensamento Computacional como Estratégia para Resolução de Problemas Matemáticos. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Wilkerson de Lucena Andrade.

4.
Achiles Pedro da Cunha Luciano. Uma Pesquisa Qualitativa das Práticas de Testes de Software no Contexto das Aplicações Móveis. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Fundação Parque Tecnológico da Paraíba. Orientador: Wilkerson de Lucena Andrade.

5.
Dalton Nicodemos Jorge. CLARET: Um Artefato Central para Engenharia de Requisitos e Teste Baseado em Modelos. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Fundação Parque Tecnológico da Paraíba. Orientador: Wilkerson de Lucena Andrade.

6.
Arthur de Sousa Marques. Uma Abordagem para Representação e Rastreio de Artefatos. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Wilkerson de Lucena Andrade.

7.
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. Coorientador: Wilkerson de Lucena Andrade.

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: Wilkerson de Lucena Andrade.

2.
Adriana Carla Damasceno. Towards a Test Generation Approach for Compositional Real-Time Systems. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Wilkerson de Lucena Andrade.

Iniciação científica
1.
André Araújo Falcão Gonçalves. Definição de Critérios de Cobertura de Dados para a Geração de Testes Utilizando Modelos Simbólicos. 2015. 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: Wilkerson de Lucena Andrade.

2.
Gleyser Bonfim Guimarães. Automação de Casos de Teste de Sistemas de Tempo Real implementados em Java. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande. Orientador: Wilkerson de Lucena Andrade.

3.
Samantha Karolynne Evangelista Monteiro. Execução Automática de Casos de Teste no Contexto dos Sistemas de Tempo Real Implementados em Java. 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: Wilkerson de Lucena Andrade.

4.
Wesley Nunes Marques Torres. Automação de Casos de Teste de Sistemas de Tempo Real formados por Componentes. 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: Wilkerson de Lucena Andrade.

5.
Germano Poliano Rodrigues Gualberto. Integrando Geração e Execução de Casos de Teste no Contexto dos 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: Wilkerson de Lucena Andrade.

6.
Jeanderson Barros Cândido. Especificação de sistemas de tempo real através de uma linguagem de alto nível. 2012. 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: Wilkerson de Lucena Andrade.

7.
Joeffison Silvério de Andrade. Investigação de Técnicas de Teste no Contexto de Sistemas de Tempo Real. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande. Orientador: Wilkerson de Lucena Andrade.

Orientações de outra natureza
1.
Everton Leandro Galdino Alves. Mapeamento entre Modelos UML 2.0 e Modelos Simbólicos Temporais. 2009. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Campina Grande. Orientador: Wilkerson de Lucena Andrade.

2.
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. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Campina Grande. Orientador: Wilkerson de Lucena Andrade.



Inovação



Patente
1.
 GUSMAO, R. P. ; BARROS, T. S. ; SOUZA, T. A. S. ; ANDRADE, W. L. . Sistema Mobile para Aquisição de Dados de Análises Sensoriais de Alimentos. 2018, Brasil.
Patente: Privilégio de Inovação. Número do registro: BR1020180678485, título: "Sistema Mobile para Aquisição de Dados de Análises Sensoriais de Alimentos" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial. Depósito: 04/09/2018


Programa de computador registrado
1.
GUSMAO, R. P. ; BARROS, T. S. ; SOUZA, T. A. S. ; ANDRADE, W. L. . SFA - SENSORY FOOD ANALYSIS. 2018.
Patente: Programa de Computador. Número do registro: BR512018001012-1, data de registro: 25/06/2018, título: "SFA - SENSORY FOOD ANALYSIS" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.

2.
JORGE, D. N. ; ANDRADE, W. L. ; MACHADO, P. D. L. . CLARET - Central Artifact for Requirements Engineering and Model-Based Testing. 2018.
Patente: Programa de Computador. Número do registro: BR512018051575-4, data de registro: 04/09/2018, título: "CLARET - Central Artifact for Requirements Engineering and Model-Based Testing" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.


Programa de computador sem registro
1.
CARTAXO, E. G. ; OLIVEIRA NETO, F. G. ; ANDRADE, W. L. ; NASCIMENTO, L. H. O. ; MACHADO, P. D. L. . LTS-BT: A tool to Generate and Select Functional Test Cases for Mobile Phone Applications. 2007.

2.
ANDRADE, W. L.; ALMEIDA, D. R. ; CANDIDO, J. B. ; MACHADO, P. D. L. . SYMBOLRT: A Tool for Symbolic Model-Based Test Case Generation for Real-Time Systems. 2012.

3.
MARQUES, A. S. ; RAMALHO, F. S. ; ANDRADE, W. L. . SORTT - A Service Oriented Requirements Traceability Tool. 2015.

4.
JORGE, D. N. ; SILVA, M. ; GORGONIO, U. S. ; FREIRE, A. S. ; FONTINELE, I. S. D. ; ARAÚJO, P. S. S. ; GUALBERTO, G. P. R. ; ANDRADE, W. L. . Controle de Presença Escolar através de Identificação Biométrica. 2013.

5.
PAES, C. C. M. ; MEDEIROS, A. E. C. ; BEZERRA, H. V. N. ; OLIVEIRA, J. T. ; COSTA, L. N. ; ALVES, W. A. ; SILVA, A. G. F. ; YAMAGUCHI, G. N. S. ; SMANEOTO, T. M. ; ANDRADE, W. L. . SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium (Transf. de Tecnologia para a Ingenico). 2014.

6.
OLIVEIRA, J. T. ; SILVA, A. G. F. ; LINS, M. L. U. B. ; ANDRADE, W. L. . TCoM - TMA Command Mode Application (Transf. de Tecnologia para a Ingenico). 2015.

7.
JORGE, D. N. ; LUCIANO, A. P. C. ; FIGUEREDO, L. M. ; FONTENELE, R. R. ; SILVA, T. G. ; CASTRO, T. F. ; TORRES, W. N. M. ; BATISTA, Y. S. ; RUFINO, A. O. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; ANDRADE, W. L. . Loja de Produtos. 2015.

8.
JORGE, D. N. ; LUCIANO, A. P. C. ; FIGUEREDO, L. M. ; FONTENELE, R. R. ; SILVA, T. G. ; CASTRO, T. F. ; TORRES, W. N. M. ; BATISTA, Y. S. ; RUFINO, A. O. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; ANDRADE, W. L. . Venda Direta. 2015.

9.
JORGE, D. N. ; LUCIANO, A. P. C. ; FIGUEREDO, L. M. ; FONTENELE, R. R. ; SILVA, T. G. ; CASTRO, T. F. ; TORRES, W. N. M. ; BATISTA, Y. S. ; RUFINO, A. O. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; ANDRADE, W. L. . Ingefood. 2015.

10.
OLIVEIRA, J. T. ; RUFINO, A. O. ; JORGE, D. N. ; SILVA, A. G. F. ; MEDEIROS, A. E. C. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; LEDO, R. N. O. ; ANDRADE, W. L. . SYSCIT - Sistema de Controle de Ferramentas Ingenico (Transf. de Tecnologia para a Ingenico). 2016.

11.
PAES, C. C. M. ; COSTA, L. N. ; BEZERRA, H. V. N. ; OLIVEIRA, J. T. ; ANDRADE, W. L. . Extrator de Arquivos de Falhas dos Terminais Ingenico Telium (Transf. de Tecnologia para a Ingenico). 2014.

12.
RUFINO, A. O. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; JORGE, D. N. ; ANDRADE, W. L. . MDBAutoUploader (Transf. de Tecnologia para a Ingenico). 2016.

13.
JORGE, D. N. ; ARAÚJO, P. S. S. ; OLIVEIRA FILHO, J. C. ; ANDRADE, W. L. . IngePrinter (Transf. de Tecnologia para a Ingenico). 2016.

14.
JORGE, D. N. ; ARAÚJO, P. S. S. ; OLIVEIRA FILHO, J. C. ; ANDRADE, W. L. . Controle de Acesso através de Reconhecimento Biométrico. 2016.

15.
COSTA, L. N. ; PAES, C. C. M. ; BEZERRA, H. V. N. ; BATISTA, Y. S. ; BARBOSA, M. L. L. ; NEGREIROS, C. S. V. ; BARBOSA, L. W. M. ; ANDRADE, A. J. V. ; ANDRADE, W. L. . PCBA Control Client (Transf. de Tecnologia para a Ingenico). 2017.

16.
COSTA, L. N. ; PAES, C. C. M. ; BEZERRA, H. V. N. ; BATISTA, Y. S. ; BARBOSA, M. L. L. ; NEGREIROS, C. S. V. ; BARBOSA, L. W. M. ; ANDRADE, A. J. V. ; ANDRADE, W. L. . PCBA Control Server (Transf. de Tecnologia para a Ingenico). 2017.

17.
JORGE, D. N. ; ELEUTERIO, S. P. ; SILVA, A. G. F. ; OLIVEIRA, J. T. ; BAPTISTA, C. S. ; SILVA JUNIOR, J. Z. ; ARAÚJO, P. S. S. ; LEDO, R. N. O. ; LAURENTINO, L. G. S. ; SOUSA, R. B. A. ; ANDRADE, W. L. . TCoM Server (Transf. de Tecnologia para a Ingenico). 2017.

18.
OLIVEIRA, J. T. ; SILVA, A. G. F. ; LAURENTINO, L. G. S. ; ARAÚJO, P. S. S. ; OLIVEIRA FILHO, J. C. ; ELEUTERIO, S. P. ; LEDO, R. N. O. ; SOUSA, R. B. A. ; JORGE, D. N. ; SILVA JUNIOR, J. Z. ; ANDRADE, W. L. . TCoM Mobile (Transf. de Tecnologia para a Ingenico). 2017.

19.
JORGE, D. N. ; ANDRADE, W. L. ; MACHADO, P. D. L. . CLARET - Central Artifact for Requirements Engineering and Model-Based Testing. 2017.

20.
OLIVEIRA, J. T. ; COSTA, L. N. ; BARBOSA, M. L. L. ; NEGREIROS, C. S. V. ; BATISTA, Y. S. ; ANDRADE, W. L. . TCoM Desktop (Transf. de Tecnologia para a Ingenico). 2018.


Projetos de pesquisa

Projeto de desenvolvimento tecnológico


Educação e Popularização de C & T



Programa de Computador sem registro de patente
1.
COSTA, L. N. ; PAES, C. C. M. ; BEZERRA, H. V. N. ; BATISTA, Y. S. ; BARBOSA, M. L. L. ; NEGREIROS, C. S. V. ; BARBOSA, L. W. M. ; ANDRADE, A. J. V. ; ANDRADE, W. L. . PCBA Control Client (Transf. de Tecnologia para a Ingenico). 2017.

2.
COSTA, L. N. ; PAES, C. C. M. ; BEZERRA, H. V. N. ; BATISTA, Y. S. ; BARBOSA, M. L. L. ; NEGREIROS, C. S. V. ; BARBOSA, L. W. M. ; ANDRADE, A. J. V. ; ANDRADE, W. L. . PCBA Control Server (Transf. de Tecnologia para a Ingenico). 2017.

3.
JORGE, D. N. ; ELEUTERIO, S. P. ; SILVA, A. G. F. ; OLIVEIRA, J. T. ; BAPTISTA, C. S. ; SILVA JUNIOR, J. Z. ; ARAÚJO, P. S. S. ; LEDO, R. N. O. ; LAURENTINO, L. G. S. ; SOUSA, R. B. A. ; ANDRADE, W. L. . TCoM Server (Transf. de Tecnologia para a Ingenico). 2017.

4.
OLIVEIRA, J. T. ; SILVA, A. G. F. ; LAURENTINO, L. G. S. ; ARAÚJO, P. S. S. ; OLIVEIRA FILHO, J. C. ; ELEUTERIO, S. P. ; LEDO, R. N. O. ; SOUSA, R. B. A. ; JORGE, D. N. ; SILVA JUNIOR, J. Z. ; ANDRADE, W. L. . TCoM Mobile (Transf. de Tecnologia para a Ingenico). 2017.

5.
JORGE, D. N. ; ANDRADE, W. L. ; MACHADO, P. D. L. . CLARET - Central Artifact for Requirements Engineering and Model-Based Testing. 2017.

6.
OLIVEIRA, J. T. ; RUFINO, A. O. ; JORGE, D. N. ; SILVA, A. G. F. ; MEDEIROS, A. E. C. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; LEDO, R. N. O. ; ANDRADE, W. L. . SYSCIT - Sistema de Controle de Ferramentas Ingenico (Transf. de Tecnologia para a Ingenico). 2016.

7.
RUFINO, A. O. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; JORGE, D. N. ; ANDRADE, W. L. . MDBAutoUploader (Transf. de Tecnologia para a Ingenico). 2016.

8.
JORGE, D. N. ; ARAÚJO, P. S. S. ; OLIVEIRA FILHO, J. C. ; ANDRADE, W. L. . IngePrinter (Transf. de Tecnologia para a Ingenico). 2016.

9.
JORGE, D. N. ; ARAÚJO, P. S. S. ; OLIVEIRA FILHO, J. C. ; ANDRADE, W. L. . Controle de Acesso através de Reconhecimento Biométrico. 2016.

10.
MARQUES, A. S. ; RAMALHO, F. S. ; ANDRADE, W. L. . SORTT - A Service Oriented Requirements Traceability Tool. 2015.

11.
OLIVEIRA, J. T. ; SILVA, A. G. F. ; LINS, M. L. U. B. ; ANDRADE, W. L. . TCoM - TMA Command Mode Application (Transf. de Tecnologia para a Ingenico). 2015.

12.
JORGE, D. N. ; LUCIANO, A. P. C. ; FIGUEREDO, L. M. ; FONTENELE, R. R. ; SILVA, T. G. ; CASTRO, T. F. ; TORRES, W. N. M. ; BATISTA, Y. S. ; RUFINO, A. O. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; ANDRADE, W. L. . Loja de Produtos. 2015.

13.
JORGE, D. N. ; LUCIANO, A. P. C. ; FIGUEREDO, L. M. ; FONTENELE, R. R. ; SILVA, T. G. ; CASTRO, T. F. ; TORRES, W. N. M. ; BATISTA, Y. S. ; RUFINO, A. O. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; ANDRADE, W. L. . Venda Direta. 2015.

14.
JORGE, D. N. ; LUCIANO, A. P. C. ; FIGUEREDO, L. M. ; FONTENELE, R. R. ; SILVA, T. G. ; CASTRO, T. F. ; TORRES, W. N. M. ; BATISTA, Y. S. ; RUFINO, A. O. ; OLIVEIRA FILHO, J. C. ; ARAÚJO, P. S. S. ; ANDRADE, W. L. . Ingefood. 2015.

15.
PAES, C. C. M. ; MEDEIROS, A. E. C. ; BEZERRA, H. V. N. ; OLIVEIRA, J. T. ; COSTA, L. N. ; ALVES, W. A. ; SILVA, A. G. F. ; YAMAGUCHI, G. N. S. ; SMANEOTO, T. M. ; ANDRADE, W. L. . SAFF - Análise Estatística dos Arquivos de Falhas dos Terminais Ingenico Telium (Transf. de Tecnologia para a Ingenico). 2014.

16.
PAES, C. C. M. ; COSTA, L. N. ; BEZERRA, H. V. N. ; OLIVEIRA, J. T. ; ANDRADE, W. L. . Extrator de Arquivos de Falhas dos Terminais Ingenico Telium (Transf. de Tecnologia para a Ingenico). 2014.

17.
JORGE, D. N. ; SILVA, M. ; GORGONIO, U. S. ; FREIRE, A. S. ; FONTINELE, I. S. D. ; ARAÚJO, P. S. S. ; GUALBERTO, G. P. R. ; ANDRADE, W. L. . Controle de Presença Escolar através de Identificação Biométrica. 2013.

18.
ANDRADE, W. L.; ALMEIDA, D. R. ; CANDIDO, J. B. ; MACHADO, P. D. L. . SYMBOLRT: A Tool for Symbolic Model-Based Test Case Generation for Real-Time Systems. 2012.

19.
CARTAXO, E. G. ; OLIVEIRA NETO, F. G. ; ANDRADE, W. L. ; NASCIMENTO, L. H. O. ; MACHADO, P. D. L. . LTS-BT: A tool to Generate and Select Functional Test Cases for Mobile Phone Applications. 2007.

20.
BARBOSA, D. L. ; ANDRADE, W. L. ; MACHADO, P. D. L. . SPACES - SPecification bAsed Component tESter. 2004.

21.
ANDRADE, W. L.; OLIVEIRA, K. A. ; MACHADO, P. D. L. . CASLTest - Test Design and Generations from CASL Specifications. 2003.


Entrevistas, mesas redondas, programas e comentários na mídia
1.
MONTEIRO, J. A. B. ; ANDRADE, W. L. ; BARROS, M. A. ; MOURA, A. J. B. ; DUNGA JUNIOR, C. . O que o DSC tem feito e como podemos gerar maior impacto na sociedade?. 2017. (Programa de rádio ou TV/Mesa redonda).

2.
MACHADO, P. D. L. ; ENDO, A. T. ; ANDRADE, W. L. ; TRAVASSOS, G. H. ; LABICHE, Y. . Automated vs Manual Testing: Finding the Right Balance. 2017. (Programa de rádio ou TV/Mesa redonda).


Programa de Computador registrado
1.
GUSMAO, R. P. ; BARROS, T. S. ; SOUZA, T. A. S. ; ANDRADE, W. L. . SFA - SENSORY FOOD ANALYSIS. 2018.
Patente: Programa de Computador. Número do registro: BR512018001012-1, data de registro: 25/06/2018, título: "SFA - SENSORY FOOD ANALYSIS" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.

2.
JORGE, D. N. ; ANDRADE, W. L. ; MACHADO, P. D. L. . CLARET - Central Artifact for Requirements Engineering and Model-Based Testing. 2018.
Patente: Programa de Computador. Número do registro: BR512018051575-4, data de registro: 04/09/2018, título: "CLARET - Central Artifact for Requirements Engineering and Model-Based Testing" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.




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