publications

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

2024

  1. JSERD
    Investigating the Social Representations of Harmful Code
    Rodrigo Lima, Jairo Souza, Baldoino Fonseca, and 5 more authors
    Journal of Software Engineering Research and Development, 2024

2023

  1. SBQS
    Do you see any problem? On the Developers Perceptions in Test Smells Detection
    Rodrigo Lima, Keila Costa, Jairo Souza, and 5 more authors
    In Proceedings of the XXII Brazilian Symposium on Software Quality, SBQS 2023, Brasilia, Brazil, November 7-10, 2023, 2023
    PDF
  2. IST
    Towards a better understanding of the mechanics of refactoring detection tools
    Jonhnanthan Oliveira, Rohit Gheyi, Leopoldo Teixeira, and 3 more authors
    Information and Software Technology, 2023
    PDF

2022

  1. SBES
    A Technique to Test Refactoring Detection Tools
    Osmar Leandro, Rohit Gheyi, Leopoldo Teixeira, and 2 more authors
    In SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5 - 7, 2022, 2022
    PDF
  2. SBES
    A Decade of Internationalization of the Brazilian Symposium on Software Engineering: The Good, the Bad, and the Ugly
    Nabor Mendonça, Leopoldo Teixeira, Sérgio Soares, and 6 more authors
    In SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5 - 7, 2022, 2022
    PDF
  3. IEEE Access
    Distributed Repository for Software Packages Using Blockchain
    Felipe Z. Da N. Costa, Ruy J. G. B. De Queiroz, Gustavo P. Bittencourt, and 1 more author
    IEEE Access, 2022
    PDF
  4. SoSym
    Guiding the Evolution of Product-Line Configurations
    Michael Nieke, Gabriela Sampaio, Thomas Thüm, and 3 more authors
    Software and Systems Modeling (SoSyM), 2022
    PDF

2021

  1. ASE
    Shaker: a Tool for Detecting More Flaky Tests Faster
    Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, and 2 more authors
    In IEEE/ACM International Conference on Automated Software Engineering (Tool Demonstrations), Nov 2021
    Code
  2. SBLP
    TSDolly: A program generator for TypeScript
    Gabriela Araujo Britto, Leopoldo Teixeira, and Rohit Gheyi
    In Brazilian Symposium on Programming Languages, Sep 2021
    PDF
  3. SBES
    Evolving Delta-Oriented Product Lines: A Case Study on Feature Interaction, Safe and Partially Safe Evolution
    Leomar Camargo, Luisa Fantin, Gabriel Lobão, and 4 more authors
    In Brazilian Symposium on Software Engineering, Sep 2021
    PDF
  4. TOSEM
    A Formal Framework of Software Product Line Analyses
    Thiago Castro, Leopoldo Teixeira, Vander Alves, and 3 more authors
    ACM Transactions on Software Engineering and Methodology (TOSEM), Apr 2021
    PDF Code
  5. ICSE
    Shipwright: A Human-in-the-Loop System for Dockerfile Repair
    Jordan Henkel, Denini Silva, Leopoldo Teixeira, and 2 more authors
    In IEEE/ACM International Conference on Software Engineering, May 2021
    arXiv PDF Code
  6. ICST
    Demystifying the Challenges to Formally Specifying API Properties for Runtime Verification
    Leopoldo Teixeira, Breno Miranda, Henrique Rebelo, and 1 more author
    In IEEE International Conference on Software Testing, Verification and Validation, Apr 2021
    PDF Code
  7. IST
    Identifying method-level mutation subsumption relations using Z3
    Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, and 6 more authors
    Information and Software Technology, Apr 2021
    PDF

2020

  1. ICSME
    Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker
    Denini Silva, Leopoldo Teixeira, and Marcelo d’Amorim
    In IEEE International Conference on Software Maintenance and Evolution, Sep 2020
    PDF
  2. SBES
    A Catalog of Object-Relational Mapping Code Smells for Java
    Samuel Loli, Leopoldo Teixeira, and Bruno Cartaxo
    In Brazilian Symposium on Software Engineering, Oct 2020
    PDF
  3. SBES
    Understanding and Detecting Harmful Code
    Rodrigo Lima, Jairo Souza, Baldoino Fonseca, and 5 more authors
    In Brazilian Symposium on Software Engineering, Oct 2020
    PDF
  4. SBMF
    Porting the Software Product Line Refinement Theory to the Coq Proof Assistant
    Thayonara Alves, Leopoldo Teixeira, Vander Alves, and 1 more author
    In Brazilian Symposium on Formal Methods: Foundations and Applications, Nov 2020
    PDF
  5. SBMF
    Safe Evolution of Product Lines Using Configuration Knowledge Laws
    Leopoldo Teixeira, Rohit Gheyi, and Paulo Borba
    In Brazilian Symposium on Formal Methods: Foundations and Applications, Nov 2020
    PDF
  6. GuyDance: Guiding Configuration Updates for Product-Line Evolution
    Michael Nieke, Gabriela Sampaio, Thomas Thüm, and 3 more authors
    In International Workshop on Variability and Evolution of Software-Intensive Systems, co-located with SPLC 2020, Oct 2020
    PDF
  7. SANER
    On the Adoption of Kotlin on Android Development: A Triangulation Study
    Victor Oliveira, Leopoldo Teixeira, and Felipe Ebert
    In IEEE International Conference on Software Analysis, Evolution and Reengineering, Feb 2020
    PDF

2019

  1. JSS
    Partially safe evolution of software product lines
    Gabriela Sampaio, Paulo Borba, and Leopoldo Teixeira
    Journal of Systems and Software, Feb 2019
    PDF
  2. On gamifying an existing healthcare system: method, conceptual model and evaluation
    Anderson G. Uchôa, Eduardo Fernandes, Baldoino Fonseca, and 5 more authors
    In International Workshop on Software Engineering for Healthcare, co-located with ICSE 2019, May 2019
    PDF
  3. SBES
    Willow: A Tool for Interactive Programming Visualization to Help in the Data Structures and Algorithms Teaching-Learning Process
    Pedro Moraes, and Leopoldo Teixeira
    In Brazilian Symposium on Software Engineering - Insightful Ideas & Emerging Results Track, Sep 2019
    PDF
  4. Towards efficient analysis of variation in time and space
    Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, and 6 more authors
    In International Workshop on Variability and Evolution of Software-Intensive Systems, co-located with SPLC 2019, Sep 2019
    PDF
  5. VaMoS
    Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study
    Karine Gomes, Leopoldo Teixeira, Thayonara Alves, and 2 more authors
    In International Workshop on Variability Modelling of Software-Intensive Systems, Feb 2019
    PDF

2018

  1. ComLan
    A change-aware per-file analysis to compile configurable systems with #ifdefs
    Larissa Braz, Rohit Gheyi, Melina Mongiovi, and 4 more authors
    Computer Languages, Systems and Structures, Feb 2018
    PDF
  2. SCP
    All roads lead to Rome: Commuting strategies for product-line reliability analysis
    Thiago M. Castro, André Lanna, Vander Alves, and 3 more authors
    Science of Computer Programming, Feb 2018
    PDF
  3. TSE
    Detecting Overly Strong Preconditions in Refactoring Engines
    Melina Mongiovi, Rohit Gheyi, Gustavo Soares, and 3 more authors
    IEEE Transactions on Software Engineering, Feb 2018
    PDF
  4. SAST
    Testing Strategies for Smart Cities applications: A Systematic Mapping Study
    Alex Costa, and Leopoldo Teixeira
    In Brazilian Symposium on Systematic and Automated Software Testing, Sep 2018
    PDF

2016

  1. EMSE
    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, and 5 more authors
    Empirical Software Engineering, Sep 2016
    PDF
  2. GPCE
    A change-centric approach to compile configurable systems with #ifdefs
    Larissa Braz, Rohit Gheyi, Melina Mongiovi, and 3 more authors
    In ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Oct 2016
    PDF
  3. SBCARS
    Safe Evolution of Software Product Lines: Feature Extraction Scenarios
    Fernando Benbassat, Paulo Borba, and Leopoldo Teixeira
    In Brazilian Symposium on Software Components, Architectures and Reuse, Sep 2016
    PDF
  4. SPLC
    Partially safe evolution of software product lines
    Gabriela Sampaio, Paulo Borba, and Leopoldo Teixeira
    In International Systems and Software Product Line Conference, Sep 2016
    PDF

2015

  1. JSS
    Safe evolution templates for software product lines
    Laı́s Neves, Paulo Borba, Vander Alves, and 4 more authors
    Journal of Systems and Software, Sep 2015
    PDF
  2. GPCE
    An empirical study on configuration-related issues: investigating undeclared and unused identifiers
    Flávio Medeiros, Iran Rodrigues, Márcio Ribeiro, and 2 more authors
    In ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Oct 2015
    PDF
  3. SPLC
    A product line of theories for reasoning about safe evolution of product lines
    Leopoldo Teixeira, Vander Alves, Paulo Borba, and 1 more author
    In International Conference on Software Product Lines, Jul 2015
    PDF
  4. SPLC
    Safe evolution of product populations and multi product lines
    Leopoldo Teixeira, Paulo Borba, and Rohit Gheyi
    In International Conference on Software Product Lines, Jul 2015
    PDF

2014

  1. RE
    Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness
    Mauricio Alférez, Rodrigo Bonifácio, Leopoldo Teixeira, and 5 more authors
    Requirements Engineering, Jul 2014
    PDF
  2. SCP
    Making refactoring safer through impact analysis
    Melina Mongiovi, Rohit Gheyi, Gustavo Soares, and 2 more authors
    Science of Computer Programming, Jul 2014
    PDF
  3. SEKE
    On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment
    Elder Macedo Rodrigues, Leonardo Teixeira Passos, Leopoldo Teixeira, and 3 more authors
    In International Conference on Software Engineering and Knowledge Engineering, Jul 2014

2013

  1. JSS
    Safe composition of configuration knowledge-based software product lines
    Leopoldo Teixeira, Paulo Borba, and Rohit Gheyi
    Journal of Systems and Software, Jul 2013
    PDF
  2. SPLC
    Coevolution of variability models and related artifacts: a case study from the Linux kernel
    Leonardo Teixeira Passos, Jianmei Guo, Leopoldo Teixeira, and 3 more authors
    In International Software Product Line Conference, Aug 2013
    PDF

2012

  1. TCS
    A theory of software product line refinement
    Paulo Borba, Leopoldo Teixeira, and Rohit Gheyi
    Theoretical Computer Science, Aug 2012
    PDF

2011

  1. GPCE
    Investigating the safe evolution of software product lines
    Laı́s Neves, Leopoldo Teixeira, Demóstenes Sena, and 3 more authors
    In International Conference on Generative Programming And Component Engineering, Oct 2011
    PDF
  2. SBES
    Safe Composition of Configuration Knowledge-Based Software Product Lines
    Leopoldo Teixeira, Paulo Borba, and Rohit Gheyi
    In Brazilian Symposium on Software Engineering, Sep 2011
    PDF

2010

  1. FOSD
    Assessment of product derivation tools in the evolution of software product lines: an empirical study
    Mário Henrique C. Torres, Uirá Kulesza, Matheus Sousa, and 7 more authors
    In International Workshop on Feature-Oriented Software Development, Oct 2010
  2. ICTAC
    A Theory of Software Product Line Refinement
    Paulo Borba, Leopoldo Teixeira, and Rohit Gheyi
    In International Colloquium on Theoretical Aspects of Computing, Sep 2010
    PDF
  3. Onward!
    Emergent feature modularization
    Márcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, and 1 more author
    In ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity SPLASH/OOPSLA, Sep 2010
    PDF

2009

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