Henrique Rocha

According to our database, Henrique Rocha authored at least 33 papers between 2010 and 2024.

Collaborative distances:

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

2024

A test amplification bot for Pharo/Smalltalk.

Mehrdad Abdi, Henrique Rocha, Alexandre Bergel, Serge Demeyer

J. Comput. Lang., March, 2024

Results of Blockchain-Oriented Software Engineering 2024 Workshop: Speculations on Blockchain for Energy Communities management.

Roberto Tonelli, Andrea Bracciali, Henrique Rocha

Proceedings of the IEEE International Conference on Software Analysis, 2024

2023

Snapshot testing in practice: Benefits and drawbacks.

Victor Pezzi Gazzinelli Cruz, Henrique Rocha, Marco Túlio Valente

J. Syst. Softw., October, 2023

Best practices of testing database manipulation code.

Maxime Gobert, Csaba Nagy, Henrique Rocha, Serge Demeyer, Anthony Cleve

Inf. Syst., 2023

Snapshot Testing Dataset.

Emily Bui, Henrique Rocha

Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

How Developers Implement Property-Based Tests.

Arthur Lisboa Corgozinho, Marco Túlio Valente, Henrique Rocha

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

Comparing smart contract vulnerability detection tools.

Jarno Ottati, Giacomo Ibba, Henrique Rocha

Proceedings of the 22nd Belgium-Netherlands Software Evolution Workshop, 2023

2022

Special Issue on Software Health of Software Ecosystems.

Eleni Constantinou, Dario Di Nucci, Raula Gaikovina Kula, Henrique Rocha

Sci. Comput. Program., 2022

A user-oriented model for Oracles' Gas price prediction.

Giuseppe Antonio Pierro, Henrique Rocha, Stéphane Ducasse, Michele Marchesi, Roberto Tonelli

Future Gener. Comput. Syst., 2022

Small-Amp: Test amplification in a dynamically typed language.

Mehrdad Abdi, Henrique Rocha, Serge Demeyer, Alexandre Bergel

Empir. Softw. Eng., 2022

An exploratory study on solidity guards and ether exchange constructs.

Darin Verheijke, Henrique Rocha

Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain, 2022

Blockchain-Oriented Software Variant Forks: A Preliminary Study.

Henrique Rocha, John Businge

Proceedings of the IEEE International Conference on Software Analysis, 2022

Refactoring Solidity Smart Contracts to Protect Against Reentrancy Exploits.

Serge Demeyer, Henrique Rocha, Darin Verheijke

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

2021

Challenges and Perils of Testing Database Manipulation Code.

Maxime Gobert, Csaba Nagy, Henrique Rocha, Serge Demeyer, Anthony Cleve

Proceedings of the Advanced Information Systems Engineering, 2021

2020

GAP: Forecasting commit activity in git projects.

Alexandre Decan, Eleni Constantinou, Tom Mens, Henrique Rocha

J. Syst. Softw., 2020

2019

The influence factors on ethereum transaction fees.

Giuseppe Antonio Pierro, Henrique Rocha

Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, 2019

Adopting Program Synthesis for Test Amplification.

Mehrdad Abdi, Henrique Rocha, Serge Demeyer

Proceedings of the 18th Belgium-Netherlands Software Evolution Workshop, 2019

2018

Microservices in Practice: A Survey Study.

Markos Viggiato, Ricardo Terra, Henrique Rocha, Marco Túlio Valente, Eduardo Figueiredo

CoRR, 2018

SmartInspect: solidity smart contract inspector.

Santiago Bragagnolo, Henrique Rocha, Marcus Denker, Stéphane Ducasse

Proceedings of the 2018 International Workshop on Blockchain Oriented Software Engineering, 2018

A Quality-oriented Approach to Recommend Move Method Refactorings.

Christian Marlon Souza Couto, Henrique Rocha, Ricardo Terra

Proceedings of the 17th Brazilian Symposium on Software Quality, 2018

Preliminary Steps Towards Modeling Blockchain Oriented Software.

Henrique Rocha, Stéphane Ducasse

Proceedings of the 1st IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, 2018

Ethereum Query Language.

Santiago Bragagnolo, Henrique Rocha, Marcus Denker, Stéphane Ducasse

Proceedings of the 1st IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, 2018

2017

DCL 2.0: modular and reusable specification of architectural constraints.

Henrique Rocha, Rafael Serapilha Durelli, Ricardo Terra, Sândalo Bessa, Marco Túlio Valente

J. Braz. Comput. Soc., 2017

Solidity Parsing Using SmaCC: Challenges and Irregularities.

Henrique Rocha, Stéphane Ducasse, Marcus Denker, Jason Lecerf

Proceedings of the 12th edition of the International Workshop on Smalltalk Technologies, 2017

Hyper-linked communications: WebRTC enabled asynchronous collaboration.

Henrique Rocha, Ricardo Lopes Pereira

Proceedings of the IEEE International Conference on Communications, 2017

Quality-oriented Move Method Refactoring.

Christian Marlon Souza Couto, Henrique Rocha, Ricardo Terra

Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, 2017

2016

An Empirical Study on Recommendations of Similar Bugs.

Henrique Rocha, Marco Túlio Valente, Humberto Marques-Neto, Gail C. Murphy

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Characterizing Bug Workflows in Mozilla Firefox.

Henrique Rocha, Guilherme de Oliveira, Marco Túlio Valente, Humberto Marques-Neto

Proceedings of the 30th Brazilian Symposium on Software Engineering, 2016

2015

NextBug: a Bugzilla extension for recommending similar bugs.

Henrique Rocha, Guilherme de Oliveira, Humberto Marques-Neto, Marco Túlio Valente

J. Softw. Eng. Res. Dev., 2015

2013

Mining the impact of evolution categories on object-oriented metrics.

Henrique Rocha, César Couto, Cristiano Amaral Maffort, Rogel Garcia, Clarisse Simões, Leonardo Teixeira Passos, Marco Túlio Valente

Softw. Qual. J., 2013

On-the-fly extraction of hierarchical object graphs.

Hugo de Brito, Humberto T. Marques-Neto, Ricardo Terra, Henrique Rocha, Marco Túlio Valente

J. Braz. Comput. Soc., 2013

2011

How Annotations are Used in Java: An Empirical Study.

Henrique Rocha, Marco Túlio Valente

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

2010

On-the-Fly and Non-invasive Extraction of Runtime Architectures Using Hierarchical Object Graphs.

Hugo de Brito, Henrique Rocha, Ricardo Terra, Marco Túlio Valente

Proceedings of the Fourth Brazilian Symposium on Software Components, 2010