Seguir
Leopoldo Teixeira
Leopoldo Teixeira
Dirección de correo verificada de cin.ufpe.br - Página principal
Título
Citado por
Citado por
Año
A theory of software product line refinement
P Borba, L Teixeira, R Gheyi
Theoretical Computer Science 455, 2-30, 2012
1242012
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
952011
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
832013
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
822016
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
732020
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
522014
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
442020
Emergent feature modularization
M Ribeiro, H Pacheco, L Teixeira, P Borba
Proceedings of the ACM international conference companion on Object oriented …, 2010
442010
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
372015
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
362017
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
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
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
292021
Hephaestus: A tool for managing product line variabilities
R Bonifácio, L Teixeira, P Borba
III SBCARS, 26-34, 2009
292009
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
272013
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
262021
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
182019
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
A change-centric approach to compile configurable systems with# ifdefs
L Braz, R Gheyi, M Mongiovi, M Ribeiro, F Medeiros, L Teixeira
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative …, 2016
152016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20