Henrique Rocha

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 30

Top Topics

Lambda Calculus

Influence Factors

Top Venues

Publications

Mehrdad Abdi, Henrique Rocha, Alexandre Bergel, Serge Demeyer
A test amplification bot for Pharo/Smalltalk. J. Comput. Lang. 78 (2024)
Arthur Lisboa Corgozinho, Marco Túlio Valente, Henrique Rocha
How Developers Implement Property-Based Tests. ICSME (2023)
Emily Bui, Henrique Rocha
Snapshot Testing Dataset. MSR (2023)
Maxime Gobert, Csaba Nagy, Henrique Rocha, Serge Demeyer, Anthony Cleve
Best practices of testing database manipulation code. Inf. Syst. 111 (2023)
Jarno Ottati, Giacomo Ibba, Henrique Rocha
Comparing smart contract vulnerability detection tools. BENEVOL (2023)
Victor Pezzi Gazzinelli Cruz, Henrique Rocha, Marco Túlio Valente
Snapshot testing in practice: Benefits and drawbacks. J. Syst. Softw. 204 (2023)
Eleni Constantinou, Dario Di Nucci, Raula Gaikovina Kula, Henrique Rocha
Special Issue on Software Health of Software Ecosystems. Sci. Comput. Program. 218 (2022)
Mehrdad Abdi, Henrique Rocha, Serge Demeyer, Alexandre Bergel
Small-Amp: Test amplification in a dynamically typed language. Empir. Softw. Eng. 27 (6) (2022)
Henrique Rocha, John Businge
Blockchain-Oriented Software Variant Forks: A Preliminary Study. CoRR (2022)
Darin Verheijke, Henrique Rocha
An exploratory study on solidity guards and ether exchange constructs. WETSEB@ICSE (2022)
Giuseppe Antonio Pierro, Henrique Rocha, Stéphane Ducasse, Michele Marchesi, Roberto Tonelli
A user-oriented model for Oracles' Gas price prediction. Future Gener. Comput. Syst. 128 (2022)
Henrique Rocha, John Businge
Blockchain-Oriented Software Variant Forks: A Preliminary Study. SANER (2022)
Serge Demeyer, Henrique Rocha, Darin Verheijke
Refactoring Solidity Smart Contracts to Protect Against Reentrancy Exploits. ISoLA (2) (2022)
Maxime Gobert, Csaba Nagy, Henrique Rocha, Serge Demeyer, Anthony Cleve
Challenges and Perils of Testing Database Manipulation Code. CAiSE (2021)
Mehrdad Abdi, Henrique Rocha, Serge Demeyer, Alexandre Bergel
Small-Amp: Test Amplification in a Dynamically Typed Language. CoRR (2021)
Alexandre Decan, Eleni Constantinou, Tom Mens, Henrique Rocha
GAP: Forecasting commit activity in git projects. J. Syst. Softw. 165 (2020)
Giuseppe Antonio Pierro, Henrique Rocha
The influence factors on ethereum transaction fees. WETSEB@ICSE (2019)
Mehrdad Abdi, Henrique Rocha, Serge Demeyer
Adopting Program Synthesis for Test Amplification. BENEVOL (2019)
Christian Marlon Souza Couto, Henrique Rocha, Ricardo Terra
A Quality-oriented Approach to Recommend Move Method Refactorings. SBQS (2018)
Henrique Rocha, Stéphane Ducasse
Preliminary Steps Towards Modeling Blockchain Oriented Software. WETSEB@ICSE (2018)
Santiago Bragagnolo, Henrique Rocha, Marcus Denker, Stéphane Ducasse
SmartInspect: solidity smart contract inspector. IWBOSE@SANER (2018)
Santiago Bragagnolo, Henrique Rocha, Marcus Denker, Stéphane Ducasse
Ethereum Query Language. WETSEB@ICSE (2018)
Markos Viggiato, Ricardo Terra, Henrique Rocha, Marco Tulio Valente, Eduardo Figueiredo
Microservices in Practice: A Survey Study. CoRR (2018)
Henrique Rocha, Rafael Serapilha Durelli, Ricardo Terra, Sândalo Bessa, Marco Tulio Valente
DCL 2.0: modular and reusable specification of architectural constraints. J. Braz. Comput. Soc. 23 (1) (2017)
Henrique Rocha, Ricardo Lopes Pereira
Hyper-linked communications: WebRTC enabled asynchronous collaboration. ICC (2017)
Christian Marlon Souza Couto, Henrique Rocha, Ricardo Terra
Quality-oriented Move Method Refactoring. BENEVOL (2017)
Henrique Rocha, Stéphane Ducasse, Marcus Denker, Jason Lecerf
Solidity Parsing Using SmaCC: Challenges and Irregularities. IWST (2017)
Henrique Rocha, Guilherme de Oliveira, Marco Tulio Valente, Humberto Marques-Neto
Characterizing Bug Workflows in Mozilla Firefox. SBES (2016)
Henrique Rocha, Marco Tulio Valente, Humberto Marques-Neto, Gail C. Murphy
An Empirical Study on Recommendations of Similar Bugs. SANER (2016)
Henrique Rocha, Guilherme de Oliveira, Humberto Marques-Neto, Marco Tulio Valente
NextBug: a Bugzilla extension for recommending similar bugs. J. Softw. Eng. Res. Dev. 3 (2015)
Hugo de Brito, Humberto T. Marques Neto, Ricardo Terra, Henrique Rocha, Marco Tulio Valente
On-the-fly extraction of hierarchical object graphs. J. Braz. Comput. Soc. 19 (1) (2013)
Henrique Rocha, Cesar Couto, Cristiano Amaral Maffort, Rogel Garcia, Clarisse Simoes, Leonardo Teixeira Passos, Marco Tulio Valente
Mining the impact of evolution categories on object-oriented metrics. Softw. Qual. J. 21 (4) (2013)
Henrique Rocha, Marco Tulio Valente
How Annotations are Used in Java: An Empirical Study. SEKE (2011)
Hugo de Brito, Henrique Rocha, Ricardo Terra, Marco Tulio Valente
On-the-Fly and Non-invasive Extraction of Runtime Architectures Using Hierarchical Object Graphs. SBCARS (2010)