| 2015 |
Trabalho em evento |
SORTT - A Service Oriented RequirementsTraceability Tool
Arthur De Sousa MARQUES; Franklin De Souza RAMALHO; Wilkerson De Lucena ANDRADE
6th Brazilian Conference on Software: Theory and Practice (CBSoft 2015) - 22nd Tools Session
|
PS
Software
|
| 2015 |
Trabalho em evento |
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
Rivanilson Da Silva RODRIGUES; Wilkerson De Lucena ANDRADE; Dalton Dario Serey GUERRERO; Lívia Maria Rodrigues Sampaio CAMPOS
IV Congresso Brasileiro de Informática na Educação (CBIE 2015) / XXVI Simpósio Brasileiro de Informática na Educação (SBIE 2015)
ISBN 2316-6533
|
PS
Computer Science Applications
|
| 2015 |
Trabalho em evento |
Pensamento Computacional em Sala de Aula: Desafios; Possibilidades e a Formação Docente
Adelito Borba FARIAS; Wilkerson De Lucena ANDRADE; Rayana A ALENCAR
IV Congresso Brasileiro de Informática na Educação (CBIE 2015) / I Workshop de Ensino em Pensamento Computacional; Algoritmos e Programação (WAlgProg 2015)
ISBN 2316-8889
|
PS
Computer Science Applications
|
| 2015 |
Trabalho em evento |
Pensamento Computacional: Um estudo empírico sobre as questões de matemática do PISA
Palloma Alencar Alves MESTRE; Wilkerson De Lucena ANDRADE; Dalton Dario Serey GUERRERO; Lívia Maria Rodrigues Sampaio CAMPOS; Rivanilson Da Silva RODRIGUES et al
IV Congresso Brasileiro de Informática na Educação (CBIE 2015) / I Workshop de Ensino em Pensamento Computacional; Algoritmos e Programação (WAlgProg 2015)
ISBN 2316-8889
|
SH
Education
|
| 2015 |
Trabalho em evento |
Pensamento Computacional sob a visão dos profissionais da computação: uma discussão sobre conceitos e habilidades
Ana Liz Souto Oliveira De ARAÚJO; Wilkerson De Lucena ANDRADE; Dalton Dario Serey GUERRERO
IV Congresso Brasileiro de Informática na Educação (CBIE 2015) / I Workshop de Ensino em Pensamento Computacional; Algoritmos e Programação (WAlgProg 2015)
ISBN 2316-8889
|
PS
Computer Science Applications
|
| 2014 |
Trabalho em evento |
Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study
Arthur De Sousa MARQUES; Franklin De Souza RAMALHO; Wilkerson De Lucena ANDRADE
10th Workshop on Advances in Model Based Testing (A-MOST 2014)
DOI 10.1109/ICSTW.2014.29
ISBN 9781479957903
|
PS
Computer Science Applications
|
| 2013 |
Artigo em periódico |
Generating Test Cases for Real-Time Systems Based on Symbolic Models
Wilkerson De Lucena ANDRADE; Patrícia Duarte De Lima MACHADO
IEEE Transactions on Software Engineering
DOI 10.1109/TSE.2013.13
ISSN 0098-5589
|
PS
Software
|
| 2012 |
Trabalho em evento |
Automating Test Case Creation and Execution for Embedded Real-time Systems
Joeffison Silvério De ANDRADE; Lucas Ribeiro De ANDRADE; Augusto Queiroz De MACEDO; Wilkerson De Lucena ANDRADE; Patrícia Duarte De Lima MACHADO
6th Brazilian Workshop on Systematic and Automated Software Testing (SAST 2012)
|
PS
Computer Science Applications
|
| 2012 |
Trabalho em evento |
Automatic Test Generation of Compositional Real-Time Systems
Adriana Carla DAMASCENO; Wilkerson De Lucena ANDRADE; Patrícia Duarte De Lima MACHADO
2nd Workshop on Theses and Dissertations of CBSoft (WTDSoft 2012)
|
PS
Computer Science Applications
|
| 2012 |
Trabalho em evento |
SYMBOLRT: A Tool for Symbolic Model-Based Test Case Generation for Real-Time Systems
Wilkerson De Lucena ANDRADE; Diego Rodrigues De ALMEIDA; Jeanderson Barros CÂNDIDO; Patrícia Duarte De Lima MACHADO
3rd Brazilian Conference on Software: Theory and Practice (CBSoft 2012) - 19th Tools Session
|
PS
Computer Science Applications
|
| 2012 |
Artigo em periódico |
Testing interruptions in reactive systems
Wilkerson De Lucena ANDRADE; Patrícia Duarte De Lima MACHADO
Formal Aspects of Computing
DOI 10.1007/s00165-011-0197-0
ISSN 0934-5043
|
PS
Software
|
| 2011 |
Trabalho em evento |
Abstracting Time and Data for Conformance Testing of Real-Time Systems
Wilkerson De Lucena ANDRADE; Patrícia Duarte De Lima MACHADO; Thierry JÉRON; Hervé MARCHAND
7th Workshop on Advances in Model Based Testing (A-MOST 2011)
DOI 10.1109/ICSTW.2011.82
ISBN 9781457700194
|
PS
Computer Science Applications
|
| 2011 |
Trabalho em evento |
RealTimePCO - A Tool for Real-Time Embedded Systems Testing Execution
Augusto Queiroz De MACEDO; Wilkerson De Lucena ANDRADE; Patrícia Duarte De Lima MACHADO
II Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011) - Sessão de Ferramentas
|
PS
Software
|
| 2010 |
Trabalho em evento |
Mapeando Modelos de Teste em UTP para a plataforma FreeRTOS
Everton Leandro Galdino ALVES; Augusto Queiroz De MACEDO; Wilkerson De Lucena ANDRADE; Patrícia Duarte De Lima MACHADO; Franklin De Souza RAMALHO
IV Brazilian Workshop on Systematic and Automated Software Testing (SAST 2010)
|
PS
Software
|
| 2010 |
Trabalho em evento |
Automating Test Case Execution for Real-Time Embedded Systems
Augusto Queiroz De MACEDO; Wilkerson De Lucena ANDRADE; Diego Rodrigues De ALMEIDA; Patrícia Duarte De Lima MACHADO
22nd IFIP International Conference on Testing Software and Systems (ICTSS 2010)
ISBN 9782895221364
|
PS
Software
|
| 2009 |
Trabalho em evento |
Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS
Wilkerson De Lucena ANDRADE; Patrícia Duarte De Lima MACHADO; Everton Leandro Galdino ALVES; Diego Rodrigues De ALMEIDA
12nd Brazilian Symposium on Formal Methods (SBMF 2009)
ISBN 9783642104510
|
PS
Software
|
| 2009 |
Trabalho em evento |
Interruption Testing of Reactive Systems
Wilkerson De Lucena ANDRADE; Patrícia Duarte De Lima MACHADO
12nd Brazilian Symposium on Formal Methods (SBMF 2009)
ISBN 9783642104510
|
PS
Software
|
| 2008 |
Trabalho em evento |
LTSBT: A tool to Generate and Select Functional Test Cases for Embedded Systems
Emanuela Gadelha CARTAXO; Wilkerson De Lucena ANDRADE; Francisco Gomes De Oliveira NETO; Patrícia Duarte De Lima MACHADO
23rd Annual ACM Symposium on Applied Computing (SAC 2008)
ISBN 9781595937
|
PS
Computer Science Applications
|
| 2008 |
Trabalho em evento |
Modeling and Testing Interruptions in Reactive Systems Using Symbolic Models
Wilkerson De Lucena ANDRADE; Patrícia Duarte De Lima MACHADO
2nd Brazilian Workshop on Systematic and Automated Software Testing (SAST 2008)
|
PS
Computer Science Applications
|
| 2007 |
Trabalho em evento |
Geração de Casos de Teste de Interrupção para Aplicações de Celulares
Wilkerson De Lucena ANDRADE; Francisco Gomes De Oliveira NETO; Patrícia Duarte De Lima MACHADO
VIII Workshop de Testes e Tolerância a Falhas (WTF 2007)
ISBN 8576691191
|
PS
Computer Science Applications
|
| 2007 |
Trabalho em evento |
The Oracle Problem for Testing against Quantified Properties
Patrícia Duarte De Lima MACHADO; Wilkerson De Lucena ANDRADE
Seventh International Conference on Quality Software (QSIC 2007)
ISBN 0769530354
|
PS
Computational Theory and Mathematics
|
| 2007 |
Artigo em periódico |
Automating Functional Testing of Components from UML Specifications
Daniel Lima BARBOSA; Helton Souza LIMA; Patrícia Duarte De Lima MACHADO; Jorge César Abrantes De FIGUEIREDO; Makelli Araújo JUCÁ et al
International Journal of Software Engineering and Knowledge Engineering
DOI 10.1142/S0218194007003276
ISSN 0218-1940
|
PS
Software
|
| 2006 |
Artigo em periódico |
Generating Interaction Test Cases for Mobile Phone Systems from Use Case Specifications
André Luiz Lima De FIGUEIREDO; Wilkerson De Lucena ANDRADE; Patrícia Duarte De Lima MACHADO
Software Engineering Notes
DOI 10.1145/1218776.1218788
ISSN 0163-5948
|
PS
Software
|
| 2005 |
Trabalho em evento |
Experiência no Uso de Ferramentas Livres para o Teste Funcional de Componentes de Software
Wilkerson De Lucena ANDRADE; Helton Souza LIMA; Daniel Lima BARBOSA; Patrícia Duarte De Lima MACHADO; Jorge César Abrantes De FIGUEIREDO
6º Fórum Internacional Software Livre
ISBN 8588715074
|
PS
Software
|
| 2005 |
Trabalho em evento |
Proposta de um Neurônio Quântico
Wilkerson De Lucena ANDRADE; Bruno Coitinho ARAUJO; Herman Martins GOMES; Joseana Macêdo FECHINE
VII Congresso Brasileiro de Redes Neurais
|
PS
Artificial Intelligence
|