11-15, 14:40–14:50 (Asia/Bangkok), Stage 4
Building secure and reliable smart contracts requires a robust testing and debugging arsenal. This talk provides a comprehensive and up-to-date overview of essential tools in the Ethereum ecosystem. Learn how to effectively integrate these tools into your development workflow from the start. We'll explore popular options, their strengths, and how to combine them for maximum efficiency. Discover best practices for writing comprehensive tests, identifying and fixing bugs, and ensuring code quality
Aellison is a Formal Verification Engineer currently auditing protocols and Smart Contracts, as well as developing tooling for blockchain DevEx and formal verification. He received his M.Sc. degree in Formal Methods from the Federal University of Paraíba in 2020. Previously, he worked as a software analyst and researcher exploring various fields, including computer and network security, IoT systems, networks, finance, and monetary fraud detection/prevention.