2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.

Publicações

2026

Exception handling bugs in Python: An empirical study of root causes, fix patterns, and anti-patterns

SOUZA, Jairo; COELHO, Eric; CORREIA, João; LIMA, Rodrigo; TEIXEIRA, Leopoldo; SANTOS NETO, Baldoino
INFORMATION AND SOFTWARE TECHNOLOGY
2026

Django-Specific Code Smells: Catalog, Prevalence, and Automated Detection

TEIXEIRA, Leopoldo; SILVA, Eduardo Luiz
Workshop on Software Visualization, Evolution and Maintenance
2026

Dependency Version Migration in Software Projects: A Rapid Review of Motivations, Techniques, Tools, and Challenges

SILVA, Arthur; TEIXEIRA, Leopoldo; ASSUNCAO, Wesley K. G.; CARTAXO, Bruno
[SBES] Brazilian Symposium on Software Engineering
2026

Test Coverage of Code Changes in AI-Generated Pull Requests

ALVES, Tales; TEIXEIRA, Leopoldo
[MSR] MSR Mining Challenge Track of the Mining Software Repositories
2026

An Empirical Evaluation of Using Large Language Models to Recommend Exception Handling Tasks

SOUZA, Jairo; ALVES, Tales; LIMA, Rodrigo; ARAUJO, Ericlecio; TEIXEIRA, Leopoldo; SANTOS NETO, Baldoino
[SBES] Brazilian Symposium on Software Engineering
2026

Integrating ZBus into Zephyr RTOS: A Case Study of Knowledge Transfer from Academia to Industry Through Open-Source Contributions

PEIXOTO, Rodrigo; TEIXEIRA, Leopoldo; SANTOS NETO, Baldoino
JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (ONLINE)
2026

Evaluating Shaker for Flaky Test Detection in Python Projects

LEAL, Gabriela; SILVA, Denini; TEIXEIRA, Leopoldo
Brazilian Symposium on Systematic and Automated Software Testing
2026

Can Small LLMs Detect Defect-Prone Code Smells? An Empirical Evaluation of 8B-30B Models Against a Ground-Truth Dataset

LIMA, Rodrigo; SOUZA, Jairo; SANTOS NETO, Baldoino; TEIXEIRA, Leopoldo; RIBEIRO, Márcio
[EASE] International Conference on Evaluation and Assessment in Software Engineering (EASE) - AI Models/Data Track
2026

Evaluator Bias in LLM-Based Program Repair: A Disagreement Analysis on Android Resource Leaks

BONFIM, Andrezza; TEIXEIRA, Leopoldo
[SBES] Brazilian Symposium on Software Engineering
2026

Bleach: A Programming Language for Teaching Compilers

COSTA, Victor; TEIXEIRA, Leopoldo
[SBLP] Brazilian Symposium on Programming Languages
2026

How Rust Projects Use Macros: A Large-Scale Empirical Study

TEIXEIRA, Leopoldo; DRUMOND, Nilo
Brazilian Symposium on Software Components, Architectures, and Reuse
2025

Exploring Transfer Learning for Multilingual Software Quality: Code Smells, Bugs, and Harmful Code

LIMA, Rodrigo; SOUZA, Jairo; SANTOS NETO, Baldoino; TEIXEIRA, Leopoldo; PEREIRA, Durval; BARBOSA, Caio; LEITE, Leonardo; BAIA, Davy
JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT
2025

Evaluating LLMs for Multimodal GUI Test Generation in Android Applications

FAGUNDES, NAYSE; TEIXEIRA, LEOPOLDO
[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado
2025

An Interpreter-based Framework for Static Analysis of Variability in Space and Time

VIEIRA, TAYNÁ; ALVES, Vander; TEIXEIRA, LEOPOLDO
[SBLP] Simpósio Brasileiro de Linguagens de Programação
2024

Towards effective gamification of existing systems: method and experience report

UCHÔA, ANDERSON; DE MELLO, RAFAEL; SOUZA, Jairo; TEIXEIRA, LEOPOLDO; FONSECA, BALDOINO; GARCIA, Alessandro
SOFTWARE QUALITY JOURNAL
2024

Investigating the Social Representations of Harmful Code

LIMA, Rodrigo; SOUZA, Jairo; FONSECA, BALDOINO; TEIXEIRA, LEOPOLDO; MELLO, Rafael; RIBEIRO, Márcio; GHEYI, Rohit; GARCIA, Alessandro
JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT
2024

On the Expressive Power of Languages for Static Variability

BITTNER, PAUL MAXIMILIAN; SCHULTHEIß, ALEXANDER; MOOSHERR, Benjamin; YOUNG, JEFFREY M.; TEIXEIRA, LEOPOLDO; WALKINGSHAW, Eric; ATAEI, Parisa; THÜM, THOMAS
Proceedings Of The Acm On Programming Languages-Pacmpl
2024

Exception Miner: Multi-language Static Analysis Tool to Identify Exception Handling Anti-Patterns

SOUZA, Jairo; ALVES, Tales; OLIVEIRA, Robson; TEIXEIRA, Leopoldo; SANTOS NETO, Baldoino
[SBES] Brazilian Symposium on Software Engineering
2024

On the Expressive Power of Languages for Static Variability

BITTNER, Paul M.; SCHULTHEISS, Alexander; MOOSHERR, Benjamin; YOUNG, Jeffrey; TEIXEIRA, Leopoldo; WALKINGSHAW, Eric; ATAEI, Parisa; THUM, Thomas
[OOPSLA] ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)
2024

Blackbox Observability of Features and Feature Interactions

WEIS, Kallistos; TEIXEIRA, Leopoldo; DUBSLAFF, Clemens; APEL, Sven
[ASE] IEEE/ACM International Conference on Automated Software Engineering
2023

Towards a better understanding of the mechanics of refactoring detection tools

OLIVEIRA, Jonhnanthan; GHEYI, Rohit; TEIXEIRA, LEOPOLDO; RIBEIRO, Márcio; LEANDRO, Osmar; FONSECA, BALDOINO
INFORMATION AND SOFTWARE TECHNOLOGY
2023

Do you see any problem? On the Developers Perceptions in Test Smells Detection

LIMA, Rodrigo; COSTA, Keila; SOUZA, Jairo; TEIXEIRA, Leopoldo; SANTOS NETO, Baldoino; D'AMORIM, Marcelo; RIBEIRO, Márcio; MIRANDA, Breno
Brazilian Symposium on Software Quality
2022

Guiding the evolution of product-line configurations

NIEKE, Michael; SAMPAIO, Gabriela; THÜM, THOMAS; SEIDL, Christoph; TEIXEIRA, LEOPOLDO; SCHAEFER, Ina
Software and Systems Modeling
2022

A Technique to Test Refactoring Detection Tools

LEANDRO, Osmar; GHEYI, Rohit; TEIXEIRA, Leopoldo; RIBEIRO, Márcio; GARCIA, Alessandro
[SBES] 36th Brazilian Symposium on Software Engineering (SBES 2022)
2022

A Decade of Internationalization of the Brazilian Symposium on Software Engineering: The Good, the Bad, and the Ugly

MENDONCA, Nabor; TEIXEIRA, Leopoldo; SOARES, Sérgio; GARCIA, Vinicius; KULESZA, Uirá; FRANCA, Alberto Cesar; LUCREDIO, Daniel; CIRILO, Elder; MACHADO, Ivan
[SBES] 36th Brazilian Symposium on Software Engineering (SBES 2022)
2022

Distributed Repository for Software Packages Using Blockchain

COSTA, Felipe; QUEIROZ, Ruy; BITTENCOURT, Gustavo; TEIXEIRA, Leopoldo
IEEE Access
2021

Evolving Delta-Oriented Product Lines: A Case Study on Feature Interaction, Safe and Partially Safe Evolution

CAMARGO, Leomar; FANTIN, Luisa; LOBAO, Gabriel; FIGUEIREDO, Thiago; BONIFACIO, Rodrigo; GOMES, Karine; TEIXEIRA, Leopoldo
[SBES] Brazilian Symposium on Software Engineering
2021

A program generator for TypeScript

BRITTO, Gabriela; TEIXEIRA, Leopoldo; GHEYI, Rohit
[SBLP] Brazilian Symposium on Programming Languages
2021

Identifying method-level mutation subsumption relations using Z3

GHEYI, ROHIT; RIBEIRO, Márcio; SOUZA, BEATRIZ; GUIMARÃES, MARCIO; FERNANDES, LEO; D?AMORIM, MARCELO; ALVES, VANDER; TEIXEIRA, Leopoldo; FONSECA, BALDOINO
INFORMATION AND SOFTWARE TECHNOLOGY
2021

A Formal Framework of Software Product Line Analyses

CASTRO, Thiago; TEIXEIRA, Leopoldo; ALVES, Vander; APEL, Sven; CORDY, Maxime; GHEYI, Rohit
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
2021

Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification

TEIXEIRA, Leopoldo; MIRANDA, Breno; REBELO, Henrique; D'AMORIM, Marcelo
[ICSTV] IEEE International Conference on Software Testing, Verification and Validation
2021

Shipwright: A Human-in-the-Loop System for Dockerfile Repair

HENKEL, Jordan; SILVA, Denini; TEIXEIRA, Leopoldo; D'AMORIM, Marcelo; REPS, Thomas
[ICSE] International Conference on Software Engineering
2020

Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker

SILVA, Denini; TEIXEIRA, Leopoldo; D'AMORIM, Marcelo
[ICSME] IEEE International Conference on Software Maintenance and Evolution
2020

Safe Evolution of Product Lines using Configuration Knowledge Laws

TEIXEIRA, Leopoldo; GHEYI, Rohit; BORBA, Paulo
[SBMF] 23rd Brazilian Symposium on Formal Methods (SBMF 2020)
2020

Understanding and Detecting Harmful Code

LIMA, Rodrigo; SOUZA, Jairo; SANTOS NETO, Baldoino; TEIXEIRA, Leopoldo; GHEYI, Rohit; RIBEIRO, Márcio; GARCIA, Alessandro; MELLO, Rafael
[SBES] Brazilian Symposium on Software Engineering
2020

Porting the Software Product Line Refinement Theory to the Coq proof assistant

ALVES, Thayonara; TEIXEIRA, Leopoldo; ALVES, Vander; CASTRO, Thiago
[SBMF] Brazilian Symposium on Formal Methods
2020

On the Adoption of Kotlin on Android Development: a Triangulation Study

OLIVEIRA, Victor; TEIXEIRA, Leopoldo; EBERT, Felipe
[SANER] IEEE International Conference on Software Analysis, Evolution and Reengineering
2020

A Catalog of Object-Relational Mapping Code Smells for Java

LOLI, Samuel; TEIXEIRA, Leopoldo; CARTAXO, Bruno
[SBES] Brazilian Symposium on Software Engineering
2020

GuyDance: Guiding configuration updates for product-line evolution

NIEKE, Michael; SAMPAIO, Gabriela; THUM, Thomas; SEIDL, Christoph; TEIXEIRA, Leopoldo; SCHAEFER, Ina
3rd Intl. Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2020)
2019

On Gamifying an Existing Healthcare System: Method, Conceptual Model and Evaluation

UCHOA, Anderson; FERNANDES, Eduardo; SANTOS NETO, Baldoino; MELLO, Rafael; BARBOSA, Caio; NUNES, Gabriel; GARCIA, Alessandro; TEIXEIRA, Leopoldo
1st International Workshop on Software Engineering for Healthcare, co-located with 41st International Conference on Software Engineering
2019

Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study

GOMES, Karine; TEIXEIRA, Leopoldo; ALVES, Thayonara; RIBEIRO, Márcio; GHEYI, Rohit
International Workshop on Variability Modelling of Software-intensive Systems
2019

A Tool for Interactive Programming Visualization to Help in the Data Structures and Algorithms Teaching-Learning Process

MORAES, Pedro; TEIXEIRA, Leopoldo
[SBES] Brazilian Symposium on Software Engineering
2019

Towards Efficient Analysis of Variation in Time and Space

THUM, Thomas; TEIXEIRA, Leopoldo; SCHMID, Klaus; WALKINGSHAW, Eric; MUKELABAI, Mukelabai; VARSHOSAZ, Mahsa; BOTTERWECK, Goetz; SCHAEFER, Ina; KEHRER, Timo
2nd International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2019)
2019

VazaZika: A software platform for surveillance and control of mosquito-borne diseases

FERNANDES, Eduardo; TEIXEIRA, Leopoldo; UCHOA, Anderson; SOUSA, Leonardo; OLIVEIRA, Anderson; MELLO, Rafael; BARROCA, Luiz; CARVALHO, Diogo; GARCIA, Alessandro; SANTOS NETO, Baldoino
[ITNG] 16th International Conference on Information Technology: New Generations
2019

Partially safe evolution of software product lines

SAMPAIO, Gabriela; BORBA, Paulo; TEIXEIRA, Leopoldo
JOURNAL OF SYSTEMS AND SOFTWARE
2018

All roads lead to Rome: Commuting strategies for product-line reliability analysis

CASTRO, Thiago; LANNA, André; ALVES, Vander; TEIXEIRA, Leopoldo; APEL, Sven; SCHOBBENS, Pierre Yves
SCIENCE OF COMPUTER PROGRAMMING
2018

A change-aware per-file analysis to compile configurable systems with #ifdefs

BRAZ, Larissa; GHEYI, Rohit; MONGIOVI, Melina; RIBEIRO, Márcio; MEDEIROS, Flávio; TEIXEIRA, Leopoldo; SOUTO, Sabrina
COMPUTER LANGUAGES SYSTEMS & STRUCTURES
2018

Detecting Overly Strong Preconditions in Refactoring Engines

MONGIOVI, Melina; GHEYI, Rohit; SOARES, Gustavo; RIBEIRO, MARCIO; BORBA, Paulo; TEIXEIRA, LEOPOLDO
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
2018

Testing Strategies for Smart Cities applications: A Systematic Mapping Study

COSTA, Alex; TEIXEIRA, Leopoldo
[SAST] Brazilian Symposium on Systematic and Automated Software Testing
2017

A change-centric approach to compile configurable systems with #ifdefs

BRAZ, Larissa; GHEYI, Rohit; MONGIOVI, Melina; RIBEIRO, Márcio; MEDEIROS, Flávio; TEIXEIRA, LEOPOLDO
ACM SIGPLAN NOTICES
2016

Partially Safe Evolution of Software Product Lines

SAMPAIO, Gabriela; BORBA, Paulo; TEIXEIRA, Leopoldo
20th International Systems and Software Product Line Conference
2016

Coevolution of variability models and related software artifacts

PASSOS, Leonardo; TEIXEIRA, LEOPOLDO; DINTZNER, Nicolas; APEL, Sven; W'SOWSKI, ANDRZEJ; CZARNECKI, Krzysztof; BORBA, Paulo; GUO, Jianmei
Empirical Software Engineering
2016

An empirical study on configuration-related issues: investigating undeclared and unused identifiers

MEDEIROS, F.; RODRIGUES, I.; RIBEIRO, M.; TEIXEIRA, Leopoldo; GHEYI, R.
ACM SIGPLAN NOTICES
2016

Safe Evolution of Software Product Lines: Feature Extraction Scenarios

BENBASSAT, Fernando; BORBA, Paulo; TEIXEIRA, Leopoldo
[SBCARS] X Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS)
2016

A Change-Centric Approach to Compile Configurable Systems with #ifdefs

BRAZ, Larissa; GHEYI, Rohit; MONGIOVI, Melina; RIBEIRO, Márcio; MEDEIROS, Flávio; TEIXEIRA, Leopoldo
[GPCE] International Conference on Generative Programming: Concepts & Experiences (GPCE'2016)
2015

Safe Evolution of Product Populations and Multi Product Lines

TEIXEIRA, Leopoldo; BORBA, Paulo; GHEYI, Rohit
[SPLC] 19th International Software Product Line Conference (SPLC)
2015

A Product Line of Theories for Reasoning about Safe Evolution of Product Lines

TEIXEIRA, Leopoldo; ALVES, Vander; BORBA, Paulo; GHEYI, Rohit
[SPLC] The 19th International Software Product Line Conference: New Directions in Systems and Software Product Line Engineering
2015

Safe Evolution Templates for Software Product Lines

NEVES, Laís; BORBA, Paulo; ALVES, Vander; TURNES, Lucineia; TEIXEIRA, Leopoldo; SENA, Demóstenes; KULESZA, Uirá
JOURNAL OF SYSTEMS AND SOFTWARE
2015

An Empirical Study on Configuration-Related Type Issues

MEDEIROS, Flávio; RODRIGUES, Iran; RIBEIRO, Márcio; TEIXEIRA, Leopoldo; GHEYI, Rohit
[GPCE] 14th International Conference on Generative Programming: Concepts & Experience (GPCE'15)
2014

Making refactoring safer through impact analysis

MONGIOVI, MELINA; GHEYI, R.; Soares, Gustavo; TEIXEIRA, Leopoldo; BORBA, Paulo
Science of Computer Programming (Print)
2014

Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness

ALFÉREZ, MAURICIO; BONIFÁCIO, RODRIGO; TEIXEIRA, LEOPOLDO; ACCIOLY, Paola; KULESZA, Uirá; MOREIRA, Ana; ARAÚJO, JOÃO; BORBA, Paulo
Requirements Engineering
2014

On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment

RODRIGUES, Elder; PASSOS, Leonardo; TEIXEIRA, Leopoldo; ZORZO, Avelino; OLIVEIRA, Flavio; SAAD, Rodrigo
The 26th International Conference on Software Engineering and Knowledge Engineering
2013

Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel

PASSOS, Leonardo; GUO, Jianmei; TEIXEIRA, Leopoldo; CZARNECKI, Krzysztof; WĄSOWSKI, Andrzej; BORBA, Paulo
17th International Software Product Line Conference
2013

Safe Evolution of Software Product Lines and Communities

TEIXEIRA, Leopoldo
Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)
2013

Safe composition of configuration knowledge-based software product lines

TEIXEIRA, Leopoldo; BORBA, Paulo; GHEYI, Rohit
The Journal of Systems and Software
2012

A Theory of Software Product Line Refinement

BORBA, Paulo; TEIXEIRA, Leopoldo; GHEYI, Rohit
Theoretical Computer Science
2012

Investigating the safe evolution of software product lines

Laís Neves; TEIXEIRA, Leopoldo; Demóstenes Sena; ALVES, Vander; KULESZA, U.; BORBA, PAULO; BORBA, Paulo
ACM SIGPLAN Notices
2011

Integrating Product Line Refactoring and Derivation Tools: Challenges and Potential Solutions.

CIRILO, Elder; SENA, Demóstenes; KULESZA, Uirá; TEIXEIRA, Leopoldo; SOARES, Sérgio; BORBA, Paulo; GHEYI, Rohit; NEVES, Laís; LUCENA, Carlos
International Workshop on Product Line Approaches in Software Engineering (PLEASE 2011), 2011, Honolulu. Workshop at International Conference on Software Engineering (ICSE 2011)
2011

Investigating the Safe Evolution of Software Product Lines

NEVES, Laís; TEIXEIRA, Leopoldo; SENA, Demóstenes; ALVES, Vander; KULESZA, Uirá; BORBA, Paulo
[GPCE] 10th International Conference on Generative Programming and Component Engineering (GPCE 2011)
2011

Safe Composition of Configuration Knowledge-based Software Product Lines

TEIXEIRA, Leopoldo; GHEYI, Rohit; BORBA, Paulo
[SBES] XXV Simpósio Brasileiro de Engenharia de Software (SBES 2011)
2010

Emergent Feature Modularization

RIBEIRO, Márcio; PACHECO, Humberto; TEIXEIRA, Leopoldo; BORBA, Paulo
[SPLASH] Onward! 2010, affiliated with ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)
2010

A Theory of Software Product Line Refinement

BORBA, Paulo; TEIXEIRA, Leopoldo; GHEYI, Rohit
[ICTAC] 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010)
2010

Assessment of Product Derivation Tools in the Evolution of Software Product Lines: An Empirical Study

TORRES, Mário; LUCENA, Carlos; TEIXEIRA, Leopoldo; CIRILO, Elder; KULESZA, Uirá; SOUSA, Matheus; BORBA, Paulo; BATISTA, Thais; BRAGA, Rosana; MASIERO, Paulo
2nd International Workshop on Feature-Oriented Software Development (FOSD), in conjunction with GPCE and SLE 2010
2010

Estudo Comparativo de Ferramentas de Derivação Dirigidas por Modelos: Resultados Preliminares

TORRES, Mário; BORBA, Paulo; LUCENA, Carlos; KULESZA, Uirá; BRAGA, Rosana; MASIERO, Paulo; PIRES, Paulo; DELICATO, Flávia; CIRILO, Elder; BATISTA, Thais; TEIXEIRA, Leopoldo
Primeiro Workshop Brasileiro de Desenvolvimento Dirigido por Modelos (WBDDM'2010), CBSoft'2010
2009

Hephaestus: A Tool for Managing SPL Variabilities

BONIFACIO, Rodrigo; TEIXEIRA, Leopoldo; BORBA, Paulo
III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software

Publicações

2026

Exception handling bugs in Python: An empirical study of root causes, fix patterns, and anti-patterns

SOUZA, Jairo; COELHO, Eric; CORREIA, João; LIMA, Rodrigo; TEIXEIRA, Leopoldo; SANTOS NETO, Baldoino
INFORMATION AND SOFTWARE TECHNOLOGY
2026

Django-Specific Code Smells: Catalog, Prevalence, and Automated Detection

TEIXEIRA, Leopoldo; SILVA, Eduardo Luiz
Workshop on Software Visualization, Evolution and Maintenance
2026

Dependency Version Migration in Software Projects: A Rapid Review of Motivations, Techniques, Tools, and Challenges

SILVA, Arthur; TEIXEIRA, Leopoldo; ASSUNCAO, Wesley K. G.; CARTAXO, Bruno
[SBES] Brazilian Symposium on Software Engineering
2026

Test Coverage of Code Changes in AI-Generated Pull Requests

ALVES, Tales; TEIXEIRA, Leopoldo
[MSR] MSR Mining Challenge Track of the Mining Software Repositories
2026

An Empirical Evaluation of Using Large Language Models to Recommend Exception Handling Tasks

SOUZA, Jairo; ALVES, Tales; LIMA, Rodrigo; ARAUJO, Ericlecio; TEIXEIRA, Leopoldo; SANTOS NETO, Baldoino
[SBES] Brazilian Symposium on Software Engineering
2026

Integrating ZBus into Zephyr RTOS: A Case Study of Knowledge Transfer from Academia to Industry Through Open-Source Contributions

PEIXOTO, Rodrigo; TEIXEIRA, Leopoldo; SANTOS NETO, Baldoino
JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (ONLINE)
2026

Evaluating Shaker for Flaky Test Detection in Python Projects

LEAL, Gabriela; SILVA, Denini; TEIXEIRA, Leopoldo
Brazilian Symposium on Systematic and Automated Software Testing
2026

Can Small LLMs Detect Defect-Prone Code Smells? An Empirical Evaluation of 8B-30B Models Against a Ground-Truth Dataset

LIMA, Rodrigo; SOUZA, Jairo; SANTOS NETO, Baldoino; TEIXEIRA, Leopoldo; RIBEIRO, Márcio
[EASE] International Conference on Evaluation and Assessment in Software Engineering (EASE) - AI Models/Data Track
2026

Evaluator Bias in LLM-Based Program Repair: A Disagreement Analysis on Android Resource Leaks

BONFIM, Andrezza; TEIXEIRA, Leopoldo
[SBES] Brazilian Symposium on Software Engineering
2026

Bleach: A Programming Language for Teaching Compilers

COSTA, Victor; TEIXEIRA, Leopoldo
[SBLP] Brazilian Symposium on Programming Languages
2026

How Rust Projects Use Macros: A Large-Scale Empirical Study

TEIXEIRA, Leopoldo; DRUMOND, Nilo
Brazilian Symposium on Software Components, Architectures, and Reuse
2025

Exploring Transfer Learning for Multilingual Software Quality: Code Smells, Bugs, and Harmful Code

LIMA, Rodrigo; SOUZA, Jairo; SANTOS NETO, Baldoino; TEIXEIRA, Leopoldo; PEREIRA, Durval; BARBOSA, Caio; LEITE, Leonardo; BAIA, Davy
JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT
2025

Evaluating LLMs for Multimodal GUI Test Generation in Android Applications

FAGUNDES, NAYSE; TEIXEIRA, LEOPOLDO
[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado
2025

An Interpreter-based Framework for Static Analysis of Variability in Space and Time

VIEIRA, TAYNÁ; ALVES, Vander; TEIXEIRA, LEOPOLDO
[SBLP] Simpósio Brasileiro de Linguagens de Programação
2024

Towards effective gamification of existing systems: method and experience report

UCHÔA, ANDERSON; DE MELLO, RAFAEL; SOUZA, Jairo; TEIXEIRA, LEOPOLDO; FONSECA, BALDOINO; GARCIA, Alessandro
SOFTWARE QUALITY JOURNAL
2024

Investigating the Social Representations of Harmful Code

LIMA, Rodrigo; SOUZA, Jairo; FONSECA, BALDOINO; TEIXEIRA, LEOPOLDO; MELLO, Rafael; RIBEIRO, Márcio; GHEYI, Rohit; GARCIA, Alessandro
JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT
2024

On the Expressive Power of Languages for Static Variability

BITTNER, PAUL MAXIMILIAN; SCHULTHEIß, ALEXANDER; MOOSHERR, Benjamin; YOUNG, JEFFREY M.; TEIXEIRA, LEOPOLDO; WALKINGSHAW, Eric; ATAEI, Parisa; THÜM, THOMAS
Proceedings Of The Acm On Programming Languages-Pacmpl
2024

Exception Miner: Multi-language Static Analysis Tool to Identify Exception Handling Anti-Patterns

SOUZA, Jairo; ALVES, Tales; OLIVEIRA, Robson; TEIXEIRA, Leopoldo; SANTOS NETO, Baldoino
[SBES] Brazilian Symposium on Software Engineering
2024

On the Expressive Power of Languages for Static Variability

BITTNER, Paul M.; SCHULTHEISS, Alexander; MOOSHERR, Benjamin; YOUNG, Jeffrey; TEIXEIRA, Leopoldo; WALKINGSHAW, Eric; ATAEI, Parisa; THUM, Thomas
[OOPSLA] ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)
2024

Blackbox Observability of Features and Feature Interactions

WEIS, Kallistos; TEIXEIRA, Leopoldo; DUBSLAFF, Clemens; APEL, Sven
[ASE] IEEE/ACM International Conference on Automated Software Engineering
2023

Towards a better understanding of the mechanics of refactoring detection tools

OLIVEIRA, Jonhnanthan; GHEYI, Rohit; TEIXEIRA, LEOPOLDO; RIBEIRO, Márcio; LEANDRO, Osmar; FONSECA, BALDOINO
INFORMATION AND SOFTWARE TECHNOLOGY
2023

Do you see any problem? On the Developers Perceptions in Test Smells Detection

LIMA, Rodrigo; COSTA, Keila; SOUZA, Jairo; TEIXEIRA, Leopoldo; SANTOS NETO, Baldoino; D'AMORIM, Marcelo; RIBEIRO, Márcio; MIRANDA, Breno
Brazilian Symposium on Software Quality
2022

Guiding the evolution of product-line configurations

NIEKE, Michael; SAMPAIO, Gabriela; THÜM, THOMAS; SEIDL, Christoph; TEIXEIRA, LEOPOLDO; SCHAEFER, Ina
Software and Systems Modeling
2022

A Technique to Test Refactoring Detection Tools

LEANDRO, Osmar; GHEYI, Rohit; TEIXEIRA, Leopoldo; RIBEIRO, Márcio; GARCIA, Alessandro
[SBES] 36th Brazilian Symposium on Software Engineering (SBES 2022)
2022

A Decade of Internationalization of the Brazilian Symposium on Software Engineering: The Good, the Bad, and the Ugly

MENDONCA, Nabor; TEIXEIRA, Leopoldo; SOARES, Sérgio; GARCIA, Vinicius; KULESZA, Uirá; FRANCA, Alberto Cesar; LUCREDIO, Daniel; CIRILO, Elder; MACHADO, Ivan
[SBES] 36th Brazilian Symposium on Software Engineering (SBES 2022)
2022

Distributed Repository for Software Packages Using Blockchain

COSTA, Felipe; QUEIROZ, Ruy; BITTENCOURT, Gustavo; TEIXEIRA, Leopoldo
IEEE Access
2021

Evolving Delta-Oriented Product Lines: A Case Study on Feature Interaction, Safe and Partially Safe Evolution

CAMARGO, Leomar; FANTIN, Luisa; LOBAO, Gabriel; FIGUEIREDO, Thiago; BONIFACIO, Rodrigo; GOMES, Karine; TEIXEIRA, Leopoldo
[SBES] Brazilian Symposium on Software Engineering
2021

A program generator for TypeScript

BRITTO, Gabriela; TEIXEIRA, Leopoldo; GHEYI, Rohit
[SBLP] Brazilian Symposium on Programming Languages
2021

Identifying method-level mutation subsumption relations using Z3

GHEYI, ROHIT; RIBEIRO, Márcio; SOUZA, BEATRIZ; GUIMARÃES, MARCIO; FERNANDES, LEO; D?AMORIM, MARCELO; ALVES, VANDER; TEIXEIRA, Leopoldo; FONSECA, BALDOINO
INFORMATION AND SOFTWARE TECHNOLOGY
2021

A Formal Framework of Software Product Line Analyses

CASTRO, Thiago; TEIXEIRA, Leopoldo; ALVES, Vander; APEL, Sven; CORDY, Maxime; GHEYI, Rohit
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
2021

Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification

TEIXEIRA, Leopoldo; MIRANDA, Breno; REBELO, Henrique; D'AMORIM, Marcelo
[ICSTV] IEEE International Conference on Software Testing, Verification and Validation
2021

Shipwright: A Human-in-the-Loop System for Dockerfile Repair

HENKEL, Jordan; SILVA, Denini; TEIXEIRA, Leopoldo; D'AMORIM, Marcelo; REPS, Thomas
[ICSE] International Conference on Software Engineering
2020

Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker

SILVA, Denini; TEIXEIRA, Leopoldo; D'AMORIM, Marcelo
[ICSME] IEEE International Conference on Software Maintenance and Evolution
2020

Safe Evolution of Product Lines using Configuration Knowledge Laws

TEIXEIRA, Leopoldo; GHEYI, Rohit; BORBA, Paulo
[SBMF] 23rd Brazilian Symposium on Formal Methods (SBMF 2020)
2020

Understanding and Detecting Harmful Code

LIMA, Rodrigo; SOUZA, Jairo; SANTOS NETO, Baldoino; TEIXEIRA, Leopoldo; GHEYI, Rohit; RIBEIRO, Márcio; GARCIA, Alessandro; MELLO, Rafael
[SBES] Brazilian Symposium on Software Engineering
2020

Porting the Software Product Line Refinement Theory to the Coq proof assistant

ALVES, Thayonara; TEIXEIRA, Leopoldo; ALVES, Vander; CASTRO, Thiago
[SBMF] Brazilian Symposium on Formal Methods
2020

On the Adoption of Kotlin on Android Development: a Triangulation Study

OLIVEIRA, Victor; TEIXEIRA, Leopoldo; EBERT, Felipe
[SANER] IEEE International Conference on Software Analysis, Evolution and Reengineering
2020

A Catalog of Object-Relational Mapping Code Smells for Java

LOLI, Samuel; TEIXEIRA, Leopoldo; CARTAXO, Bruno
[SBES] Brazilian Symposium on Software Engineering
2020

GuyDance: Guiding configuration updates for product-line evolution

NIEKE, Michael; SAMPAIO, Gabriela; THUM, Thomas; SEIDL, Christoph; TEIXEIRA, Leopoldo; SCHAEFER, Ina
3rd Intl. Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2020)
2019

On Gamifying an Existing Healthcare System: Method, Conceptual Model and Evaluation

UCHOA, Anderson; FERNANDES, Eduardo; SANTOS NETO, Baldoino; MELLO, Rafael; BARBOSA, Caio; NUNES, Gabriel; GARCIA, Alessandro; TEIXEIRA, Leopoldo
1st International Workshop on Software Engineering for Healthcare, co-located with 41st International Conference on Software Engineering
2019

Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study

GOMES, Karine; TEIXEIRA, Leopoldo; ALVES, Thayonara; RIBEIRO, Márcio; GHEYI, Rohit
International Workshop on Variability Modelling of Software-intensive Systems
2019

A Tool for Interactive Programming Visualization to Help in the Data Structures and Algorithms Teaching-Learning Process

MORAES, Pedro; TEIXEIRA, Leopoldo
[SBES] Brazilian Symposium on Software Engineering
2019

Towards Efficient Analysis of Variation in Time and Space

THUM, Thomas; TEIXEIRA, Leopoldo; SCHMID, Klaus; WALKINGSHAW, Eric; MUKELABAI, Mukelabai; VARSHOSAZ, Mahsa; BOTTERWECK, Goetz; SCHAEFER, Ina; KEHRER, Timo
2nd International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2019)
2019

VazaZika: A software platform for surveillance and control of mosquito-borne diseases

FERNANDES, Eduardo; TEIXEIRA, Leopoldo; UCHOA, Anderson; SOUSA, Leonardo; OLIVEIRA, Anderson; MELLO, Rafael; BARROCA, Luiz; CARVALHO, Diogo; GARCIA, Alessandro; SANTOS NETO, Baldoino
[ITNG] 16th International Conference on Information Technology: New Generations
2019

Partially safe evolution of software product lines

SAMPAIO, Gabriela; BORBA, Paulo; TEIXEIRA, Leopoldo
JOURNAL OF SYSTEMS AND SOFTWARE
2018

All roads lead to Rome: Commuting strategies for product-line reliability analysis

CASTRO, Thiago; LANNA, André; ALVES, Vander; TEIXEIRA, Leopoldo; APEL, Sven; SCHOBBENS, Pierre Yves
SCIENCE OF COMPUTER PROGRAMMING
2018

A change-aware per-file analysis to compile configurable systems with #ifdefs

BRAZ, Larissa; GHEYI, Rohit; MONGIOVI, Melina; RIBEIRO, Márcio; MEDEIROS, Flávio; TEIXEIRA, Leopoldo; SOUTO, Sabrina
COMPUTER LANGUAGES SYSTEMS & STRUCTURES
2018

Detecting Overly Strong Preconditions in Refactoring Engines

MONGIOVI, Melina; GHEYI, Rohit; SOARES, Gustavo; RIBEIRO, MARCIO; BORBA, Paulo; TEIXEIRA, LEOPOLDO
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
2018

Testing Strategies for Smart Cities applications: A Systematic Mapping Study

COSTA, Alex; TEIXEIRA, Leopoldo
[SAST] Brazilian Symposium on Systematic and Automated Software Testing
2017

A change-centric approach to compile configurable systems with #ifdefs

BRAZ, Larissa; GHEYI, Rohit; MONGIOVI, Melina; RIBEIRO, Márcio; MEDEIROS, Flávio; TEIXEIRA, LEOPOLDO
ACM SIGPLAN NOTICES
2016

Partially Safe Evolution of Software Product Lines

SAMPAIO, Gabriela; BORBA, Paulo; TEIXEIRA, Leopoldo
20th International Systems and Software Product Line Conference
2016

Coevolution of variability models and related software artifacts

PASSOS, Leonardo; TEIXEIRA, LEOPOLDO; DINTZNER, Nicolas; APEL, Sven; W'SOWSKI, ANDRZEJ; CZARNECKI, Krzysztof; BORBA, Paulo; GUO, Jianmei
Empirical Software Engineering
2016

An empirical study on configuration-related issues: investigating undeclared and unused identifiers

MEDEIROS, F.; RODRIGUES, I.; RIBEIRO, M.; TEIXEIRA, Leopoldo; GHEYI, R.
ACM SIGPLAN NOTICES
2016

Safe Evolution of Software Product Lines: Feature Extraction Scenarios

BENBASSAT, Fernando; BORBA, Paulo; TEIXEIRA, Leopoldo
[SBCARS] X Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS)
2016

A Change-Centric Approach to Compile Configurable Systems with #ifdefs

BRAZ, Larissa; GHEYI, Rohit; MONGIOVI, Melina; RIBEIRO, Márcio; MEDEIROS, Flávio; TEIXEIRA, Leopoldo
[GPCE] International Conference on Generative Programming: Concepts & Experiences (GPCE'2016)
2015

Safe Evolution of Product Populations and Multi Product Lines

TEIXEIRA, Leopoldo; BORBA, Paulo; GHEYI, Rohit
[SPLC] 19th International Software Product Line Conference (SPLC)
2015

A Product Line of Theories for Reasoning about Safe Evolution of Product Lines

TEIXEIRA, Leopoldo; ALVES, Vander; BORBA, Paulo; GHEYI, Rohit
[SPLC] The 19th International Software Product Line Conference: New Directions in Systems and Software Product Line Engineering
2015

Safe Evolution Templates for Software Product Lines

NEVES, Laís; BORBA, Paulo; ALVES, Vander; TURNES, Lucineia; TEIXEIRA, Leopoldo; SENA, Demóstenes; KULESZA, Uirá
JOURNAL OF SYSTEMS AND SOFTWARE
2015

An Empirical Study on Configuration-Related Type Issues

MEDEIROS, Flávio; RODRIGUES, Iran; RIBEIRO, Márcio; TEIXEIRA, Leopoldo; GHEYI, Rohit
[GPCE] 14th International Conference on Generative Programming: Concepts & Experience (GPCE'15)
2014

Making refactoring safer through impact analysis

MONGIOVI, MELINA; GHEYI, R.; Soares, Gustavo; TEIXEIRA, Leopoldo; BORBA, Paulo
Science of Computer Programming (Print)
2014

Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness

ALFÉREZ, MAURICIO; BONIFÁCIO, RODRIGO; TEIXEIRA, LEOPOLDO; ACCIOLY, Paola; KULESZA, Uirá; MOREIRA, Ana; ARAÚJO, JOÃO; BORBA, Paulo
Requirements Engineering
2014

On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment

RODRIGUES, Elder; PASSOS, Leonardo; TEIXEIRA, Leopoldo; ZORZO, Avelino; OLIVEIRA, Flavio; SAAD, Rodrigo
The 26th International Conference on Software Engineering and Knowledge Engineering
2013

Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel

PASSOS, Leonardo; GUO, Jianmei; TEIXEIRA, Leopoldo; CZARNECKI, Krzysztof; WĄSOWSKI, Andrzej; BORBA, Paulo
17th International Software Product Line Conference
2013

Safe Evolution of Software Product Lines and Communities

TEIXEIRA, Leopoldo
Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)
2013

Safe composition of configuration knowledge-based software product lines

TEIXEIRA, Leopoldo; BORBA, Paulo; GHEYI, Rohit
The Journal of Systems and Software
2012

A Theory of Software Product Line Refinement

BORBA, Paulo; TEIXEIRA, Leopoldo; GHEYI, Rohit
Theoretical Computer Science
2012

Investigating the safe evolution of software product lines

Laís Neves; TEIXEIRA, Leopoldo; Demóstenes Sena; ALVES, Vander; KULESZA, U.; BORBA, PAULO; BORBA, Paulo
ACM SIGPLAN Notices
2011

Integrating Product Line Refactoring and Derivation Tools: Challenges and Potential Solutions.

CIRILO, Elder; SENA, Demóstenes; KULESZA, Uirá; TEIXEIRA, Leopoldo; SOARES, Sérgio; BORBA, Paulo; GHEYI, Rohit; NEVES, Laís; LUCENA, Carlos
International Workshop on Product Line Approaches in Software Engineering (PLEASE 2011), 2011, Honolulu. Workshop at International Conference on Software Engineering (ICSE 2011)
2011

Investigating the Safe Evolution of Software Product Lines

NEVES, Laís; TEIXEIRA, Leopoldo; SENA, Demóstenes; ALVES, Vander; KULESZA, Uirá; BORBA, Paulo
[GPCE] 10th International Conference on Generative Programming and Component Engineering (GPCE 2011)
2011

Safe Composition of Configuration Knowledge-based Software Product Lines

TEIXEIRA, Leopoldo; GHEYI, Rohit; BORBA, Paulo
[SBES] XXV Simpósio Brasileiro de Engenharia de Software (SBES 2011)
2010

Emergent Feature Modularization

RIBEIRO, Márcio; PACHECO, Humberto; TEIXEIRA, Leopoldo; BORBA, Paulo
[SPLASH] Onward! 2010, affiliated with ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)
2010

A Theory of Software Product Line Refinement

BORBA, Paulo; TEIXEIRA, Leopoldo; GHEYI, Rohit
[ICTAC] 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010)
2010

Assessment of Product Derivation Tools in the Evolution of Software Product Lines: An Empirical Study

TORRES, Mário; LUCENA, Carlos; TEIXEIRA, Leopoldo; CIRILO, Elder; KULESZA, Uirá; SOUSA, Matheus; BORBA, Paulo; BATISTA, Thais; BRAGA, Rosana; MASIERO, Paulo
2nd International Workshop on Feature-Oriented Software Development (FOSD), in conjunction with GPCE and SLE 2010
2010

Estudo Comparativo de Ferramentas de Derivação Dirigidas por Modelos: Resultados Preliminares

TORRES, Mário; BORBA, Paulo; LUCENA, Carlos; KULESZA, Uirá; BRAGA, Rosana; MASIERO, Paulo; PIRES, Paulo; DELICATO, Flávia; CIRILO, Elder; BATISTA, Thais; TEIXEIRA, Leopoldo
Primeiro Workshop Brasileiro de Desenvolvimento Dirigido por Modelos (WBDDM'2010), CBSoft'2010
2009

Hephaestus: A Tool for Managing SPL Variabilities

BONIFACIO, Rodrigo; TEIXEIRA, Leopoldo; BORBA, Paulo
III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software
lmt

Leopoldo Motta Teixeira

Professor Associado I

Coordenador da Pós-Graduação Acadêmica em Ciência da Computação

Processamento e Sintese de midias digitais
Design Thinking
Link para o site pessoal de Leopoldo Motta Teixeira
Link para o perfil do lattes de Leopoldo Motta Teixeira
Link para o perfil do LinkedIn de Leopoldo Motta Teixeira
Link para o perfil do DBLP de Leopoldo Motta Teixeira
Link para o perfil do ORCID de Leopoldo Motta Teixeira
Link para o perfil do Scholar de Leopoldo Motta Teixeira
Link para o perfil do sigaa de Leopoldo Motta Teixeira
E-mail
lmt@cin.ufpe.br
Telefone
+55 81 2126-8430  R:4358
Sala
C012
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações
lmt

Leopoldo Motta Teixeira

Professor Associado I

Coordenador da Pós-Graduação Acadêmica em Ciência da Computação

Processamento e Sintese de midias digitais
Design Thinking
Link para o site pessoal de Leopoldo Motta Teixeira
Link para o perfil do lattes de Leopoldo Motta Teixeira
Link para o perfil do LinkedIn de Leopoldo Motta Teixeira
Link para o perfil do DBLP de Leopoldo Motta Teixeira
Link para o perfil do ORCID de Leopoldo Motta Teixeira
Link para o perfil do Scholar de Leopoldo Motta Teixeira
Link para o perfil do sigaa de Leopoldo Motta Teixeira
E-mail
lmt@cin.ufpe.br
Telefone
+55 81 2126-8430  R:4358
Sala
C012
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações