Leopoldo Teixeira

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 40

Top Topics

Design Decisions

Reliability Analysis

Top Venues

Inf. Softw. Technol.

J. Syst. Softw.

Publications

Rodrigo Lima, Jairo Souza, Baldoino Fonseca, Leopoldo Teixeira, Rafael Maiani de Mello, Márcio Ribeiro, Rohit Gheyi, Alessandro F. Garcia
Investigating the Social Representations of Harmful Code. J. Softw. Eng. Res. Dev. 12 (1) (2024)
Rodrigo Lima, Keila Costa, Jairo Souza, Leopoldo Teixeira, Baldoino Fonseca, Marcelo d'Amorim, Márcio Ribeiro, Breno Miranda
Do you see any problem? On the Developers Perceptions in Test Smells Detection. SBQS (2023)
Jonhnanthan Oliveira, Rohit Gheyi, Leopoldo Teixeira, Márcio Ribeiro, Osmar Leandro, Baldoino Fonseca
Towards a better understanding of the mechanics of refactoring detection tools. Inf. Softw. Technol. 162 (2023)
Nabor Mendonça, Leopoldo Teixeira, Sérgio Soares, Vinicius Cardoso Garcia, Uirá Kulesza, César França, Daniel Lucrédio, Elder Cirilo, Ivan Machado
A Decade of Internationalization of the Brazilian Symposium on Software Engineering: The Good, the Bad, and the Ugly. SBES (2022)
Felipe Zimmerle da N. Costa, Ruy J. G. B. de Queiroz, Gustavo P. Bittencourt, Leopoldo Teixeira
Distributed Repository for Software Packages Using Blockchain. IEEE Access 10 (2022)
Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer
Guiding the evolution of product-line configurations. Softw. Syst. Model. 21 (1) (2022)
Osmar Leandro, Rohit Gheyi, Leopoldo Teixeira, Márcio Ribeiro, Alessandro F. Garcia
A Technique to Test Refactoring Detection Tools. SBES (2022)
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. ICSE (2021)
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. CoRR (2021)
Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, Breno Miranda, Marcelo d'Amorim
Shaker: a Tool for Detecting More Flaky Tests Faster. ASE (2021)
Leomar Camargo, Luisa Fantin, Gabriel Lobão, Thiago Figueiredo, Rodrigo Bonifácio, Karine Gomes, Leopoldo Teixeira
Evolving Delta-Oriented Product Lines: A Case Study on Feature Interaction, Safe and Partially Safe Evolution. SBES (2021)
Gabriela Araujo Britto, Leopoldo Teixeira, Rohit Gheyi
TSDolly: A program generator for TypeScript. SBLP (2021)
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. ICSE (Companion Volume) (2021)
Thiago M. Castro, Leopoldo Teixeira, Vander Alves, Sven Apel, Maxime Cordy, Rohit Gheyi
A Formal Framework of Software Product Line Analyses. ACM Trans. Softw. Eng. Methodol. 30 (3) (2021)
Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca
Identifying method-level mutation subsumption relations using Z3. Inf. Softw. Technol. 132 (2021)
Leopoldo Teixeira, Breno Miranda, Henrique Rebêlo, Marcelo d'Amorim
Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. ICST (2021)
Victor Oliveira, Leopoldo Teixeira, Felipe Ebert
On the Adoption of Kotlin on Android Development: A Triangulation Study. SANER (2020)
Thayonara Alves, Leopoldo Teixeira, Vander Alves, Thiago M. Castro
Porting the Software Product Line Refinement Theory to the Coq Proof Assistant. SBMF (2020)
Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim
Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker. ICSME (2020)
Leopoldo Teixeira, Rohit Gheyi, Paulo Borba
Safe Evolution of Product Lines Using Configuration Knowledge Laws. SBMF (2020)
Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer
GuyDance: Guiding Configuration Updates for Product-Line Evolution. SPLC (B) (2020)
Samuel Loli, Leopoldo Teixeira, Bruno Cartaxo
A Catalog of Object-Relational Mapping Code Smells for Java. SBES (2020)
Rodrigo Lima, Jairo Souza, Baldoino Fonseca, Leopoldo Teixeira, Rohit Gheyi, Márcio Ribeiro, Alessandro F. Garcia, Rafael Maiani de Mello
Understanding and Detecting Harmful Code. SBES (2020)
Pedro Moraes, Leopoldo Teixeira
Willow: A Tool for Interactive Programming Visualization to Help in the Data Structures and Algorithms Teaching-Learning Process. SBES (2019)
Karine Gomes, Leopoldo Teixeira, Thayonara Alves, Márcio Ribeiro, Rohit Gheyi
Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study. VaMoS (2019)
Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer
Towards efficient analysis of variation in time and space. SPLC (B) (2019)
Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira
Partially safe evolution of software product lines. J. Syst. Softw. 155 (2019)
Anderson G. Uchôa, Eduardo Fernandes, Baldoino Fonseca, Rafael Maiani de Mello, Caio Barbosa, Gabriel Nunes, Alessandro Garcia, Leopoldo Teixeira
On gamifying an existing healthcare system: method, conceptual model and evaluation. SEH@ICSE (2019)
Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, Leopoldo Teixeira, Sabrina Souto
A change-aware per-file analysis to compile configurable systems with #ifdefs. Comput. Lang. Syst. Struct. 54 (2018)
Thiago M. Castro, André Lanna, Vander Alves, Leopoldo Teixeira, Sven Apel, Pierre-Yves Schobbens
All roads lead to Rome: Commuting strategies for product-line reliability analysis. Sci. Comput. Program. 152 (2018)
Alex Costa, Leopoldo Teixeira
Testing Strategies for Smart Cities applications: A Systematic Mapping Study. SAST (2018)
Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro, Paulo Borba, Leopoldo Teixeira
Detecting Overly Strong Preconditions in Refactoring Engines. IEEE Trans. Software Eng. 44 (5) (2018)
Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira
Partially safe evolution of software product lines. SPLC (2016)
Fernando Benbassat, Paulo Borba, Leopoldo Teixeira
Safe Evolution of Software Product Lines: Feature Extraction Scenarios. SBCARS (2016)
Leonardo Teixeira Passos, Leopoldo Teixeira, Nicolas Dintzner, Sven Apel, Andrzej Wasowski, Krzysztof Czarnecki, Paulo Borba, Jianmei Guo
Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel. Empir. Softw. Eng. 21 (4) (2016)
Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, Leopoldo Teixeira
A change-centric approach to compile configurable systems with #ifdefs. GPCE (2016)
Laís Neves, Paulo Borba, Vander Alves, Lucinéia Turnes, Leopoldo Teixeira, Demóstenes Sena, Uirá Kulesza
Safe evolution templates for software product lines. J. Syst. Softw. 106 (2015)
Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi
A product line of theories for reasoning about safe evolution of product lines. SPLC (2015)
Leopoldo Teixeira, Paulo Borba, Rohit Gheyi
Safe evolution of product populations and multi product lines. SPLC (2015)
Flávio Medeiros, Iran Rodrigues, Márcio Ribeiro, Leopoldo Teixeira, Rohit Gheyi
An empirical study on configuration-related issues: investigating undeclared and unused identifiers. GPCE (2015)
Mauricio Alférez, Rodrigo Bonifácio, Leopoldo Teixeira, Paola R. G. Accioly, Uirá Kulesza, Ana Moreira, João Araújo, Paulo Borba
Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness. Requir. Eng. 19 (4) (2014)
Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Leopoldo Teixeira, Paulo Borba
Making refactoring safer through impact analysis. Sci. Comput. Program. 93 (2014)
Elder Rodrigues, Leonardo Teixeira Passos, Leopoldo Teixeira, Avelino F. Zorzo, Flávio Moreira de Oliveira, Rodrigo S. Saad
On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment. SEKE (2014)
Leopoldo Teixeira, Paulo Borba, Rohit Gheyi
Safe composition of configuration knowledge-based software product lines. J. Syst. Softw. 86 (4) (2013)
Leonardo Teixeira Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wasowski, Paulo Borba
Coevolution of variability models and related artifacts: a case study from the Linux kernel. SPLC (2013)
Paulo Borba, Leopoldo Teixeira, Rohit Gheyi
A theory of software product line refinement. Theor. Comput. Sci. 455 (2012)
Leopoldo Teixeira, Paulo Borba, Rohit Gheyi
Safe Composition of Configuration Knowledge-Based Software Product Lines. SBES (2011)
Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba
Investigating the safe evolution of software product lines. GPCE (2011)
Márcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, Paulo Borba
Emergent feature modularization. SPLASH/OOPSLA Companion (2010)
Paulo Borba, Leopoldo Teixeira, Rohit Gheyi
A Theory of Software Product Line Refinement. ICTAC (2010)
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 Cesar Masiero
Assessment of product derivation tools in the evolution of software product lines: an empirical study. FOSD (2010)