default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLeopoldo Teixeira
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j16]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)- [c36]Jairo Souza, Tales Alves, Robson Oliveira, Leopoldo Teixeira, Baldoino Fonseca:
Exception Miner: Multi-language Static Analysis Tool to Identify Exception Handling Anti-Patterns. SBES 2024: 741-747 - [c35]Igor Steinmacher, Sabrina Marczak, Thelma Elita Colanzi, Davi Viana, Leopoldo Teixeira, Silvia R. Vergilio, Monalessa Barcellos, Ivan Machado, Johnny Marques:
Front Matter. SBES 2024 - [e3]Timo Kehrer, Marianne Huchard, Leopoldo Teixeira, Christian Birchler:
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2024, Bern, Switzerland, February 7-9, 2024. ACM 2024 [contents] - 2023
- [j15]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: 107273 (2023) - [c34]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: 21-30 - 2022
- [j14]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: 112502-112514 (2022) - [j13]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): 225-247 (2022) - [c33]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:
A Decade of Internationalization of the Brazilian Symposium on Software Engineering: The Good, the Bad, and the Ugly. SBES 2022: 1-10 - [c32]Osmar Leandro, Rohit Gheyi, Leopoldo Teixeira, Márcio Ribeiro, Alessandro F. Garcia:
A Technique to Test Refactoring Detection Tools. SBES 2022: 188-197 - 2021
- [j12]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: 106496 (2021) - [j11]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): 34:1-34:37 (2021) - [c31]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: 198-199 - [c30]Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps:
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. ICSE 2021: 1148-1160 - [c29]Leopoldo Teixeira, Breno Miranda, Henrique Rebêlo, Marcelo d'Amorim:
Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification. ICST 2021: 82-93 - [c28]Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, Breno Miranda, Marcelo d'Amorim:
Shaker: a Tool for Detecting More Flaky Tests Faster. ASE 2021: 1281-1285 - [c27]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: 95-104 - [c26]Gabriela Araujo Britto, Leopoldo Teixeira, Rohit Gheyi:
TSDolly: A program generator for TypeScript. SBLP 2021: 66-74 - [d1]Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps:
ICSE'21 Artifact for the paper Shipwright: A Human-in-the-Loop System for Dockerfile Repair. Zenodo, 2021
- [i1]Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps:
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. CoRR abs/2103.02591 (2021) - 2020
- [c25]Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim:
Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker. ICSME 2020: 301-311 - [c24]Samuel Loli, Leopoldo Teixeira, Bruno Cartaxo:
A Catalog of Object-Relational Mapping Code Smells for Java. SBES 2020: 82-91 - [c23]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: 223-232 - [c22]Thayonara Alves, Leopoldo Teixeira, Vander Alves, Thiago M. Castro:
Porting the Software Product Line Refinement Theory to the Coq Proof Assistant. SBMF 2020: 192-209 - [c21]Leopoldo Teixeira, Rohit Gheyi, Paulo Borba:
Safe Evolution of Product Lines Using Configuration Knowledge Laws. SBMF 2020: 210-227 - [c20]Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer:
GuyDance: Guiding Configuration Updates for Product-Line Evolution. SPLC (B) 2020: 56-64 - [c19]Victor Oliveira, Leopoldo Teixeira, Felipe Ebert:
On the Adoption of Kotlin on Android Development: A Triangulation Study. SANER 2020: 206-216
2010 – 2019
- 2019
- [j10]Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira:
Partially safe evolution of software product lines. J. Syst. Softw. 155: 17-42 (2019) - [c18]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: 9-16 - [c17]Pedro Moraes, Leopoldo Teixeira:
Willow: A Tool for Interactive Programming Visualization to Help in the Data Structures and Algorithms Teaching-Learning Process. SBES 2019: 553-558 - [c16]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: 69:1-69:8 - [c15]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: 15:1-15:9 - [e2]Carlos Cetina, Oscar Díaz, Laurence Duchien, Marianne Huchard, Rick Rabiser, Camille Salinesi, Christoph Seidl, Xhevahire Tërnava, Leopoldo Teixeira, Thomas Thüm, Tewfik Ziadi:
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume B, Paris, France, September 9-13, 2019. ACM 2019, ISBN 978-1-4503-6668-7 [contents] - 2018
- [j9]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: 427-450 (2018) - [j8]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: 116-160 (2018) - [j7]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): 429-452 (2018) - [c14]Alex Costa, Leopoldo Teixeira:
Testing Strategies for Smart Cities applications: A Systematic Mapping Study. SAST 2018: 20-28 - 2016
- [j6]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): 1744-1793 (2016) - [c13]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: 109-119 - [c12]Fernando Benbassat, Paulo Borba, Leopoldo Teixeira:
Safe Evolution of Software Product Lines: Feature Extraction Scenarios. SBCARS 2016: 11-20 - [c11]Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira:
Partially safe evolution of software product lines. SPLC 2016: 124-133 - [e1]Christoph Seidl, Leopoldo Teixeira:
Proceedings of the 7th International Workshop on Feature-Oriented Software Development, FOSD@SPLASH 2016, Amsterdam, The Netherlands, October 30, 2016. ACM 2016, ISBN 978-1-4503-4647-4 [contents] - 2015
- [j5]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: 42-58 (2015) - [c10]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: 35-44 - [c9]Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi:
A product line of theories for reasoning about safe evolution of product lines. SPLC 2015: 161-170 - [c8]Leopoldo Teixeira, Paulo Borba, Rohit Gheyi:
Safe evolution of product populations and multi product lines. SPLC 2015: 171-175 - 2014
- [j4]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): 355-376 (2014) - [j3]Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Leopoldo Teixeira, Paulo Borba:
Making refactoring safer through impact analysis. Sci. Comput. Program. 93: 39-64 (2014) - [c7]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: 402-407 - 2013
- [j2]Leopoldo Teixeira, Paulo Borba, Rohit Gheyi:
Safe composition of configuration knowledge-based software product lines. J. Syst. Softw. 86(4): 1038-1053 (2013) - [c6]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: 91-100 - 2012
- [j1]Paulo Borba, Leopoldo Teixeira, Rohit Gheyi:
A theory of software product line refinement. Theor. Comput. Sci. 455: 2-30 (2012) - 2011
- [c5]Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba:
Investigating the safe evolution of software product lines. GPCE 2011: 33-42 - [c4]Leopoldo Teixeira, Paulo Borba, Rohit Gheyi:
Safe Composition of Configuration Knowledge-Based Software Product Lines. SBES 2011: 263-272 - 2010
- [c3]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:
Assessment of product derivation tools in the evolution of software product lines: an empirical study. FOSD 2010: 10-17 - [c2]Paulo Borba, Leopoldo Teixeira, Rohit Gheyi:
A Theory of Software Product Line Refinement. ICTAC 2010: 15-43 - [c1]Márcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, Paulo Borba:
Emergent feature modularization. SPLASH/OOPSLA Companion 2010: 11-18
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
