| 2024 | Kallistos Weis and
Leopoldo Teixeira and
Clemens Dubslaff and
Sven Apel: Blackbox Observability of Features and Feature Interactions. 39th {IEEE/ACM} International Conference on Automated Software Engineering, ({ASE}), Sacramento, USA. {IEEE}, 2024. |
|---|
| 2024 | Jairo Souza and
Tales Alves and
Robson Oliveira and
Leopoldo Teixeira and
Baldoino Fonseca: Exception Miner: Multi-language Static Analysis Tool to Identify Exception Handling Anti-Patterns. {SBES} 2024: {XXXVIII} Brazilian Symposium on Software Engineering, Curitiba, Brazil. {SOL}, 2024. |
|---|
| 2024 | Rodrigo Lima and
Jairo Souza and
Baldoino Fonseca and
Leopoldo Teixeira and
Rafael Maiani and
M{\'{a}}rcio Ribeiro and
Alessandro Garcia and
Rohit Gheyi: Investigating the Social Representations of Harmful Code. In: Journal of Software Engineering Research and Development, 2024, |
|---|
| 2024 | Paul Maximilian Bittner and
Alexander Schulthei{\ss} and
Benjamin Moosherr and
Jeffrey Young and
Leopoldo Teixeira and
Eric Walkingshaw and
Parisa Ataei and
Thomas Th{\"{u}}m: On the Expressive Power of Languages for Static Variability. ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Pasadena, USA. {ACM}, 2024. |
|---|
| 2024 | Anderson Uch{\^{o}}a and
Rafael de Mello and
Jairo Souza and
Leopoldo Teixeira and
Baldoino Fonseca and
Alessandro Garcia: Towards Effective Gamification of Existing Systems: Method and Experience Report. In: Software Quality Journal, 2024, |
|---|
| 2023 | Rodrigo Lima and
Keila Costa and
Jairo Souza and
Leopoldo Teixeira and
Baldoino Fonseca and
Marcelo d'Amorim and
M{\'{a}}rcio Ribeiro and
Breno Miranda: Do you see any problem? On the Developers Perceptions in Test Smells
Detection. In: Edna Dias Canedo and
Daniel de Paula Porto and
F{\'{a}}bio L{\'{u}}cio Lopes Mendon{\c{c}}a and
Rafael Tim{\'{o}}teo de Sousa J{\'{u}}nior and
Monalessa Perini Barcellos and
Ismayle de Sousa Santos and
Sheila S. Reinehr and
S{\'{e}}rgio Soares and
Uir{\'{a}} Kulesza and
{\'{E}}rica Ferreira de Souza and
Adriano Albuquerque and
Carla I. M. Bezerra and
Rodrigo Pereira dos Santos and
Alessandro F. Garcia and
Simone Dornelas Costa and
Adolfo Gustavo Serra Seca Neto, Proceedings of the {XXII} Brazilian Symposium on Software Quality,
{SBQS} 2023, Brasilia, Brazil, November 7-10. {ACM}, 2023. 21--30 |
|---|
| 2023 | Jonhnanthan Oliveira and Rohit Gheyi and Leopoldo Teixeira and Márcio Ribeiro and Osmar Leandro and Baldoino Fonseca: Towards a better understanding of the mechanics of refactoring detection tools. In: Information and Software Technology, 162, 2023, 107273 |
|---|
| 2022 | Nabor Mendon{\c{c}}a and
Leopoldo Teixeira and
S{\'{e}}rgio Soares and
Vinicius Cardoso Garcia and
Uir{\'{a}} Kulesza and
C{\'{e}}sar Fran{\c{c}}a and
Daniel Lucr{\'{e}}dio and
Elder Cirilo and
Ivan Machado: A Decade of Internationalization of the Brazilian Symposium on Software
Engineering: The Good, the Bad, and the Ugly. In: Marcelo de Almeida Maia and
Fabiano A. Dor{\c{c}}a and
Rafael Dias Ara{\'{u}}jo and
Christina von Flach and
Elisa Yumi Nakagawa and
Edna Dias Canedo, {SBES} 2022: {XXXVI} Brazilian Symposium on Software Engineering,
Virtual Event Brazil, October 5 - 7. {ACM}, 2022. 1--10 |
|---|
| 2022 | Osmar Leandro and
Rohit Gheyi and
Leopoldo Teixeira and
M{\'{a}}rcio Ribeiro and
Alessandro F. Garcia: A Technique to Test Refactoring Detection Tools. In: Marcelo de Almeida Maia and
Fabiano A. Dor{\c{c}}a and
Rafael Dias Ara{\'{u}}jo and
Christina von Flach and
Elisa Yumi Nakagawa and
Edna Dias Canedo, {SBES} 2022: {XXXVI} Brazilian Symposium on Software Engineering,
Virtual Event Brazil, October 5 - 7. {ACM}, 2022. 188--197 |
|---|
| 2022 | Felipe Zimmerle da N. Costa and
Ruy J. G. B. de Queiroz and
Gustavo P. Bittencourt and
Leopoldo Teixeira: Distributed Repository for Software Packages Using Blockchain. In: {IEEE} Access, 10, 2022, 112502--112514 |
|---|
| 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. |
|---|
