Leopoldo Teixeira

According to our database, Leopoldo Teixeira authored at least 45 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards a better understanding of the mechanics of refactoring detection tools.

Jonhnanthan Oliveira, Rohit Gheyi, Leopoldo Teixeira, Márcio Ribeiro, Osmar Leandro, Baldoino Fonseca

Inf. Softw. Technol., 2023

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

Rodrigo Lima, Keila Costa, Jairo Souza, Leopoldo Teixeira, Baldoino Fonseca, Marcelo d'Amorim, Márcio Ribeiro, Breno Miranda

Proceedings of the XXII Brazilian Symposium on Software Quality, 2023

2022

Guiding the evolution of product-line configurations.

Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer

Softw. Syst. Model., 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

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

Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

A Technique to Test Refactoring Detection Tools.

Osmar Leandro, Rohit Gheyi, Leopoldo Teixeira, Márcio Ribeiro, Alessandro F. Garcia

Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

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

Identifying method-level mutation subsumption relations using Z3.

Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca

Inf. Softw. Technol., 2021

TSDolly: A program generator for TypeScript.

Gabriela Araujo Britto, Leopoldo Teixeira, Rohit Gheyi

Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 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

Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

Shaker: a Tool for Detecting More Flaky Tests Faster.

Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, Breno Miranda, Marcelo d'Amorim

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification.

Leopoldo Teixeira, Breno Miranda, Henrique Rebêlo, Marcelo d'Amorim

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

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

Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020

On the Adoption of Kotlin on Android Development: A Triangulation Study.

Victor Oliveira, Leopoldo Teixeira, Felipe Ebert

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

GuyDance: Guiding Configuration Updates for Product-Line Evolution.

Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Safe Evolution of Product Lines Using Configuration Knowledge Laws.

Leopoldo Teixeira, Rohit Gheyi, Paulo Borba

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Porting the Software Product Line Refinement Theory to the Coq Proof Assistant.

Thayonara Alves, Leopoldo Teixeira, Vander Alves, Thiago M. Castro

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

A Catalog of Object-Relational Mapping Code Smells for Java.

Samuel Loli, Leopoldo Teixeira, Bruno Cartaxo

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

Understanding and Detecting Harmful Code.

Rodrigo Lima, Jairo Souza, Baldoino Fonseca, Leopoldo Teixeira, Rohit Gheyi, Márcio Ribeiro, Alessandro F. Garcia, Rafael Maiani de Mello

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker.

Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

2019

Partially safe evolution of software product lines.

Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira

J. Syst. Softw., 2019

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

Karine Gomes, Leopoldo Teixeira, Thayonara Alves, Márcio Ribeiro, Rohit Gheyi

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 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

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

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

Pedro Moraes, Leopoldo Teixeira

Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

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, Leopoldo Teixeira

Proceedings of the 1st International Workshop on Software Engineering for Healthcare, 2019

2018

Detecting Overly Strong Preconditions in Refactoring Engines.

Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro, Paulo Borba, Leopoldo Teixeira

IEEE Trans. Software Eng., 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

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

Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, Leopoldo Teixeira, Sabrina Souto

Comput. Lang. Syst. Struct., 2018

Testing Strategies for Smart Cities applications: A Systematic Mapping Study.

Alex Costa, Leopoldo Teixeira

Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing, 2018

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, Paulo Borba, Jianmei Guo

Empir. Softw. Eng., 2016

Safe Evolution of Software Product Lines: Feature Extraction Scenarios.

Fernando Benbassat, Paulo Borba, Leopoldo Teixeira

Proceedings of the 2016 X Brazilian Symposium on Software Components, 2016

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

Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, Leopoldo Teixeira

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

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

Safe evolution of product populations and multi product lines.

Leopoldo Teixeira, Paulo Borba, Rohit Gheyi

Proceedings of the 19th International Conference on Software Product Line, 2015

A product line of theories for reasoning about safe evolution of product lines.

Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi

Proceedings of the 19th International Conference on Software Product Line, 2015

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

Flávio Medeiros, Iran Rodrigues, Márcio Ribeiro, Leopoldo Teixeira, Rohit Gheyi

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

2014

Making refactoring safer through impact analysis.

Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Leopoldo Teixeira, Paulo Borba

Sci. Comput. Program., 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, João Araújo, Paulo Borba

Requir. Eng., 2014

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

Elder Rodrigues, Leonardo Teixeira Passos, Leopoldo Teixeira, Avelino F. Zorzo, Flávio Moreira de Oliveira, Rodrigo S. Saad

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

2013

Safe composition of configuration knowledge-based software product lines.

Leopoldo Teixeira, Paulo Borba, Rohit Gheyi

J. Syst. Softw., 2013

Coevolution of variability models and related artifacts: a case study from the Linux kernel.

Leonardo Teixeira Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wasowski, Paulo Borba

Proceedings of the 17th International Software Product Line Conference, 2013

2012

A theory of software product line refinement.

Paulo Borba, Leopoldo Teixeira, Rohit Gheyi

Theor. Comput. Sci., 2012

2011

Investigating the safe evolution of software product lines.

Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba

Proceedings of the Generative Programming And Component Engineering, 2011

2010

Emergent feature modularization.

Márcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, Paulo Borba

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

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

Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010