Leopoldo Teixeira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
8
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MSR | Test Coverage of Code Changes in AI-Generated Pull Requests. | Tales Alves, Leopoldo Teixeira |
| 2021 | ICSE | Shipwright: A Human-in-the-Loop System for Dockerfile Repair. | Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps |
| 2021 | ICSE | Shipwright: A Human-in-the-Loop System for Dockerfile Repair. | Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps |
| 2021 | ICST | Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. | Leopoldo Teixeira, Breno Miranda, Henrique Reblo, Marcelo d'Amorim |
| 2020 | SPLC | GuyDance: Guiding Configuration Updates for Product-Line Evolution. | Michael Nieke, Gabriela Cunha Sampaio, Thomas Thm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer |
| 2019 | ICSE | On gamifying an existing healthcare system: method, conceptual model and evaluation. | Anderson G. Ucha, Eduardo Fernandes, Baldoino Fonseca, Rafael Maiani de Mello, Caio Barbosa, Gabriel Nunes, Alessandro Garcia, Leopoldo Teixeira |
| 2019 | SPLC | Towards efficient analysis of variation in time and space. | Thomas Thm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer |
| 2016 | GPCE | A change-centric approach to compile configurable systems with #ifdefs. | Larissa Braz, Rohit Gheyi, Melina Mongiovi, Mrcio Ribeiro, Flvio Medeiros, Leopoldo Teixeira |
| 2016 | SPLC | Partially safe evolution of software product lines. | Gabriela Cunha Sampaio, Paulo Borba, Leopoldo Teixeira |
| 2015 | GPCE | An empirical study on configuration-related issues: investigating undeclared and unused identifiers. | Flvio Medeiros, Iran Rodrigues, Mrcio Ribeiro, Leopoldo Teixeira, Rohit Gheyi |
| 2015 | SPLC | A product line of theories for reasoning about safe evolution of product lines. | Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi |
| 2015 | SPLC | Safe evolution of product populations and multi product lines. | Leopoldo Teixeira, Paulo Borba, Rohit Gheyi |
| 2014 | SEKE | 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, Flvio Moreira de Oliveira, Rodrigo S. Saad |
| 2013 | SPLC | 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 |
| 2011 | GPCE | Investigating the safe evolution of software product lines. | Las Neves, Leopoldo Teixeira, Demstenes Sena, Vander Alves, Uir Kulesza, Paulo Borba |
| 2010 | GPCE | Assessment of product derivation tools in the evolution of software product lines: an empirical study. | Mrio Henrique C. Torres, Uir Kulesza, Matheus Sousa, Thas Vasconcelos Batista, Leopoldo Teixeira, Paulo Borba, Elder Cirilo, Carlos Jos Pereira de Lucena, Rosana T. V. Braga, Paulo Csar Masiero |
| 2010 | ICTAC | A Theory of Software Product Line Refinement. | Paulo Borba, Leopoldo Teixeira, Rohit Gheyi |
| 2010 | OOPSLA | Emergent feature modularization. | Mrcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, Paulo Borba |