Wilkerson Andrade
Wilkerson Andrade
Verified email at computacao.ufcg.edu.br - Homepage
Title
Cited by
Cited by
Year
LTS-BT: a tool to generate and select functional test cases for embedded systems
EG Cartaxo, WL Andrade, FGO Neto, PDL Machado
Proceedings of the 2008 ACM symposium on Applied computing, 1540-1544, 2008
482008
A systematic mapping study on assessing computational thinking abilities
ALSO de Araujo, WL Andrade, DDS Guerrero
2016 IEEE frontiers in education conference (FIE), 1-9, 2016
432016
Um mapeamento sistemático sobre a avaliaçao do pensamento computacional no brasil
AL Araujo, W Andrade, D Guerrero
Anais dos Workshops do Congresso Brasileiro de Informática na Educação 5 (1 …, 2016
322016
Generating interaction test cases for mobile phone systems from use case specifications
ALL de Figueiredo, WL Andrade, PDL Machado
ACM SIGSOFT Software Engineering Notes 31 (6), 1-10, 2006
262006
Automating functional testing of components from UML specifications
DL Barbosa, HS Lima, PDL Machado, JCA Figueiredo, MA Juca, ...
International Journal of Software Engineering and Knowledge Engineering 17 …, 2007
222007
Generating test cases for real-time systems based on symbolic models
WL Andrade, PDL Machado
IEEE Transactions on Software Engineering 39 (9), 1216-1229, 2013
212013
Abstracting time and data for conformance testing of real-time systems
WL Andrade, PDL Machado, T Jéron, H Marchand
2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011
202011
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
R da Silva Rodrigues, W Andrade, D Guerrero, L Sampaio
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2015
192015
Pensamento Computacional: Um estudo empírico sobre as questões de matemática do PISA
P Mestre, W Andrade, D Guerrero, L Sampaio, R da Silva Rodrigues, ...
Anais dos Workshops do Congresso Brasileiro de Informática na Educação 4 (1 …, 2015
182015
SPACES-uma ferramenta para teste funcional de componentes
DL Barbosa, WL Andrade, PDL Machado, JCA Figueiredo
18th SBES–11th Tools Session, 55-60, 2004
172004
Pensamento Computacional sob a visão dos profissionais da computação: uma discussão sobre conceitos e habilidades
AL Araujo, W Andrade, D Serey
Anais dos Workshops do Congresso Brasileiro de Informática na Educação 4 (1 …, 2015
162015
Test case generation of embedded real-time systems with interruptions for FreeRTOS
WL Andrade, PDL Machado, ELG Alves, DR Almeida
Brazilian Symposium on Formal Methods, 54-69, 2009
152009
Pensamento computacional em sala de aula: Desafios, possibilidades e a formaçao docente
A Farias, W Andrade, R Alencar
Anais dos Workshops do Congresso Brasileiro de Informática na Educação 4 (1 …, 2015
132015
Comparing model-based testing with traditional testing strategies: An empirical study
A Marques, F Ramalho, WL Andrade
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
112014
How Many Abilities Can We Measure in Computational Thinking? A Study on Bebras Challenge
ALSO Araujo, WL Andrade, DDS Guerrero, MRA Melo
Proceedings of the 50th ACM Technical Symposium on Computer Science …, 2019
102019
A Systematic Review on the use of LEGO® Robotics in Education
IML Souza, WL Andrade, LMR Sampaio, ALSO Araujo
2018 IEEE Frontiers in Education Conference (FIE), 1-9, 2018
82018
Exploring computational thinking assessment in introductory programming courses
ALSO Araujo, JS Santos, WL Andrade, DDS Guerrero, V Dagienė
2017 IEEE Frontiers in Education Conference (FIE), 1-9, 2017
82017
Explorando Robótica com Pensamento Computacional no Ensino Médio: Um estudo sobre seus efeitos na educação
IML de Souza, R da Silva Rodrigues, W Andrade
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2016
82016
A family of test selection criteria for timed input-output symbolic transition system models
A Moraes, WL Andrade, PDL Machado
Science of Computer Programming 126, 52-72, 2016
82016
Testing interruptions in reactive systems
WL Andrade, PDL Machado
Formal Aspects of Computing 24 (3), 331-353, 2012
82012
The system can't perform the operation now. Try again later.
Articles 1–20