Search

Rui Abreu

Extending EcoAndroid with Automated Detection of Resource Leaks
A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts

Published with Wowchemy — the free, open source website builder that empowers creators.