Wilkerson Andrade
Título
Citado por
Citado por
Ano
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
562016
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
522008
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
332016
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
252013
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
252006
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
242018
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
232011
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
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
202015
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
192015
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
182019
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
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
162017
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
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
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
Can Computational Thinking help me? A quantitative study of its effects on education
RS Rodrigues, WL Andrade, LMRS Campos
2016 IEEE Frontiers in Education Conference (FIE), 1-8, 2016
142016
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
142014
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
122016
SYMBOLRT: a tool for symbolic model-based test case generation for real-time systems
WL Andrade, DR Almeida, JB Cândido, PDL Machado
19th Tools Session of the 3rd Brazilian Conference on Software: Theory and …, 2012
102012
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20