2022 | Michael Nieke and Gabriela Sampaio and Thomas Thüm and Christoph Seidl and Leopoldo Teixeira and Ina Schaefer: Guiding the Evolution of Product-Line Configurations. In: Software and Systems Modeling (SoSyM), 21, 2022, 225--247 |
---|
2021 | Thiago Castro and
Leopoldo Teixeira and
Vander Alves and
Sven Apel and
Maxime Cordy and
Rohit Gheyi: A Formal Framework of Software Product Line Analyses. In: ACM Transactions on Software Engineering and Methodology (TOSEM), 30, 2021, |
---|
2021 | Leopoldo Teixeira and
Breno Miranda and
Henrique Rebelo and
Marcelo d'Amorim: Demystifying the Challenges to Formally Specifying API Properties for Runtime Verification. IEEE International Conference on Software Testing, Verification and Validation. {IEEE}, 2021. |
---|
2021 | Leomar Camargo and Luisa Fantin and Gabriel Lobão and Thiago Figueiredo and Rodrigo Bonifacio and Karine Gomes and Leopoldo Teixeira: Evolving Delta-Oriented Product Lines: A Case Study on Feature Interaction, Safe and Partially Safe Evolution. Brazilian Symposium on Software Engineering. New York, NY, USA: Association for Computing Machinery, 2021. 95–104 |
---|
2021 | Rohit Gheyi and
M{\'{a}}rcio Ribeiro and
Beatriz Souza and
Marcio Augusto Guimar{\~{a}}es and
Leo Fernandes and
Marcelo d'Amorim and
Vander Alves and
Leopoldo Teixeira and
Baldoino Fonseca: Identifying method-level mutation subsumption relations using {Z3}. In: Information and Software Technology, 132, 2021, |
---|
2021 | Marcello Cordeiro and Denini Silva and Leopoldo Teixeira and Breno Miranda and Marcelo d'Amorim: Shaker: a Tool for Detecting More Flaky Tests Faster. IEEE/ACM International Conference on Automated Software Engineering (Tool Demonstrations). 2021. |
---|
2021 | Jordan Henkel and
Denini Silva and
Leopoldo Teixeira and
Marcelo d'Amorim and
Thomas W. Reps: Shipwright: {A} Human-in-the-Loop System for Dockerfile Repair. {IEEE/ACM} International Conference on Software Engineering. {IEEE}, 2021. |
---|
2021 | Gabriela Araujo Britto and Leopoldo Teixeira and Rohit Gheyi: TSDolly: A program generator for TypeScript. Brazilian Symposium on Programming Languages. New York, NY, USA: Association for Computing Machinery, 2021. 66–74 |
---|
2020 | Samuel Loli and
Leopoldo Teixeira and
Bruno Cartaxo: A Catalog of Object-Relational Mapping Code Smells for Java. In: Everton Cavalcante and
Francisco Dantas and
Tha{\'{\i}}s Batista, Brazilian Symposium on Software Engineering. {ACM}, 2020. 82--91 |
---|
2020 | Michael Nieke and
Gabriela Sampaio and
Thomas Th{\"{u}}m and
Christoph Seidl and
Leopoldo Teixeira and
Ina Schaefer: GuyDance: Guiding Configuration Updates for Product-Line Evolution. In: Rafael Capilla and
Philippe Collet and
Paul Gazzillo and
Jacob Kr{\"{u}}ger and
Roberto Erick Lopez{-}Herrejon and
Sarah Nadi and
Gilles Perrouin and
Iris Reinhartz{-}Berger and
Julia Rubin and
Ina Schaefer, International Workshop on Variability and Evolution of Software-Intensive Systems, co-located with {SPLC} 2020. {ACM}, 2020. 56--64 |
---|
2020 | Victor Oliveira and
Leopoldo Teixeira and
Felipe Ebert: On the Adoption of Kotlin on Android Development: {A} Triangulation
Study. In: Kostas Kontogiannis and
Foutse Khomh and
Alexander Chatzigeorgiou and
Marios{-}Eleftherios Fokaefs and
Minghui Zhou, {IEEE} International Conference on Software Analysis, Evolution and Reengineering. {IEEE}, 2020. 206--216 |
---|
2020 | Thayonara Alves and
Leopoldo Teixeira and
Vander Alves and
Thiago M. Castro: Porting the Software Product Line Refinement Theory to the Coq Proof
Assistant. In: Gustavo Carvalho and
Volker Stolz, Brazilian Symposium on Formal Methods: Foundations and Applications. Springer, 2020. 192--209 |
---|
2020 | Leopoldo Teixeira and
Rohit Gheyi and
Paulo Borba: Safe Evolution of Product Lines Using Configuration Knowledge Laws. In: Gustavo Carvalho and
Volker Stolz, Brazilian Symposium on Formal Methods: Foundations and Applications. Springer, 2020. 210--227 |
---|
2020 | Denini Silva and
Leopoldo Teixeira and
Marcelo d'Amorim: Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker. {IEEE} International Conference on Software Maintenance and Evolution. {IEEE}, 2020. 301--311 |
---|
2020 | Rodrigo Lima and
Jairo Souza and
Baldoino Fonseca and
Leopoldo Teixeira and
Rohit Gheyi and
M{\'{a}}rcio Ribeiro and
Alessandro F. Garcia and
Rafael Maiani de Mello: Understanding and Detecting Harmful Code. In: Everton Cavalcante and
Francisco Dantas and
Tha{\'{\i}}s Batista, Brazilian Symposium on Software Engineering. {ACM}, 2020. 223--232 |
---|
2019 | Karine Gomes and
Leopoldo Teixeira and
Thayonara Alves and
M{\'{a}}rcio Ribeiro and
Rohit Gheyi: Characterizing safe and partially safe evolution scenarios in product
lines: An Empirical Study. In: Danny Weyns and
Gilles Perrouin, International Workshop on Variability Modelling of Software-Intensive Systems. {ACM}, 2019. 15:1--15:9 |
---|
2019 | Anderson G. Uch{\^{o}}a and
Eduardo Fernandes and
Baldoino Fonseca and
Rafael Maiani de Mello and
Caio Barbosa and
Gabriel Nunes and
Alessandro Garcia and
Leopoldo Teixeira: On gamifying an existing healthcare system: method, conceptual model
and evaluation. International Workshop on Software Engineering for Healthcare, co-located with {ICSE} 2019. {IEEE} / {ACM}, 2019. 9--16 |
---|
2019 | Gabriela Sampaio and
Paulo Borba and
Leopoldo Teixeira: Partially safe evolution of software product lines. In: Journal of Systems and Software, 155, 2019, 17--42 |
---|
2019 | Thomas Th{\"{u}}m and
Leopoldo Teixeira and
Klaus Schmid and
Eric Walkingshaw and
Mukelabai Mukelabai and
Mahsa Varshosaz and
Goetz Botterweck and
Ina Schaefer and
Timo Kehrer: Towards efficient analysis of variation in time and space. In: Carlos Cetina and
Oscar D{\'{\i}}az and
Laurence Duchien and
Marianne Huchard and
Rick Rabiser and
Camille Salinesi and
Christoph Seidl and
Xhevahire T{\"{e}}rnava and
Leopoldo Teixeira and
Thomas Th{\"{u}}m and
Tewfik Ziadi, International Workshop on Variability and Evolution of Software-Intensive Systems, co-located with {SPLC} 2019. {ACM}, 2019. 69:1--69:8 |
---|
2019 | Pedro Moraes and
Leopoldo Teixeira: Willow: {A} Tool for Interactive Programming Visualization to Help
in the Data Structures and Algorithms Teaching-Learning Process. In: Ivan do Carmo Machado and
Rodrigo Souza and
Rita Suzana Pitangueira Maciel and
Cl{\'{a}}udio Sant'Anna, Brazilian Symposium on Software Engineering - Insightful Ideas & Emerging Results Track. {ACM}, 2019. 553--558 |
---|
2018 | Larissa Braz and
Rohit Gheyi and
Melina Mongiovi and
M{\'{a}}rcio Ribeiro and
Fl{\'{a}}vio Medeiros and
Leopoldo Teixeira and
Sabrina Souto: A change-aware per-file analysis to compile configurable systems with
{\#}ifdefs. In: Computer Languages, Systems and Structures, 54, 2018, 427--450 |
---|
2018 | Thiago M. Castro and
Andr{\'{e}} Lanna and
Vander Alves and
Leopoldo Teixeira and
Sven Apel and
Pierre{-}Yves Schobbens: All roads lead to Rome: Commuting strategies for product-line reliability
analysis. In: Science of Computer Programming, 152, 2018, 116--160 |
---|
2018 | Melina Mongiovi and
Rohit Gheyi and
Gustavo Soares and
M{\'{a}}rcio Ribeiro and
Paulo Borba and
Leopoldo Teixeira: Detecting Overly Strong Preconditions in Refactoring Engines. In: {IEEE} Transactions on Software Engineering, 44, 2018, 429--452 |
---|
2018 | Alex Costa and
Leopoldo Teixeira: Testing Strategies for Smart Cities applications: {A} Systematic Mapping
Study. Brazilian Symposium on Systematic and Automated Software Testing. {ACM}, 2018. 20--28 |
---|
2016 | Larissa Braz and
Rohit Gheyi and
Melina Mongiovi and
M{\'{a}}rcio Ribeiro and
Fl{\'{a}}vio Medeiros and
Leopoldo Teixeira: A change-centric approach to compile configurable systems with {\#}ifdefs. In: Bernd Fischer and
Ina Schaefer, {ACM} {SIGPLAN} International Conference on Generative Programming: Concepts and Experiences. {ACM}, 2016. 109--119 |
---|
2016 | Leonardo Teixeira Passos and
Leopoldo Teixeira and
Nicolas Dintzner and
Sven Apel and
Andrzej Wasowski and
Krzysztof Czarnecki and
Paulo Borba and
Jianmei Guo: Coevolution of variability models and related software artifacts -
{A} fresh look at evolution patterns in the Linux kernel. In: Empirical Software Engineering, 21, 2016, 1744--1793 |
---|
2016 | Gabriela Sampaio and
Paulo Borba and
Leopoldo Teixeira: Partially safe evolution of software product lines. In: Hong Mei, International Systems and Software Product Line Conference. {ACM}, 2016. 124--133 |
---|
2016 | Fernando Benbassat and
Paulo Borba and
Leopoldo Teixeira: Safe Evolution of Software Product Lines: Feature Extraction Scenarios. Brazilian Symposium on Software Components, Architectures and Reuse. {IEEE} Computer Society, 2016. 11--20 |
---|
2015 | Leopoldo Teixeira and
Vander Alves and
Paulo Borba and
Rohit Gheyi: A product line of theories for reasoning about safe evolution of product
lines. In: Douglas C. Schmidt, International Conference on Software Product Lines. {ACM}, 2015. 161--170 |
---|
2015 | Fl{\'{a}}vio Medeiros and
Iran Rodrigues and
M{\'{a}}rcio Ribeiro and
Leopoldo Teixeira and
Rohit Gheyi: An empirical study on configuration-related issues: investigating
undeclared and unused identifiers. In: Christian K{\"{a}}stner and
Aniruddha S. Gokhale, {ACM} {SIGPLAN} International Conference on Generative Programming: Concepts and Experiences. {ACM}, 2015. 35--44 |
---|
2015 | Leopoldo Teixeira and
Paulo Borba and
Rohit Gheyi: Safe evolution of product populations and multi product lines. In: Douglas C. Schmidt, International Conference on Software Product Lines. {ACM}, 2015. 171--175 |
---|
2015 | La{\'{\i}}s Neves and
Paulo Borba and
Vander Alves and
Lucin{\'{e}}ia Turnes and
Leopoldo Teixeira and
Dem{\'{o}}stenes Sena and
Uir{\'{a}} Kulesza: Safe evolution templates for software product lines. In: Journal of Systems and Software, 106, 2015, 42--58 |
---|
2014 | Mauricio Alf{\'{e}}rez and
Rodrigo Bonif{\'{a}}cio and
Leopoldo Teixeira and
Paola R. G. Accioly and
Uir{\'{a}} Kulesza and
Ana Moreira and
Jo{\~{a}}o Ara{\'{u}}jo and
Paulo Borba: Evaluating scenario-based {SPL} requirements approaches: the case
for modularity, stability and expressiveness. In: Requirements Engineering, 19, 2014, 355--376 |
---|
2014 | Melina Mongiovi and
Rohit Gheyi and
Gustavo Soares and
Leopoldo Teixeira and
Paulo Borba: Making refactoring safer through impact analysis. In: Science of Computer Programming, 93, 2014, 39--64 |
---|
2014 | Elder Macedo Rodrigues and
Leonardo Teixeira Passos and
Leopoldo Teixeira and
Avelino F. Zorzo and
Fl{\'{a}}vio Moreira de Oliveira and
Rodrigo S. Saad: On the Requirements and Design Decisions of an In-House Component-Based
{SPL} Automated Environment. In: Marek Reformat, International Conference on Software Engineering and Knowledge
Engineering. Knowledge Systems Institute Graduate School, 2014. 402--407 |
---|
2013 | Leonardo Teixeira Passos and
Jianmei Guo and
Leopoldo Teixeira and
Krzysztof Czarnecki and
Andrzej Wasowski and
Paulo Borba: Coevolution of variability models and related artifacts: a case study
from the Linux kernel. In: Tomoji Kishi and
Stan Jarzabek and
Stefania Gnesi, International Software Product Line Conference. {ACM}, 2013. 91--100 |
---|
2013 | Leopoldo Teixeira and
Paulo Borba and
Rohit Gheyi: Safe composition of configuration knowledge-based software product
lines. In: Journal of Systems and Software, 86, 2013, 1038--1053 |
---|
2012 | Paulo Borba and
Leopoldo Teixeira and
Rohit Gheyi: A theory of software product line refinement. In: Theoretical Computer Science, 455, 2012, 2--30 |
---|
2011 | La{\'{\i}}s Neves and
Leopoldo Teixeira and
Dem{\'{o}}stenes Sena and
Vander Alves and
Uir{\'{a}} Kulesza and
Paulo Borba: Investigating the safe evolution of software product lines. In: Ewen Denney and
Ulrik Pagh Schultz, International Conference on Generative Programming And Component Engineering. {ACM}, 2011. 33--42 |
---|
2011 | Leopoldo Teixeira and
Paulo Borba and
Rohit Gheyi: Safe Composition of Configuration Knowledge-Based Software Product
Lines. Brazilian Symposium on Software Engineering. {IEEE} Computer Society, 2011. 263--272 |
---|
2010 | Paulo Borba and
Leopoldo Teixeira and
Rohit Gheyi: A Theory of Software Product Line Refinement. In: Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock, International Colloquium on Theoretical Aspects of Computing. Springer, 2010. 15--43 |
---|
2010 | M{\'{a}}rio Henrique C. Torres and
Uir{\'{a}} Kulesza and
Matheus Sousa and
Tha{\'{\i}}s Vasconcelos Batista and
Leopoldo Teixeira and
Paulo Borba and
Elder Cirilo and
Carlos Jos{\'{e}} Pereira de Lucena and
Rosana T. V. Braga and
Paulo Cesar Masiero: Assessment of product derivation tools in the evolution of software
product lines: an empirical study. In: Sven Apel and
Don S. Batory and
Krzysztof Czarnecki and
Florian Heidenreich and
Christian K{\"{a}}stner and
Oscar Nierstrasz, International Workshop on Feature-Oriented Software Development. {ACM}, 2010. 10--17 |
---|
2010 | M{\'{a}}rcio Ribeiro and
Humberto Pacheco and
Leopoldo Teixeira and
Paulo Borba: Emergent feature modularization. In: William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard, ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity {SPLASH/OOPSLA}. {ACM}, 2010. 11--18 |
---|
2009 | Rodrigo Bonif{\'{a}}cio and
Leopoldo Teixeira and
Paulo Borba: Hephaestus: A tool for managing SPL variabilities. Tools Session of the Brazilian Symposium on Software Components, Architectures, and Reuse. 2009. |
---|