Complete CV
2007 – 2011
My complete CV is available on Lattes Database (in Portuguese only)
Short CV Full Name Wilkerson de Lucena Andrade
Education
PhD in Computer Science.
Federal University of Campina Grande, UFCG, Brazil. Subject: Symbolic Model-Based Testing for Real-Time Systems. Supervisor: Patrícia Duarte de Lima Machado. Scholarship: CAPES. 2006 – 2007 MSc in Computer Science.
Federal University of Campina Grande, UFCG, Brazil. Subject: Interaction Test Case Generation for Mobile Phone Applications. Supervisor: Patrícia Duarte de Lima Machado. Scholarship: CNPq. 2002 – 2005 BSc in Computer Science. Federal University of Campina Grande, UFCG, Brazil. Professional Activities 11/2012 – Present Courses: Programming I, Programming Laboratory I, and Formal Methods Activity: Teacher Federal University of Campina Grande, Campina Grande - PB, Brazil. 08/2011 – 11/2012 Courses: Programming I, Programming Laboratory I, and Data Structures and Algorithms Laboratory Activity: Teacher Federal University of Campina Grande, Campina Grande - PB, Brazil. 02/2011 – 06/2011 Course: Programming Laboratory I Activity: Teacher Federal University of Campina Grande, Campina Grande - PB, Brazil. 02/2010 – 06/2010 Courses: Applied Logic for Computer Science, Software Engineering, and Advanced Software Project I Activity: Teacher Federal University of Paraíba, Rio Tinto - PB, Brazil. 08/2009 – 12/2009 Courses: Applied Software Engineering and Scientific Method Activity: Teacher Federal University of Paraíba, Rio Tinto - PB, Brazil. 08/2008 – 07/2009 Courses: Software Engineering and Educational Programming Language Activity: Teacher Paraíba State University, Campina Grande - PB, Brazil. Research Projects 2011 – Present Reliability and Safety at Critical Embedded Software Activity: Researcher Description: The main goal of this cooperation between UFCG, UFRN, and UFPE is targeted on providing theoretical foundation and technology for the development of correct and safe critical embedded software, based on the application of formal modeling techniques, automatic generation, model checking and validation through software testing. 2009 – 2011 TReaTiES: Test of Real-Time Embedded Systems Activity: Researcher Description: The cooperation (INRIA-France / UFCG / UFPE) is targeted on the use of formal models and techniques for model-based testing of embedded systems. The main objective is to share some knowledge and experience in order to make common advances in this research domain. This cooperation will consider several research directions. Firstly, we aim to investigate models of heterogenous software systems with enlarged features such as non-determinism, recursion, time, interruption and compositionality. Secondly, we aim to focus on testing from partial models by generating them from abstract test cases and observed behavior. The idea is to incorporate incremental learning techniques into a formal validation process. Thirdly, we aim to improve current test case generation techniques by considering semantic rather than structural coverage criteria as well as the conformance relation and model checking coverage criteria. Conformance relations should also be investigated based on failure-divergence on process algebraic models. Additionally, test case generation for conformance testing with the help of diagnosis and controller synthesis is also going to be pursued. Finally, we aim to investigate automated test case selection strategies based on similarity functions. 2008 – 2010 Combining Formal Methods and Testing Techniques in Real-Time Embedded Systems Development Activity: Researcher Description: The main goal of this cooperation between UFCG, UFRN, and UFPE is targeted on the combined use of formal methods and testing techniques for testing real-time embedded systems. 2005 – 2009 Brazil Test Center Research Project Activity: Researcher Description: The main goal of the project (cooperation between Motorola, UFCG, and UFPE) is to define an integrated process for generating, selecting and evaluating mobile phone applications test cases. 2004 – 2004 Laboratories of Research and Development in iDEN - UFCG/Motorola Activity: Researcher and Developer Description: Research and development using the iDEN technology. 2003 – 2005 Analysis and Implementation of Quantum Neural Network Models Activity: Researcher Description: The objective of this work is to perform an analysis of existing models of Quantum Neural Networks, propose a new model from the most important features identified in the analysis, and build an implementation of the proposed model based on a quantum circuit simulator. 2003 – 2005 Component Functional Testing Automation from UML/OCL Specifications Activity: Researcher and Developer Description: The objective of this project is to design and implement a set of tools to support the functional test of software components. Selected Publications Awards 2012 – “Best Tool” Award for the SYMBOLRT tool in 3rd Brazilian Conference on Software: Theory and Practice (CBSoft 2012), Brazilian Computer Society (SBC). 2005 - “Professor Átila Augusto Freitas de Almeida” Award for having achieved the best academic performance among all graduating students from Federal University of Campina Grande. 2004 – “Best Tool” Award for the SPACES tool in 18th Brazilian Symposium on Software Engineering (SBES'2004), Brazilian Computer Society (SBC). Linguistic Skills Portuguese: Natural language English: Advanced French: Intermediate |