Using Service-Oriented Architecture in Context-Aware Applications. - Damião Ribeiro de Almeida; Cláudio de Souza Baptista; Elvis Rodrigues da Silva; Cláudio E. C. Campelo; Camilo Porto Nunes; Bruno A. D. da Costa; Wilkerson de L. Andrade; Jairson M. Cabral (GEOINFO, 2005)

Generating interaction test cases for mobile phone systems from use case specifications. - André L. L. de Figueiredo; Wilkerson de L. Andrade; Patrícia D. L. Machado (ACM SIGSOFT Softw. Eng. Notes, 2006)

The Oracle Problem for Testing against Quantified Properties. - Patrícia D. L. Machado; Wilkerson de L. Andrade (QSIC, 2007)

Automating Functional Testing of Components from UML Specifications. - Daniel L. Barbosa; Helton S. Lima; Patrícia D. L. Machado; Jorge C. A. de Figueiredo; Makelli A. Jucá; Wilkerson de L. Andrade (Int. J. Softw. Eng. Knowl. Eng., 2007)

LTS-BT: a tool to generate and select functional test cases for embedded systems. - Emanuela Gadelha Cartaxo; Wilkerson de L. Andrade; Francisco G. Oliveira Neto; Patrícia D. L. Machado (SAC, 2008)

Interruption Testing of Reactive Systems. - Wilkerson de L. Andrade; Patrícia D. L. Machado (SBMF, 2009)

Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. - Wilkerson de L. Andrade; Patrícia D. L. Machado; Everton L. G. Alves; Diego R. Almeida (SBMF, 2009)

Abstracting Time and Data for Conformance Testing of Real-Time Systems. - Wilkerson de L. Andrade; Patrícia D. L. Machado; Thierry Jéron; Hervé Marchand (ICST Workshops, 2011)

Teste baseado em modelos simbólicos para sistemas de tempo real. - Wilkerson de L. Andrade (2011)

Testing interruptions in reactive systems. - Wilkerson de L. Andrade; Patrícia D. L. Machado (Formal Aspects Comput., 2012)

Generating Test Cases for Real-Time Systems Based on Symbolic Models. - Wilkerson de L. Andrade; Patrícia D. L. Machado (IEEE Trans. Software Eng., 2013)

Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study. - Arthur Marques; Franklin Ramalho; Wilkerson de L. Andrade (ICST Workshops, 2014)

Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems. - Diego R. Almeida; Alan Moraes; Wilkerson de L. Andrade; Patrícia D. L. Machado (SBMF, 2014)

Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions. - Adriana Carla Damasceno; Patrícia Duarte de Lima Machado; Wilkerson de Lucena Andrade; Wesley Nunes Marques Torres (ISORC, 2015)

TRL: a traceability representation language. - Arthur Marques; Franklin Ramalho; Wilkerson de L. Andrade (SAC, 2015)

Towards a requirements traceability process centered on the traceability model. - Arthur Marques; Franklin Ramalho; Wilkerson de L. Andrade (SAC, 2015)

A systematic mapping study on assessing computational thinking abilities. - Ana Liz Souto O. de Araujo; Wilkerson de L. Andrade; Dalton Dario Serey Guerrero (FIE, 2016)

Can Computational Thinking help me? A quantitative study of its effects on education. - Rivanilson S. Rodrigues; Wilkerson de L. Andrade; Lívia M. R. Sampaio Campos (FIE, 2016)

A family of test selection criteria for Timed Input-Output Symbolic Transition System models. - Alan Moraes; Wilkerson de L. Andrade; Patrícia D. L. Machado (Sci. Comput. Program., 2016)

Exploring computational thinking assessment in introductory programming courses. - Ana Liz Souto O. de Araujo; Jucelio S. Santos; Wilkerson de L. Andrade; Dalton Dario Serey Guerrero; Valentina Dagiene (FIE, 2017)

Analyzing Automatic Test Generation Tools for Refactoring Validation. - Indy P. S. C. Silva; Everton L. G. Alves; Wilkerson de L. Andrade (AST@ICSE, 2017)

Testing real-time systems from compositional symbolic specifications. - Adriana Carla Damasceno; Patrícia D. L. Machado; Wilkerson de L. Andrade (Int. J. Softw. Tools Technol. Transf., 2017)

A Systematic Review on the use of LEGO® Robotics in Education. - Isabelle M. L. Souza; Wilkerson de L. Andrade; Lívia M. R. Sampaio; Ana Liz Souto O. de Araujo (FIE, 2018)

Integrating Requirements Specification and Model-Based Testing in Agile Development. - Dalton N. Jorge; Patrícia D. L. Machado; Everton L. G. Alves; Wilkerson de L. Andrade (RE, 2018)

A Study on the Impact of Model Evolution in MBT Suites. - Anderson G. F. Silva; Wilkerson de L. Andrade; Everton L. G. Alves (SAST, 2018)

A Qualitative Analysis of Variability Weaknesses in Configurable Systems with #ifdefs. - Raphael Muniz; Larissa Braz; Rohit Gheyi; Wilkerson de L. Andrade; Baldoino Fonseca; Márcio Ribeiro 001 (VaMoS, 2018)

Evaluating Feedback Tools in Introductory Programming Classes. - Ruan Reis; Gustavo Soares; Melina Mongiovi; Wilkerson de L. Andrade (FIE, 2019)

Analyzing the Effect of Computational Thinking on Mathematics through Educational Robotics. - Isabelle M. L. Souza; Wilkerson de L. Andrade; Lívia M. R. Sampaio (FIE, 2019)

Requirements Engineering and Software Testing in Agile Methodologies: a Systematic Mapping. - Jarbele C. S. Coutinho; Wilkerson de L. Andrade; Patrícia D. L. Machado (SBES, 2019)

Reducing the Discard of MBT Test Cases using Distance Functions. - Thomaz Diniz; Everton L. G. Alves; Anderson G. F. Silva; Wilkerson de L. Andrade (SBES, 2019)

How Many Abilities Can We Measure in Computational Thinking?: A Study on Bebras Challenge. - Ana Liz Souto O. de Araujo; Wilkerson de L. Andrade; Dalton Dario Serey Guerrero; Monilly Ramos Araujo de Melo (SIGCSE, 2019)

Testing tools for Android context-aware applications: a systematic mapping. - Diego R. Almeida; Patrícia D. L. Machado; Wilkerson de L. Andrade (J. Braz. Comput. Soc., 2019)

Applying Item Response Theory to Evaluate Instruments of Introductory Programming Skills Measurement. - Jucelio S. Santos; Wilkerson de L. Andrade; João Brunet; Monilly Ramos Araujo de Melo (FIE, 2020)

A Systematic Literature Review of Methodology of Learning Evaluation Based on Item Response Theory in the Context of Programming Teaching. - Jucelio S. Santos; Wilkerson de L. Andrade; João Brunet; Monilly Ramos Araujo de Melo (FIE, 2020)

An exploratory study on extract method floss-refactoring. - Jaziel S. Moreira; Everton L. G. Alves; Wilkerson de L. Andrade (SAC, 2020)

Context-Aware Android Applications Testing. - Diego Rodrigues de Almeida; Patrícia D. L. Machado; Wilkerson de L. Andrade (SBES, 2020)

ENVIAR: ENVIronment dAta simulatoR. - Diego Rodrigues de Almeida; Patrícia D. L. Machado; Wilkerson de L. Andrade (SBES, 2020)

A Systematic Mapping on Energy Efficiency Testing in Android Applications. - Jaziel S. Moreira; Everton L. G. Alves; Wilkerson de L. Andrade (SBQS, 2020)

Reducing the Discard of MBT Test Cases. - Thomaz Diniz; Everton L. G. Alves; Anderson G. F. Silva; Wilkerson de L. Andrade (J. Softw. Eng. Res. Dev., 2020)

Can operational profile coverage explain post-release bug detection? - Lucas Andrade; Patrícia D. L. Machado; Wilkerson de L. Andrade (Softw. Test. Verification Reliab., 2020)

A Systematic Literature Review on Teaching Programming to People with Cognitive Disabilities. - Elaine Cristina Juvino De Araújo; Wilkerson de L. Andrade (FIE, 2021)

How do Bebras Tasks Explore Algorithmic Thinking Skill in a Computational Thinking Contest? - Ana Liz Souto Oliveira; Wilkerson de L. Andrade; Dalton Dario Serey Guerrero; Monilly Ramos Araujo de Melo (FIE, 2021)

Educational Robotics Applied to Computational Thinking Development: A Systematic Mapping Study. - Isabelle M. L. Souza; Wilkerson de L. Andrade; Lívia M. R. Sampaio (FIE, 2021)

Investigating Test Smells in JavaScript Test Code. - Dalton N. Jorge; Patrícia D. L. Machado; Wilkerson de L. Andrade (SAST, 2021)

Teaching Exploratory Tests through PBL and JiTT: an experience report in a context of distributed teams. - Jarbele C. S. Coutinho; Wilkerson de L. Andrade; Patrícia D. L. Machado (SBES, 2021)

Towards a Technique to Detect Weaknesses in C Programs. - Raphael Muniz; Wilkerson de L. Andrade; Patrícia D. L. Machado (SBES, 2021)

Identifying Programming Skills Impacted in Students with Cognitive Disabilities. - Elaine Cristina Juvino De Araújo; Wilkerson de L. Andrade; Ana Liz Souto Oliveira (FIE, 2022)

A Systematic Literature Review on Predictive Cognitive Skills in Novice Programming. - Jucelio S. Santos; Wilkerson de L. Andrade; João Brunet; Monilly Ramos Araujo de Melo (FIE, 2022)

A Framework for teaching programming in High School through Educational Robotics. - Isabelle M. L. Souza; Wilkerson de L. Andrade; Lívia M. R. Sampaio (FIE, 2022)

A Survey of Requirements Engineering and Software Testing Practices in Agile Teams. - Jarbele C. S. Coutinho; Wilkerson de Lucena Andrade; Patrícia D. L. Machado (SAST, 2022)

Educational Robotics Applications for the Development of Computational Thinking in a Brazilian Technical and Vocational High School. - Isabelle M. L. Souza; Wilkerson de L. Andrade; Lívia M. R. Sampaio (Informatics Educ., 2022)

Implementing Exploratory Testing in an Agile Context: A Study Based on Design Science Research. - Jarbele C. S. Coutinho; Wilkerson de L. Andrade; Patrícia D. L. Machado (SAST, 2023)

Reducing MBT test cases discard with distance function at TJPB. - Carlos D. Q. Lima; Everton L. G. Alves; Wilkerson de L. Andrade (SAST, 2023)

Insights from the application of Exploratory Tests in the daily life of distributed teams: an experience report. - Jarbele C. S. Coutinho; Wilkerson de L. Andrade; Patrícia D. L. Machado (J. Softw. Eng. Res. Dev., 2023)

A Systematic Literature Review on MBT Test Cases Maintenance. - Carlos D. Q. Lima; Everton L. G. Alves; Wilkerson de L. Andrade (COMPSAC, 2024)

Perceptions about Teaching Programming in the Neurodiverse Students' Context. - Elaine Cristina Juvino De Araújo; Wilkerson de L. Andrade; Ana Liz Souto Oliveira (FIE, 2024)

A Systematic Literature Review on the Use of Software Testing and Programming with Novice Students. - Anália Cristina B. T. Meira; Dalton Dario Serey Guerrero; Wilkerson de L. Andrade (FIE, 2024)

Understanding CTProgER's Impact on High School Students' Programming Learning. - Isabelle M. L. Souza; Wilkerson de L. Andrade; Lívia M. R. Sampaio (FIE, 2024)

Exploring the Use of LLMs to Reduce the Discarding of MBT Test Cases. - Carlos D. Q. Lima; Everton L. G. Alves; Wilkerson de L. Andrade; Felipe Torres (COMPSAC, 2025)