@misc{indiciae61de2912f7c8, title = {Wake 5: A Python Framework for Solidity Testing, Fuzzing, and Static Analysis}, author = {Josef Gattermayer and Michal Převrátil}, year = {2026}, url = {https://arxiv.org/abs/2611.09307}, note = {Source identifier: 2611.09307} }