Wilkerson de L. Andrade

Orcid: 0000-0003-0656-6139

Affiliations:
  • Federal University of Campina Grande, Campina Grande, Brazil


According to our database1, Wilkerson de L. Andrade authored at least 53 papers between 2005 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Insights from the application of Exploratory Tests in the daily life of distributed teams: an experience report.
J. Softw. Eng. Res. Dev., 2023

Reducing MBT test cases discard with distance function at TJPB.
Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023

Implementing Exploratory Testing in an Agile Context: A Study Based on Design Science Research.
Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023

2022
Educational Robotics Applications for the Development of Computational Thinking in a Brazilian Technical and Vocational High School.
Informatics Educ., 2022

A Survey of Requirements Engineering and Software Testing Practices in Agile Teams.
Proceedings of the SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, Uberlandia, Brazil, October 3, 2022

A Framework for teaching programming in High School through Educational Robotics.
Proceedings of the IEEE Frontiers in Education Conference, 2022

A Systematic Literature Review on Predictive Cognitive Skills in Novice Programming.
Proceedings of the IEEE Frontiers in Education Conference, 2022

Identifying Programming Skills Impacted in Students with Cognitive Disabilities.
Proceedings of the IEEE Frontiers in Education Conference, 2022

2021
Towards a Technique to Detect Weaknesses in C Programs.
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

Teaching Exploratory Tests through PBL and JiTT: an experience report in a context of distributed teams.
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

Investigating Test Smells in JavaScript Test Code.
Proceedings of the SAST'21: Brazilian Symposium on Systematic and Automated Software Testing, Joinville, Brazil, 27 September 2021, 2021

Educational Robotics Applied to Computational Thinking Development: A Systematic Mapping Study.
Proceedings of the IEEE Frontiers in Education Conference, 2021

How do Bebras Tasks Explore Algorithmic Thinking Skill in a Computational Thinking Contest?
Proceedings of the IEEE Frontiers in Education Conference, 2021

A Systematic Literature Review on Teaching Programming to People with Cognitive Disabilities.
Proceedings of the IEEE Frontiers in Education Conference, 2021

2020
Can operational profile coverage explain post-release bug detection?
Softw. Test. Verification Reliab., 2020

Reducing the Discard of MBT Test Cases.
J. Softw. Eng. Res. Dev., 2020

A Systematic Mapping on Energy Efficiency Testing in Android Applications.
Proceedings of the 19th Brazilian Symposium on Software Quality, 2020

ENVIAR: ENVIronment dAta simulatoR.
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

Context-Aware Android Applications Testing.
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

An exploratory study on extract method <i>floss-refactoring</i>.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

A Systematic Literature Review of Methodology of Learning Evaluation Based on Item Response Theory in the Context of Programming Teaching.
Proceedings of the IEEE Frontiers in Education Conference, 2020

Applying Item Response Theory to Evaluate Instruments of Introductory Programming Skills Measurement.
Proceedings of the IEEE Frontiers in Education Conference, 2020

2019
Testing tools for Android context-aware applications: a systematic mapping.
J. Braz. Comput. Soc., 2019

How Many Abilities Can We Measure in Computational Thinking?: A Study on Bebras Challenge.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Reducing the Discard of MBT Test Cases using Distance Functions.
Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

Requirements Engineering and Software Testing in Agile Methodologies: a Systematic Mapping.
Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

Analyzing the Effect of Computational Thinking on Mathematics through Educational Robotics.
Proceedings of the IEEE Frontiers in Education Conference, 2019

Evaluating Feedback Tools in Introductory Programming Classes.
Proceedings of the IEEE Frontiers in Education Conference, 2019

2018
A Qualitative Analysis of Variability Weaknesses in Configurable Systems with #ifdefs.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

A Study on the Impact of Model Evolution in MBT Suites.
Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing, 2018

Integrating Requirements Specification and Model-Based Testing in Agile Development.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

A Systematic Review on the use of LEGO<sup>®</sup> Robotics in Education.
Proceedings of the IEEE Frontiers in Education Conference, 2018

2017
Testing real-time systems from compositional symbolic specifications.
Int. J. Softw. Tools Technol. Transf., 2017

Analyzing Automatic Test Generation Tools for Refactoring Validation.
Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

Exploring computational thinking assessment in introductory programming courses.
Proceedings of the 2017 IEEE Frontiers in Education Conference, 2017

2016
A family of test selection criteria for Timed Input-Output Symbolic Transition System models.
Sci. Comput. Program., 2016

Can Computational Thinking help me? A quantitative study of its effects on education.
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

A systematic mapping study on assessing computational thinking abilities.
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

2015
Towards a requirements traceability process centered on the traceability model.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

TRL: a traceability representation language.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

2014
Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013
Generating Test Cases for Real-Time Systems Based on Symbolic Models.
IEEE Trans. Software Eng., 2013

2012
Testing interruptions in reactive systems.
Formal Aspects Comput., 2012

2011
Abstracting Time and Data for Conformance Testing of Real-Time Systems.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2009
Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS.
Proceedings of the Formal Methods: Foundations and Applications, 2009

Interruption Testing of Reactive Systems.
Proceedings of the Formal Methods: Foundations and Applications, 2009

2008
LTS-BT: a tool to generate and select functional test cases for embedded systems.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007
Automating Functional Testing of Components from UML Specifications.
Int. J. Softw. Eng. Knowl. Eng., 2007

The Oracle Problem for Testing against Quantified Properties.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2006
Generating interaction test cases for mobile phone systems from use case specifications.
ACM SIGSOFT Softw. Eng. Notes, 2006

2005
Using Service-Oriented Architecture in Context-Aware Applications.
Proceedings of the VII Brazilian Symposium on Geoinformatics, 2005


  Loading...