Publications
2021
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas Reps. Shipwright: An Approach to Building, Clustering, Analyzing, and Fixing Broken Dockerfiles. In: IEEE/ACM International Conference on Software Engineering (ICSE 2021).
Thiago Castro, Leopoldo Teixeira, Vander Alves, Sven Apel, Maxime Cordy, Rohit Gheyi. A Formal Framework of Software Product Line Analyses. In: ACM Transactions on Software Engineering and Methodology (TOSEM), accepted for publication.
Leopoldo Teixeira, Breno Miranda, Henrique Rebelo, Marcelo d'Amorim. Demystifying the Challenges to Formally Specifying API Properties for Runtime Verification. In: IEEE International Conference on Software Testing, Verification and Validation (ICST 2021).
Rohit Gheyi, Márcio Ribeiro, Beatriz Sousa, Marcio Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca. Identifying Method-Level Mutation Subsumption Relations using Z3. In: Information and Software Technology, Volume 132, 2021, 106496, ISSN 0950-5849.
2020
Leopoldo Teixeira, Rohit Gheyi, Paulo Borba. Safe Evolution of Product Lines using Configuration Knowledge Laws. In: Carvalho G., Stolz V. (eds) Formal Methods: Foundations and Applications. SBMF 2020. Lecture Notes in Computer Science, vol 12475. Springer, Cham.
Thayonara Alves, Leopoldo Teixeira, Vander Alves, Thiago Castro. Porting the Software Product Line Refinement Theory to the Coq proof assistant. In: Carvalho G., Stolz V. (eds) Formal Methods: Foundations and Applications. SBMF 2020. Lecture Notes in Computer Science, vol 12475. Springer, Cham.
Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer GuyDance: Guiding configuration updates for product-line evolution. In: Proceedings of the 3rd Intl. Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2020).
Samuel Loli, Leopoldo Teixeira, Bruno Cartaxo. A Catalog of Object-Relational Mapping Code Smells for Java. In: Proceedings of the 34th Brazilian Symposium on Software Engineering (SBES 2020).
Rodrigo Lima, Jairo Souza, Baldoino Santos Neto, Leopoldo Teixeira, Rohit Gheyi, Márcio Ribeiro, Alessandro Garcia, Rafael de Mello. Understanding and Detecting Harmful Code. In: Proceedings of the 34th Brazilian Symposium on Software Engineering (SBES 2020).
Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim. Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker. In: IEEE International Conference on Software Maintenance and Evolution (ICSME 2020), Adelaide, Australia, 2020, pp. 301-311.
Victor Oliveira, Leopoldo Teixeira, Felipe Ebert. On the Adoption of Kotlin on Android Development: a Triangulation Study. In: IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER 2020), London, ON, Canada, 2020, pp. 206-216.
2019
Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira. Partially Safe Evolution of Software Product Lines. In: Journal of Systems and Software, Volume 155, September 2019, Pages 17-42.
Karine Gomes, Leopoldo Teixeira, Thayonara Pontes, Márcio Ribeiro, Rohit Gheyi. Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study. In: Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS '19).
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. In: 2nd International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2019), co-located with the 23rd International Systems and Software Product Line Conference (SPLC).
Pedro Moraes, Leopoldo Teixeira. A Tool for Interactive Programming Visualization to Help in the Data Structures and Algorithms Teaching-Learning Process. In: Brazilian Symposium on Software Engineering (SBES) - Insightful Ideas & Emerging Results Track.
Anderson Uchoa, Eduardo Fernandes, Baldoino Neto, Rafael Mello, Caio Barbosa, Gabriel Nunes, Alessandro Garcia, Leopoldo Teixeira. On Gamifying an Existing Healthcare System: Method, Conceptual Model and Evaluation. In: 1st International Workshop on Software Engineering for Healthcare, co-located with the 41st International Conference on Software Engineering (ICSE).
2018
Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro, Paulo Borba, Leopoldo Teixeira. Detecting overly strong preconditions in refactoring engines. In: IEEE Transactions on Software Engineering, Volume: 44, Issue: 5, May 2018, Pages: 429-452.
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. In: Computer Languages, Systems and Structures, Volume 54, December 2018, Pages 427-450.
Alex Costa, Leopoldo Teixeira. Testing Strategies for Smart Cities applications: A Systematic Mapping Study. In: Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing (SAST '18).
2017
Thiago Castro, André Lanna, Vander Alves, Leopoldo Teixeira, Sven Apel, Pierre-Yves Schobbens. All roads lead to Rome: Commuting strategies for product-line reliability analysis. In: Science of Computer Programming, Volume 152, January 2018, Pages 116-160.
2016
Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira. Partially Safe Evolution of Software Product Lines. In: 20th International Software Product Line Conference (SPLC), 2016, Beijing, China.
Larissa Braz, Rohit Gheyi, Melina Mongiovi, M�rcio Ribeiro, Flavio Medeiros, Leopoldo Teixeira. A Change-Centric Approach to Compile Configurable Systems with #ifdefs. In: 15th International Conference on Generative Programming: Concepts & Experiences (GPCE'2016), 2016, Amsterdam, The Netherlands.
Fernando Benbassat, Paulo Borba, Leopoldo Teixeira. Safe Evolution of Software Product Lines: Feature Extraction Scenarios. In: 10th Brazilian Symposium on Components, Architecture and Reuse (SBCARS), 2016, Maringá, Brazil.
Leonardo 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. In: Empirical Software Engineering, Volume 21 Issue 4, August 2016, Pages 1744-1793.
2015
Flávio Medeiros, Iran Rodrigues, Márcio Ribeiro, Leopoldo Teixeira, Rohit Gheyi. An Empirical Study on Configuration-Related Type Issues. In: 14th International Conference on Generative Programming: Concepts & Experience (GPCE), 2015, Pittsburgh, USA.
Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi. A Product Line of Theories for Reasoning about Safe Evolution of Product Lines. In: 19th International Software Product Line Conference (SPLC), 2015, Nashville, USA.
Leopoldo Teixeira, Paulo Borba, Rohit Gheyi. Safe Evolution of Product Populations and Multi Product Lines. In: 19th International Software Product Line Conference (SPLC), 2015, Nashville, USA.
Laís Neves, Paulo Borba, Vander Alves, Lucineia Turnes, Leopoldo Teixeira, Demóstenes Sena, Uirá Kulesza. Safe Evolution Templates for Software Product Lines. In: The Journal of Systems and Software, Volume 106 Issue C, August 2015, Pages 42-58, 2015.
2014
Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Leopoldo Teixeira, Paulo Borba. Making refactoring safer through impact analysis. In: Science of Computer Programming (Print), v. 93, p. 39-64, 2014.
Mauricio Alferez, Rodrigo Bonifácio, Leopoldo Teixeira, Paola Accioly, Uirá Kulesza, Paulo Borba, Ana Moreira, João Araujo. Evaluating Scenario-Based SPL Requirements Approaches - The Case for Modularity, Stability and Expressiveness. In: Requirements Engineering, v. 19, p. 355-376, 2014.
Elder Rodrigues, Leonardo Passos, Leopoldo Teixeira, Avelino Zorzo, Flavio Oliveira, Rodrigo Saad. On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment. In Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014, Vancouver, Canada.
2013
Leonardo 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. In: 17th International Software Product Line Conference (SPLC 2013), 2013, Tokyo, Japan.
Leopoldo Teixeira, Paulo Borba, Rohit Gheyi, Safe composition of configuration knowledge-based software product lines, Journal of Systems and Software, Volume 86, Issue 4, April 2013, Pages 1038-1053, ISSN 0164-1212, http://dx.doi.org/10.1016/j.jss.2012.11.006.
2012
Paulo Borba, Leopoldo Teixeira, Rohit Gheyi, A theory of software product line refinement, Theoretical Computer Science, Volume 455, 12 October 2012, Pages 2-30, ISSN 0304-3975, http://dx.doi.org/10.1016/j.tcs.2012.01.031.
2011
Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba. Investigating the Safe Evolution of Software Product Lines. In: 10th International Conference on Generative Programming and Component Engineering (GPCE 2011), 2011, Portland, USA.
Leopoldo Teixeira, Paulo Borba, and Rohit Gheyi. Safe Composition of Configuration Knowledge-based Software Product Lines. In Proceedings of the XXV Brazilian Symposium on Software Engineering (SBES 2011), 2011, São Paulo.
2010
Paulo Borba, Leopoldo Teixeira, and Rohit Gheyi. A theory of software product line refinement. In Proceedings of the 7th International colloquium conference on Theoretical aspects of computing (ICTAC'10), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, and Jim Woodcock (Eds.). Springer-Verlag, Berlin, Heidelberg, 15-43.
Márcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, and Paulo Borba. Emergent feature modularization. In Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion (SPLASH '10). ACM, New York, NY, USA, 11-18. DOI=10.1145/1869542.1869545 http://doi.acm.org/10.1145/1869542.1869545.
Mário Torres, Uirá Kulesza, Matheus Sousa, Thais Batista, Leopoldo Teixeira, Paulo Borba, Elder Cirilo, Carlos Lucena, Rosana Braga, and Paulo Masiero. Assessment of product derivation tools in the evolution of software product lines: an empirical study. In Proceedings of the 2nd International Workshop on Feature-Oriented Software Development (FOSD '10), Sven Apel, Don Batory, Krzysztof Czarnecki, Florian Heidenreich, Christian Kaestner, and Oscar Nierstrasz (Eds.). ACM, New York, NY, USA, 10-17. DOI=10.1145/1868688.1868691 http://doi.acm.org/10.1145/1868688.1868691
Mário Torres, Uirá Kulesza, Rosana Braga, Paulo Masiero, Paulo Pires, Flávia Delicato, Elder Cirilo, Thais Batista, Leopoldo Teixeira, Paulo Borba, Carlos Lucena. 2010. Estudo Comparativo de Ferramentas de Derivação Dirigidas por Modelos: Resultados Preliminares. In: Primeiro Workshop Brasileiro de Desenvolvimento Dirigido por Modelos (WBDDM'2010), CBSoft'2010, 2010, Salvador, Brasil. Anais do I Workshop Brasileiro de Desenvolvimento Dirigido por Modelos (WBDDM'2010), 2010. p. 1-8.
2009
Rodrigo Bonifácio, Leopoldo Teixeira and Paulo Borba. Hephaestus: A tool for managing SPL variabilities. In Tools Session of the III Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2009), Natal-RN, Brazil, September 2009.