publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2021

  1. Shaker: a Tool for Detecting More Flaky Tests Faster
    Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, Breno Miranda, and Marcelo d’Amorim
    IEEE/ACM International Conference on Automated Software Engineering (Tool Demonstrations) (ASE 2021)
    Melbourne City, Australia [Virtual, due to COVID-19]
    Code Video
  2. TSDolly: A program generator for TypeScript
    Gabriela Araujo Britto, Leopoldo Teixeira, and Rohit Gheyi
    Brazilian Symposium on Programming Languages (SBLP 2021)
    Joinville, Brazil [Virtual, due to COVID-19]
    DOI PDF
  3. 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 Bonifacio, Karine Gomes, and Leopoldo Teixeira
    Brazilian Symposium on Software Engineering (SBES 2021)
    Joinville, Brazil [Virtual, due to COVID-19]
    DOI PDF
  4. Guiding the Evolution of Product-Line Configurations
    Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, and Ina Schaefer
    Software and Systems Modeling (SoSyM)
    URL PDF
  5. A Formal Framework of Software Product Line Analyses
    Thiago Castro, Leopoldo Teixeira, Vander Alves, Sven Apel, Maxime Cordy, and Rohit Gheyi
    ACM Transactions on Software Engineering and Methodology (TOSEM), volume 30, 3
    DOI PDF Code
  6. Shipwright: A Human-in-the-Loop System for Dockerfile Repair
    Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d’Amorim, and Thomas W. Reps
    IEEE/ACM International Conference on Software Engineering (ICSE 2021)
    Madrid, Spain [Virtual, due to COVID-19]
    arXiv PDF Code
  7. Demystifying the Challenges to Formally Specifying API Properties for Runtime Verification
    Leopoldo Teixeira, Breno Miranda, Henrique Rebelo, and Marcelo d’Amorim
    IEEE International Conference on Software Testing, Verification and Validation (ICST 2021)
    Porto de Galinhas, Brazil [Virtual, due to COVID-19]
    URL PDF Code
  8. 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, and Baldoino Fonseca
    Information and Software Technology, volume 132
    DOI PDF

2020

  1. Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker
    Denini Silva, Leopoldo Teixeira, and Marcelo d’Amorim
    IEEE International Conference on Software Maintenance and Evolution (ICSME 2020)
    Adelaide, Australia [Virtual, due to COVID-19]
    DOI PDF Video
  2. A Catalog of Object-Relational Mapping Code Smells for Java
    Samuel Loli, Leopoldo Teixeira, and Bruno Cartaxo
    Brazilian Symposium on Software Engineering (SBES 2020)
    Natal, Brazil [Virtual, due to COVID-19]
    DOI PDF
  3. Understanding and Detecting Harmful Code
    Rodrigo Lima, Jairo Souza, Baldoino Fonseca, Leopoldo Teixeira, Rohit Gheyi, Márcio Ribeiro, Alessandro F. Garcia, and Rafael Maiani Mello
    Brazilian Symposium on Software Engineering (SBES 2020)
    Natal, Brazil [Virtual, due to COVID-19]
    DOI PDF
  4. Porting the Software Product Line Refinement Theory to the Coq Proof Assistant
    Thayonara Alves, Leopoldo Teixeira, Vander Alves, and Thiago M. Castro
    Brazilian Symposium on Formal Methods: Foundations and Applications (SBMF 2020)
    Ouro Preto, Brazil [Virtual, due to COVID-19]
    DOI PDF
  5. Safe Evolution of Product Lines Using Configuration Knowledge Laws
    Leopoldo Teixeira, Rohit Gheyi, and Paulo Borba
    Brazilian Symposium on Formal Methods: Foundations and Applications (SBMF 2020)
    Ouro Preto, Brazil [Virtual, due to COVID-19]
    DOI PDF
  6. GuyDance: Guiding Configuration Updates for Product-Line Evolution
    Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, and Ina Schaefer
    International Workshop on Variability and Evolution of Software-Intensive Systems, co-located with SPLC 2020 (VariVolution 2020)
    Montreal, Quebec, Canada [Virtual, due to COVID-19]
    DOI PDF
  7. On the Adoption of Kotlin on Android Development: A Triangulation Study
    Victor Oliveira, Leopoldo Teixeira, and Felipe Ebert
    IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2020)
    London, ON, Canada
    DOI PDF

2019

  1. Partially safe evolution of software product lines
    Gabriela Sampaio, Paulo Borba, and Leopoldo Teixeira
    Journal of Systems and Software, volume 155, pages 17–42
    DOI PDF
  2. On gamifying an existing healthcare system: method, conceptual model and evaluation
    Anderson G. Uchôa, Eduardo Fernandes, Baldoino Fonseca, Rafael Maiani Mello, Caio Barbosa, Gabriel Nunes, Alessandro Garcia, and Leopoldo Teixeira
    International Workshop on Software Engineering for Healthcare, co-located with ICSE 2019 (SEH@ICSE 2019)
    Montreal, Canada
    DOI PDF
  3. Willow: A Tool for Interactive Programming Visualization to Help in the Data Structures and Algorithms Teaching-Learning Process
    Pedro Moraes, and Leopoldo Teixeira
    Brazilian Symposium on Software Engineering - Insightful Ideas & Emerging Results Track (SBES 2019)
    Salvador, Brazil
    DOI PDF
  4. 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, and Timo Kehrer
    International Workshop on Variability and Evolution of Software-Intensive Systems, co-located with SPLC 2019 (VariVolution 2019)
    Paris, France
    DOI PDF
  5. Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study
    Karine Gomes, Leopoldo Teixeira, Thayonara Alves, Márcio Ribeiro, and Rohit Gheyi
    International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2019)
    Leuven, Belgium
    DOI PDF

2018

  1. 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, and Sabrina Souto
    Computer Languages, Systems and Structures, volume 54, pages 427–450
    DOI PDF
  2. All roads lead to Rome: Commuting strategies for product-line reliability analysis
    Thiago M. Castro, André Lanna, Vander Alves, Leopoldo Teixeira, Sven Apel, and Pierre-Yves Schobbens
    Science of Computer Programming, volume 152, pages 116–160
    DOI PDF
  3. Detecting Overly Strong Preconditions in Refactoring Engines
    Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro, Paulo Borba, and Leopoldo Teixeira
    IEEE Transactions on Software Engineering, volume 44, 5, pages 429–452
    DOI PDF
  4. Testing Strategies for Smart Cities applications: A Systematic Mapping Study
    Alex Costa, and Leopoldo Teixeira
    Brazilian Symposium on Systematic and Automated Software Testing (SAST 2018)
    Sao Carlos, Brazil
    DOI PDF

2016

  1. 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, and Jianmei Guo
    Empirical Software Engineering, volume 21, 4, pages 1744–1793
    DOI PDF
  2. A change-centric approach to compile configurable systems with #ifdefs
    Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, and Leopoldo Teixeira
    ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2016)
    Amsterdam, The Netherlands
    DOI PDF
  3. Safe Evolution of Software Product Lines: Feature Extraction Scenarios
    Fernando Benbassat, Paulo Borba, and Leopoldo Teixeira
    Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2016)
    Maringá, Brazil
    DOI PDF
  4. Partially safe evolution of software product lines
    Gabriela Sampaio, Paulo Borba, and Leopoldo Teixeira
    International Systems and Software Product Line Conference (SPLC 2016)
    Beijing, China
    DOI PDF

2015

  1. Safe evolution templates for software product lines
    Laı́s Neves, Paulo Borba, Vander Alves, Lucinéia Turnes, Leopoldo Teixeira, Demóstenes Sena, and Uirá Kulesza
    Journal of Systems and Software, volume 106, pages 42–58
    DOI PDF
  2. An empirical study on configuration-related issues: investigating undeclared and unused identifiers
    Flávio Medeiros, Iran Rodrigues, Márcio Ribeiro, Leopoldo Teixeira, and Rohit Gheyi
    ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2015)
    Pittsburgh, PA, USA
    DOI PDF
  3. A product line of theories for reasoning about safe evolution of product lines
    Leopoldo Teixeira, Vander Alves, Paulo Borba, and Rohit Gheyi
    International Conference on Software Product Lines (SPLC 2015)
    Nashville, TN, USA
    DOI PDF
  4. Safe evolution of product populations and multi product lines
    Leopoldo Teixeira, Paulo Borba, and Rohit Gheyi
    International Conference on Software Product Lines (SPLC 2015)
    Nashville, TN, USA
    DOI PDF

2014

  1. 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, and Paulo Borba
    Requirements Engineering, volume 19, 4, pages 355–376
    DOI PDF
  2. Making refactoring safer through impact analysis
    Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Leopoldo Teixeira, and Paulo Borba
    Science of Computer Programming, volume 93, pages 39–64
    DOI PDF
  3. On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment
    Elder Macedo Rodrigues, Leonardo Teixeira Passos, Leopoldo Teixeira, Avelino F. Zorzo, Flávio Moreira Oliveira, and Rodrigo S. Saad
    International Conference on Software Engineering and Knowledge Engineering (SEKE 2014)
    Vancouver, BC, Canada

2013

  1. Safe composition of configuration knowledge-based software product lines
    Leopoldo Teixeira, Paulo Borba, and Rohit Gheyi
    Journal of Systems and Software, volume 86, 4, pages 1038–1053
    DOI PDF
  2. 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, and Paulo Borba
    International Software Product Line Conference (SPLC 2013)
    Tokyo, Japan
    DOI PDF

2012

  1. A theory of software product line refinement
    Paulo Borba, Leopoldo Teixeira, and Rohit Gheyi
    Theoretical Computer Science, volume 455, pages 2–30
    DOI PDF

2011

  1. Investigating the safe evolution of software product lines
    Laı́s Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, and Paulo Borba
    International Conference on Generative Programming And Component Engineering (GPCE 2011)
    Portland, Oregon, USA
    DOI PDF
  2. Safe Composition of Configuration Knowledge-Based Software Product Lines
    Leopoldo Teixeira, Paulo Borba, and Rohit Gheyi
    Brazilian Symposium on Software Engineering (SBES 2011)
    Sao Paulo, Brazil
    DOI PDF

2010

  1. 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 Lucena, Rosana T. V. Braga, and Paulo Cesar Masiero
    International Workshop on Feature-Oriented Software Development (FOSD 2010)
    Eindhoven, Netherlands
    DOI
  2. A Theory of Software Product Line Refinement
    Paulo Borba, Leopoldo Teixeira, and Rohit Gheyi
    International Colloquium on Theoretical Aspects of Computing (ICTAC 2010)
    Natal, Brazil
    DOI PDF
  3. Emergent feature modularization
    Márcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, and Paulo Borba
    ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity SPLASH/OOPSLA (Onward! 2010)
    Reno, Nevada, USA
    DOI PDF

2009

  1. Hephaestus: A tool for managing SPL variabilities
    Rodrigo Bonifácio, Leopoldo Teixeira, and Paulo Borba
    Tools Session of the Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2009)
    Natal, Brazil
    PDF