Henrique Rocha

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