Tiago Massoni

Orcid: 0000-0002-9423-7556

According to our database1, Tiago Massoni authored at least 41 papers between 2004 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Similar Bug Reports Recommendation System using BERT.
Proceedings of the XXXVII Brazilian Symposium on Software Engineering, 2023

Investigating Bug Report Changes in Bugzilla.
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.
Data, 2022

Gender Diversity and Community Smells: A Double-Replication Study on Brazilian Software Teams.
Proceedings of the IEEE International Conference on Software Analysis, 2022

Investigating the Relationship between Software Team Leadership Styles and Turnover Intention.
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.
Sci. Comput. Program., 2021

Ants Doing Legwork: Investigating Motivators for Software Development Career Abandonment.
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

An Empirical Study on Refactoring-Inducing Pull Requests.
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.
Sci. Comput. Program., 2020

Improving Traceability Recovery Between Bug Reports and Manual Test Cases.
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.
Proceedings of the 12th International Workshop on Cooperative and Human Aspects of Software Engineering, 2019

Refactoring-aware code review: a systematic mapping study.
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.
Proceedings of the 9th International Conference on Digital Public Health, 2019

Assessing the Relationship between various Climatic Risk Factors & Mosquito Abundance in Recife, Brazil.
Proceedings of the 9th International Conference on Digital Public Health, 2019

2018
Refactoring Inspection Support for Manual Refactoring Edits.
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.
Proceedings of the 2018 International Conference on Digital Health, 2018

2017
Test coverage of impacted code elements for detecting refactoring faults: An exploratory study.
J. Syst. Softw., 2017

Nonconformance between programs and contracts: a study on C#/code contracts open source systems.
Proceedings of the Symposium on Applied Computing, 2017

2016
Prioritizing test cases for early detection of refactoring faults.
Softw. Test. Verification Reliab., 2016

2015
Test coverage and impact analysis for detecting refactoring faults: a study on the extract method refactoring.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014
Enhancing conformance checking for contract-based programs.
Proceedings of the SPLASH'14, 2014

2013
Automated Behavioral Testing of Refactoring Engines.
IEEE Trans. Software Eng., 2013

PL / SQL Advisor: uma ferramenta baseada em análise estática para sugerir melhorias para procedimentos armazenados.
Proceedings of the 9th Brazilian Symposium on Information Systems, 2013

A refactoring-based approach for test case selection and prioritization.
Proceedings of the 8th International Workshop on Automation of Software Test, 2013

2011
Automatically Checking Feature Model Refactorings.
J. Univers. Comput. Sci., 2011

Analyzing Refactorings on Software Repositories.
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

2010
Making Program Refactoring Safer.
IEEE Softw., 2010

Synchronizing Model and Program Refactoring.
Proceedings of the Formal Methods: Foundations and Applications, 2010

2009
Object-oriented Programming Laws for Annotated Java Programs
Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

A Complete Set of Object Modeling Laws for Alloy.
Proceedings of the Formal Methods: Foundations and Applications, 2009

2008
Algebraic Laws for Feature Models.
J. Univers. Comput. Sci., 2008

Formal Model-Driven Program Refactoring.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2006
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs.
Proceedings of the Brazilian Symposium on Formal Methods, 2006

An Approach to Invariant-based Program Refactoring.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Refactoring product lines.
Proceedings of the Generative Programming and Component Engineering, 2006

2005
A Static Semantics for Alloy and its Impact in Refactorings.
Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

Formal Refactoring for UML Class Diagrams.
Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005

A model-driven approach to formal refactoring.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Formal refactorings for object models.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

A rigorous approach for proving model refactorings.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004
An Abstract Equivalence Notion for Object Models.
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004


  Loading...