Tiago Massoni

According to our database, Tiago Massoni authored at least 44 papers between 2004 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

A qualitative study on refactorings induced by code review.

Flávia Coelho, Nikolaos Tsantalis, Tiago Massoni, Everton L. G. Alves

Empir. Softw. Eng., February, 2025

2024

IPA of Communication Experience of Women Leaders in Collaborative Meetings in Software Engineering Teams.

Camila Sarmento, Tiago Massoni, Carlos Dantas, Narallynne Araújo, Rayana Rocha

Proceedings of the 38th Brazilian Symposium on Software Engineering, 2024

Views on Agile Leadership for Software Teams: A Case Study with Leaders and Non-Leaders.

Narallynne Araújo, Tiago Massoni, Lucas Gren

Proceedings of the 38th Brazilian Symposium on Software Engineering, 2024

2023

Similar Bug Reports Recommendation System using BERT.

Guilherme Carneiro, José Ferreira, Franklin Ramalho, Tiago Massoni

Proceedings of the XXXVII Brazilian Symposium on Software Engineering, 2023

Investigating Bug Report Changes in Bugzilla.

Felipe Emerson de Oliveira Calixto, Franklin Ramalho, Tiago Massoni, José Ferreira

Proceedings of the 25th International Conference on Enterprise Information Systems, 2023

2022

An Evaluation of the OpenWeatherMap API versus INMET Using Weather Data from Two Brazilian Cities: Recife and Campina Grande.

Anwar Musah, Livia Màrcia Mosso Dutra, Aisha Aldosery, Ella Browning, Tercio Ambrizzi, Iuri Valerio Graciano Borges, Merve Tunali, Selma Basibüyük, Orhan Yenigün, Giselle Machado Magalhaes Moreno, Ana Clara Gomes da Silva, Wellington Pinheiro dos Santos, Clarisse Lins de Lima, Tiago Massoni, Kate Elizabeth Jones, Luiza Cintra Campos, Patty Kostkova

Data, 2022

Gender Diversity and Community Smells: A Double-Replication Study on Brazilian Software Teams.

Camila Sarmento, Tiago Massoni, Alexander Serebrenik, Gemma Catolino, Damian A. Tamburri, Fabio Palomba

Proceedings of the IEEE International Conference on Software Analysis, 2022

Investigating the Relationship between Software Team Leadership Styles and Turnover Intention.

Narallynne Araújo, Tiago Massoni, Camila Sarmento, Francielle Santos, Ruan Oliveira

Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

2021

Preface to the special issue on Formal Methods: Foundations and Applications.

Tiago Massoni, Mohammad Reza Mousavi

Sci. Comput. Program., 2021

Ants Doing Legwork: Investigating Motivators for Software Development Career Abandonment.

Ruan Oliveira, Tiago Massoni, Narallynne Araújo, Camila Sarmento, Francielle Santos

Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

An Empirical Study on Refactoring-Inducing Pull Requests.

Flávia Coelho, Nikolaos Tsantalis, Tiago Massoni, Everton L. G. Alves

Proceedings of the ESEM '21: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2021

2020

A domain-specific language for verifying software requirement constraints.

Marzina Vidal, Tiago Massoni, Franklin Ramalho

Sci. Comput. Program., 2020

Improving Traceability Recovery Between Bug Reports and Manual Test Cases.

Lucas Raniére Juvino Santos, Guilherme Gadelha, Franklin Ramalho, Tiago Massoni

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

2019

Relating voluntary turnover with job characteristics, satisfaction and work exhaustion: an initial study with brazilian developers.

Tiago Massoni, Nilton Ginani, Wallison Silva, Zeus Barros, Georgia Moura

Proceedings of the 12th International Workshop on Cooperative and Human Aspects of Software Engineering, 2019

Refactoring-aware code review: a systematic mapping study.

Flávia Coelho, Tiago Massoni, Everton L. G. Alves

Proceedings of the 3rd International Workshop on Refactoring, 2019

ZIKA Virus: Prediction of Aedes Mosquito Larvae Occurrence in Recife (Brazil) using Online Extreme Learning Machine and Neural Networks.

Adrian Rubio-Solis, Anwar Musah, Wellington P. dos Santos, Tiago Massoni, Georgiana Birjovanu, Patty Kostkova

Proceedings of the 9th International Conference on Digital Public Health, 2019

Assessing the Relationship between various Climatic Risk Factors & Mosquito Abundance in Recife, Brazil.

Anwar Musah, Adrian Rubio-Solis, Georgiana Birjovanu, Wellington P. dos Santos, Tiago Massoni, Patty Kostkova

Proceedings of the 9th International Conference on Digital Public Health, 2019

2018

Refactoring Inspection Support for Manual Refactoring Edits.

Everton L. G. Alves, Myoungkyu Song, Tiago Massoni, Patrícia Duarte de Lima Machado, Miryung Kim

IEEE Trans. Software Eng., 2018

ZIKA: A New System to Empower Health Workers and Local Communities to Improve Surveillance Protocols by E-learning and to Forecast Zika Virus in Real Time in Brazil.

Juan D. Beltrán, Andrei Boscor, Wellington P. dos Santos, Tiago Massoni, Patty Kostkova

Proceedings of the 2018 International Conference on Digital Health, 2018

2017

Test coverage of impacted code elements for detecting refactoring faults: An exploratory study.

Everton L. G. Alves, Tiago Massoni, Patrícia Duarte de Lima Machado

J. Syst. Softw., 2017

Nonconformance between programs and contracts: a study on C#/code contracts open source systems.

Alysson Milanez, Bianca Lima, José Ferreira, Tiago Massoni

Proceedings of the Symposium on Applied Computing, 2017

2016

Prioritizing test cases for early detection of refactoring faults.

Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni, Miryung Kim

Softw. Test. Verification Reliab., 2016

2015

Test coverage and impact analysis for detecting refactoring faults: a study on the extract method refactoring.

Everton L. G. Alves, Tiago Massoni, Patrícia Duarte de Lima Machado

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Enhancing conformance checking for contract-based programs.

Alysson Milanez, Tiago Massoni, Rohit Gheyi

Proceedings of the SPLASH'14, 2014

2013

Automated Behavioral Testing of Refactoring Engines.

Gustavo Soares, Rohit Gheyi, Tiago Massoni

IEEE Trans. Software Eng., 2013

PL / SQL Advisor: uma ferramenta baseada em análise estática para sugerir melhorias para procedimentos armazenados.

Dimas C. Nascimento, Carlos Eduardo S. Pires, Tiago Massoni

Proceedings of the 9th Brazilian Symposium on Information Systems, 2013

A refactoring-based approach for test case selection and prioritization.

Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni, Samuel T. C. Santos

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

2011

Automatically Checking Feature Model Refactorings.

Rohit Gheyi, Tiago Massoni, Paulo Borba

J. Univers. Comput. Sci., 2011

Analyzing Refactorings on Software Repositories.

Gustavo Soares, Bruno Catao, Catuxe Varjao, Solon Aguiar, Rohit Gheyi, Tiago Massoni

Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

2010

Making Program Refactoring Safer.

Gustavo Soares, Rohit Gheyi, Dalton Dario Serey, Tiago Massoni

IEEE Softw., 2010

Synchronizing Model and Program Refactoring.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the Formal Methods: Foundations and Applications, 2010

2009

Object-oriented Programming Laws for Annotated Java Programs

Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

A Complete Set of Object Modeling Laws for Alloy.

Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications, 2009

2008

Algebraic Laws for Feature Models.

Rohit Gheyi, Tiago Massoni, Paulo Borba

J. Univers. Comput. Sci., 2008

Formal Model-Driven Program Refactoring.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2006

A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the Brazilian Symposium on Formal Methods, 2006

An Approach to Invariant-based Program Refactoring.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Refactoring product lines.

Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena

Proceedings of the Generative Programming and Component Engineering, 2006

2005

A Static Semantics for Alloy and its Impact in Refactorings.

Rohit Gheyi, Tiago Massoni, Paulo Borba

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

Formal Refactoring for UML Class Diagrams.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005

A model-driven approach to formal refactoring.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Formal refactorings for object models.

Rohit Gheyi, Tiago Massoni

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

A rigorous approach for proving model refactorings.

Rohit Gheyi, Tiago Massoni, Paulo Borba

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004

An Abstract Equivalence Notion for Object Models.

Rohit Gheyi, Tiago Massoni, Paulo Borba

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004