Hidedaki Takahashi

Detecting Buggy Contracts via Smart Testing

2024 · arXiv (Cornell University)

Smart contracts are susceptible to critical vulnerabilities. Hybrid dynamic analyses, such as concolic execution assisted fuzzing and foundation model assisted fuzzing, have emerged as highly effective testing techniques for smart contract bug detection recently. This …