Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Refactoring Alloy Specifications, and . Electronic Notes in Theoretical Computer Science, (May 2004)A Refinement Theory for Alloy. Universidade Federal de Pernambuco, (July 2007)Evaluating refactorings for disciplining #ifdef annotations: An eye tracking study with novices., , , , , , , and . Empir. Softw. Eng., 26 (5): 92 (2021)Lint-Based Warnings in Python Code: Frequency, Awareness and Refactoring., , , , , and . SCAM, page 208-218. IEEE, (2022)Enhancing conformance checking for contract-based programs., , and . SPLASH (Companion Volume), page 57-58. ACM, (2014)An empirical study on configuration-related issues: investigating undeclared and unused identifiers., , , , and . GPCE, page 35-44. ACM, (2015)Automatically Checking Feature Model Refactorings., , and . J. Univers. Comput. Sci., 17 (5): 684-711 (2011)Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)., and . Sci. Comput. Program., (2015)Refactoring Test Smells With JUnit 5: Why Should Developers Keep Up-to-Date?, , , , and . IEEE Trans. Software Eng., 49 (3): 1152-1170 (March 2023)Java reflection API: revealing the dark side of the mirror., , , , and . ESEC/SIGSOFT FSE, page 636-646. ACM, (2019)