Leopoldo Teixeira

According to our database1, Leopoldo Teixeira authored at least 34 papers between 2010 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Identifying method-level mutation subsumption relations using Z3.
Inf. Softw. Technol., 2021

Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
CoRR, 2021

2020
On the Adoption of Kotlin on Android Development: A Triangulation Study.
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

GuyDance: Guiding Configuration Updates for Product-Line Evolution.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Safe Evolution of Product Lines Using Configuration Knowledge Laws.
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Porting the Software Product Line Refinement Theory to the Coq Proof Assistant.
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

A Catalog of Object-Relational Mapping Code Smells for Java.
Proceedings of the SBES '20: 34th Brazilian Symposium on Software Engineering, 2020

Understanding and Detecting Harmful Code.
Proceedings of the SBES '20: 34th Brazilian Symposium on Software Engineering, 2020

Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

2019
Partially safe evolution of software product lines.
J. Syst. Softw., 2019

Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study.
Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

Towards efficient analysis of variation in time and space.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Willow: A Tool for Interactive Programming Visualization to Help in the Data Structures and Algorithms Teaching-Learning Process.
Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

On gamifying an existing healthcare system: method, conceptual model and evaluation.
Proceedings of the 1st International Workshop on Software Engineering for Healthcare, 2019

2018
Detecting Overly Strong Preconditions in Refactoring Engines.
IEEE Trans. Software Eng., 2018

All roads lead to Rome: Commuting strategies for product-line reliability analysis.
Sci. Comput. Program., 2018

A change-aware per-file analysis to compile configurable systems with #ifdefs.
Comput. Lang. Syst. Struct., 2018

Testing Strategies for Smart Cities applications: A Systematic Mapping Study.
Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing, 2018

2016
Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel.
Empir. Softw. Eng., 2016

Safe Evolution of Software Product Lines: Feature Extraction Scenarios.
Proceedings of the 2016 X Brazilian Symposium on Software Components, 2016

A change-centric approach to compile configurable systems with #ifdefs.
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

2015
Safe evolution templates for software product lines.
J. Syst. Softw., 2015

Safe evolution of product populations and multi product lines.
Proceedings of the 19th International Conference on Software Product Line, 2015

A product line of theories for reasoning about safe evolution of product lines.
Proceedings of the 19th International Conference on Software Product Line, 2015

An empirical study on configuration-related issues: investigating undeclared and unused identifiers.
Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

2014
Making refactoring safer through impact analysis.
Sci. Comput. Program., 2014

Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness.
Requir. Eng., 2014

On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

2013
Safe composition of configuration knowledge-based software product lines.
J. Syst. Softw., 2013

Coevolution of variability models and related artifacts: a case study from the Linux kernel.
Proceedings of the 17th International Software Product Line Conference, 2013

2012
A theory of software product line refinement.
Theor. Comput. Sci., 2012

2011
Investigating the safe evolution of software product lines.
Proceedings of the Generative Programming And Component Engineering, 2011

2010
Emergent feature modularization.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Assessment of product derivation tools in the evolution of software product lines: an empirical study.
Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010


  Loading...