Assessment of product derivation tools in the evolution of software product lines: an empirical study. - Mário Henrique C. Torres; Uirá Kulesza; Matheus Sousa; Thaís Vasconcelos Batista; Leopoldo Teixeira; Paulo Borba; Elder Cirilo; Carlos José Pereira de Lucena; Rosana T. V. Braga; Paulo César Masiero (FOSD, 2010)

Emergent feature modularization. - Márcio Ribeiro 001; Humberto Pacheco; Leopoldo Teixeira; Paulo Borba (SPLASH/OOPSLA Companion, 2010)

Investigating the safe evolution of software product lines. - Laís Neves; Leopoldo Teixeira; Demóstenes Sena; Vander Alves; Uirá Kulesza; Paulo Borba (GPCE, 2011)

A theory of software product line refinement. - Paulo Borba; Leopoldo Teixeira; Rohit Gheyi (Theor. Comput. Sci., 2012)

Coevolution of variability models and related artifacts: a case study from the Linux kernel. - Leonardo Teixeira Passos; Jianmei Guo; Leopoldo Teixeira; Krzysztof Czarnecki 001; Andrzej Wasowski; Paulo Borba (SPLC, 2013)

Safe composition of configuration knowledge-based software product lines. - Leopoldo Teixeira; Paulo Borba; Rohit Gheyi (J. Syst. Softw., 2013)

On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment. - Elder Rodrigues 001; Leonardo Teixeira Passos; Leopoldo Teixeira; Avelino F. Zorzo; Flávio Moreira de Oliveira; Rodrigo S. Saad (SEKE, 2014)

Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness. - Mauricio Alférez; Rodrigo Bonifácio; Leopoldo Teixeira; Paola R. G. Accioly; Uirá Kulesza; Ana Moreira 001; João Araújo 001; Paulo Borba (Requir. Eng., 2014)

Making refactoring safer through impact analysis. - Melina Mongiovi; Rohit Gheyi; Gustavo Soares; Leopoldo Teixeira; Paulo Borba (Sci. Comput. Program., 2014)

An empirical study on configuration-related issues: investigating undeclared and unused identifiers. - Flávio Medeiros; Iran Rodrigues; Márcio Ribeiro 001; Leopoldo Teixeira; Rohit Gheyi (GPCE, 2015)

A product line of theories for reasoning about safe evolution of product lines. - Leopoldo Teixeira; Vander Alves; Paulo Borba; Rohit Gheyi (SPLC, 2015)

Safe evolution of product populations and multi product lines. - Leopoldo Teixeira; Paulo Borba; Rohit Gheyi (SPLC, 2015)

Safe evolution templates for software product lines. - Laís Neves; Paulo Borba; Vander Alves; Lucinéia Turnes; Leopoldo Teixeira; Demóstenes Sena; Uirá Kulesza (J. Syst. Softw., 2015)

A change-centric approach to compile configurable systems with #ifdefs. - Larissa Braz; Rohit Gheyi; Melina Mongiovi; Márcio Ribeiro 001; Flávio Medeiros; Leopoldo Teixeira (GPCE, 2016)

Safe Evolution of Software Product Lines: Feature Extraction Scenarios. - Fernando Benbassat; Paulo Borba; Leopoldo Teixeira (SBCARS, 2016)

Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel. - Leonardo Teixeira Passos; Leopoldo Teixeira; Nicolas Dintzner; Sven Apel; Andrzej Wasowski; Krzysztof Czarnecki 001; Paulo Borba; Jianmei Guo (Empir. Softw. Eng., 2016)

Testing Strategies for Smart Cities applications: A Systematic Mapping Study. - Alex Costa; Leopoldo Teixeira (SAST, 2018)

A change-aware per-file analysis to compile configurable systems with #ifdefs. - Larissa Braz; Rohit Gheyi; Melina Mongiovi; Márcio Ribeiro 001; Flávio Medeiros; Leopoldo Teixeira; Sabrina Souto (Comput. Lang. Syst. Struct., 2018)

All roads lead to Rome: Commuting strategies for product-line reliability analysis. - Thiago M. Castro; André Lanna; Vander Alves; Leopoldo Teixeira; Sven Apel; Pierre-Yves Schobbens (Sci. Comput. Program., 2018)

Detecting Overly Strong Preconditions in Refactoring Engines. - Melina Mongiovi; Rohit Gheyi; Gustavo Soares; Márcio Ribeiro 001; Paulo Borba; Leopoldo Teixeira (IEEE Trans. Software Eng., 2018)

On gamifying an existing healthcare system: method, conceptual model and evaluation. - Anderson G. Uchôa; Eduardo Fernandes; Baldoino Fonseca; Rafael Maiani de Mello; Caio Barbosa; Gabriel Nunes; Alessandro Garcia 001; Leopoldo Teixeira (SEH@ICSE, 2019)

Willow: A Tool for Interactive Programming Visualization to Help in the Data Structures and Algorithms Teaching-Learning Process. - Pedro Moraes; Leopoldo Teixeira (SBES, 2019)

Towards efficient analysis of variation in time and space. - Thomas Thüm; Leopoldo Teixeira; Klaus Schmid; Eric Walkingshaw; Mukelabai Mukelabai; Mahsa Varshosaz; Goetz Botterweck; Ina Schaefer; Timo Kehrer (SPLC (B), 2019)

Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study. - Karine Gomes; Leopoldo Teixeira; Thayonara Alves; Márcio Ribeiro 001; Rohit Gheyi (VaMoS, 2019)

Partially safe evolution of software product lines. - Gabriela Cunha Sampaio; Paulo Borba; Leopoldo Teixeira (J. Syst. Softw., 2019)

Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker. - Denini Silva; Leopoldo Teixeira; Marcelo d'Amorim (ICSME, 2020)

Understanding and Detecting Harmful Code. - Rodrigo Lima 002; Jairo Souza; Baldoino Fonseca; Leopoldo Teixeira; Rohit Gheyi; Márcio Ribeiro 001; Alessandro F. Garcia 001; Rafael Maiani de Mello (SBES, 2020)

A Catalog of Object-Relational Mapping Code Smells for Java. - Samuel Loli; Leopoldo Teixeira; Bruno Cartaxo (SBES, 2020)

Porting the Software Product Line Refinement Theory to the Coq Proof Assistant. - Thayonara Alves; Leopoldo Teixeira; Vander Alves; Thiago M. Castro (SBMF, 2020)

Safe Evolution of Product Lines Using Configuration Knowledge Laws. - Leopoldo Teixeira; Rohit Gheyi; Paulo Borba (SBMF, 2020)

GuyDance: Guiding Configuration Updates for Product-Line Evolution. - Michael Nieke; Gabriela Cunha Sampaio; Thomas Thüm; Christoph Seidl 001; Leopoldo Teixeira; Ina Schaefer (SPLC (B), 2020)

On the Adoption of Kotlin on Android Development: A Triangulation Study. - Victor Oliveira; Leopoldo Teixeira; Felipe Ebert (SANER, 2020)

Shipwright: A Human-in-the-Loop System for Dockerfile Repair. - Jordan Henkel; Denini Silva; Leopoldo Teixeira; Marcelo d'Amorim; Thomas W. Reps (ICSE, 2021)

Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. - Leopoldo Teixeira; Breno Miranda; Henrique Rebêlo; Marcelo d'Amorim (ICST, 2021)

Shaker: a Tool for Detecting More Flaky Tests Faster. - Marcello Cordeiro; Denini Silva; Leopoldo Teixeira; Breno Miranda; Marcelo d'Amorim (ASE, 2021)

Evolving Delta-Oriented Product Lines: A Case Study on Feature Interaction, Safe and Partially Safe Evolution. - Leomar Camargo; Luisa Fantin; Gabriel Lobão; Thiago Figueiredo; Rodrigo Bonifácio; Karine Gomes; Leopoldo Teixeira (SBES, 2021)

TSDolly: A program generator for TypeScript. - Gabriela Araujo Britto; Leopoldo Teixeira; Rohit Gheyi (SBLP, 2021)

Identifying method-level mutation subsumption relations using Z3. - Rohit Gheyi; Márcio Ribeiro 001; Beatriz Souza; Marcio Augusto Guimarães; Leo Fernandes; Marcelo d'Amorim; Vander Alves; Leopoldo Teixeira; Baldoino Fonseca (Inf. Softw. Technol., 2021)

A Formal Framework of Software Product Line Analyses. - Thiago M. Castro; Leopoldo Teixeira; Vander Alves; Sven Apel; Maxime Cordy; Rohit Gheyi (ACM Trans. Softw. Eng. Methodol., 2021)

ICSE'21 Artifact for the paper Shipwright: A Human-in-the-Loop System for Dockerfile Repair. - Jordan Henkel; Denini Silva; Leopoldo Teixeira; Marcelo d'Amorim; Thomas W. Reps (Zenodo, 2021)

A Technique to Test Refactoring Detection Tools. - Osmar Leandro; Rohit Gheyi; Leopoldo Teixeira; Márcio Ribeiro 001; Alessandro F. Garcia 001 (SBES, 2022)

A Decade of Internationalization of the Brazilian Symposium on Software Engineering: The Good, the Bad, and the Ugly. - Nabor C. Mendonça; Leopoldo Teixeira; Sérgio Soares; Vinicius Cardoso Garcia; Uirá Kulesza; César França; Daniel Lucrédio; Elder Cirilo; Ivan Machado 001 (SBES, 2022)

Distributed Repository for Software Packages Using Blockchain. - Felipe Zimmerle da N. Costa; Ruy J. G. B. de Queiroz; Gustavo P. Bittencourt; Leopoldo Teixeira (IEEE Access, 2022)

Guiding the evolution of product-line configurations. - Michael Nieke; Gabriela Cunha Sampaio; Thomas Thüm; Christoph Seidl 001; Leopoldo Teixeira; Ina Schaefer (Softw. Syst. Model., 2022)

Do you see any problem? On the Developers Perceptions in Test Smells Detection. - Rodrigo Lima 002; Keila Costa; Jairo Souza; Leopoldo Teixeira; Baldoino Fonseca; Marcelo d'Amorim; Márcio Ribeiro 001; Breno Miranda (SBQS, 2023)

Towards a better understanding of the mechanics of refactoring detection tools. - Jonhnanthan Oliveira; Rohit Gheyi; Leopoldo Teixeira; Márcio Ribeiro 001; Osmar Leandro; Baldoino Fonseca (Inf. Softw. Technol., 2023)

Blackbox Observability of Features and Feature Interactions. - Kallistos Weis; Leopoldo Teixeira; Clemens Dubslaff; Sven Apel (ASE, 2024)

Exception Miner: Multi-language Static Analysis Tool to Identify Exception Handling Anti-Patterns. - Jairo Souza; Tales Alves; Robson Oliveira; Leopoldo Teixeira; Baldoino Fonseca (SBES, 2024)

Front Matter. - Igor Steinmacher; Sabrina Marczak; Thelma Elita Colanzi; Davi Viana; Leopoldo Teixeira; Silvia R. Vergilio; Monalessa Barcellos; Ivan Machado 001; Johnny Marques (SBES, 2024)

Investigating the Social Representations of Harmful Code. - Rodrigo Lima 002; Jairo Souza; Baldoino Fonseca; Leopoldo Teixeira; Rafael Maiani de Mello; Márcio Ribeiro 001; Rohit Gheyi; Alessandro F. Garcia 001 (J. Softw. Eng. Res. Dev., 2024)

On the Expressive Power of Languages for Static Variability. - Paul Maximilian Bittner; Alexander Schultheiß; Benjamin Moosherr; Jeffrey M. Young; Leopoldo Teixeira; Eric Walkingshaw; Parisa Ataei; Thomas Thüm (Proc. ACM Program. Lang., 2024)

Towards effective gamification of existing systems: method and experience report. - Anderson Gonçalves Uchôa; Rafael Maiani de Mello; Jairo Souza; Leopoldo Teixeira; Baldoino Fonseca; Alessandro Garcia 001 (Softw. Qual. J., 2024)

Exploring Transfer Learning for Multilingual Software Quality: Code Smells, Bugs, and Harmful Code. - Rodrigo Lima 002; Durval Pereira Cesar; Caio Barbosa; Leonardo Pedrosa Leite; Davy de Medeiros Baia; Baldoino Fonseca; Leopoldo Teixeira; Jairo Souza (J. Softw. Eng. Res. Dev., 2025)