Follow
Leopoldo Teixeira
Leopoldo Teixeira
Assistant Professor, Federal University of Pernambuco
Verified email at cin.ufpe.br - Homepage
Title
Cited by
Cited by
Year
A theory of software product line refinement
P Borba, L Teixeira, R Gheyi
Theoretical Computer Science 455, 2-30, 2012
1232012
Investigating the safe evolution of software product lines
L Neves, L Teixeira, D Sena, V Alves, U Kulesza, P Borba
Proceedings of the 10th ACM international conference on Generative …, 2011
932011
Coevolution of variability models and related artifacts: a case study from the Linux kernel
L Passos, J Guo, L Teixeira, K Czarnecki, A Wąsowski, P Borba
Proceedings of the 17th International Software Product Line Conference, 91-100, 2013
812013
Coevolution of variability models and related software artifacts: A fresh look at evolution patterns in the linux kernel
L Passos, L Teixeira, N Dintzner, S Apel, A Wąsowski, K Czarnecki, ...
Empirical Software Engineering 21 (4), 1744-1793, 2016
782016
Shake it! detecting flaky tests caused by concurrency with shaker
D Silva, L Teixeira, M d’Amorim
2020 IEEE International Conference on Software Maintenance and Evolution …, 2020
632020
Safe evolution templates for software product lines
L Neves, P Borba, V Alves, L Turnes, L Teixeira, D Sena, U Kulesza
Journal of Systems and Software 106, 42-58, 2015
562015
Making refactoring safer through impact analysis
M Mongiovi, R Gheyi, G Soares, L Teixeira, P Borba
Science of Computer Programming 93, 39-64, 2014
482014
Emergent feature modularization
M Ribeiro, H Pacheco, L Teixeira, P Borba
Proceedings of the ACM international conference companion on Object oriented …, 2010
442010
On the adoption of kotlin on android development: A triangulation study
V Oliveira, L Teixeira, F Ebert
2020 IEEE 27th International Conference on Software Analysis, Evolution and …, 2020
402020
An empirical study on configuration-related issues: Investigating undeclared and unused identifiers
F Medeiros, I Rodrigues, M Ribeiro, L Teixeira, R Gheyi
ACM SIGPLAN Notices 51 (3), 35-44, 2015
362015
Partially safe evolution of software product lines
G Sampaio, P Borba, L Teixeira
Proceedings of the 20th International Systems and Software Product Line …, 2016
342016
Detecting overly strong preconditions in refactoring engines
M Mongiovi, R Gheyi, G Soares, M Ribeiro, P Borba, L Teixeira
IEEE Transactions on Software Engineering 44 (5), 429-452, 2017
332017
Towards efficient analysis of variation in time and space
T Thüm, L Teixeira, K Schmid, E Walkingshaw, M Mukelabai, ...
Proceedings of the 23rd International Systems and Software Product Line …, 2019
312019
Hephaestus: A tool for managing product line variabilities
R Bonifácio, L Teixeira, P Borba
III SBCARS, 26-34, 2009
292009
Shipwright: A human-in-the-loop system for dockerfile repair
J Henkel, D Silva, L Teixeira, M d’Amorim, T Reps
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
262021
Safe composition of configuration knowledge-based software product lines
L Teixeira, P Borba, R Gheyi
Journal of Systems and Software 86 (4), 1038-1053, 2013
262013
Identifying method-level mutation subsumption relations using Z3
R Gheyi, M Ribeiro, B Souza, M Guimarães, L Fernandes, M d’Amorim, ...
Information and Software Technology 132, 106496, 2021
232021
Willow: A tool for interactive programming visualization to help in the data structures and algorithms teaching-learning process
P Moraes, L Teixeira
Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 553-558, 2019
192019
Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness
M Alférez, R Bonifácio, L Teixeira, P Accioly, U Kulesza, A Moreira, ...
Requirements Engineering 19, 355-376, 2014
172014
Guiding the evolution of product-line configurations
M Nieke, G Sampaio, T Thüm, C Seidl, L Teixeira, I Schaefer
Software and Systems Modeling, 1-23, 2022
152022
The system can't perform the operation now. Try again later.
Articles 1–20