Bas SpittersinBlockchain Academy NetworkFinding Real-World Bugs in Smart Contract Interactions with Property-Based TestingHow to automatically test for bugs in Decentralized FinanceDec 14, 2020Dec 14, 2020
Bas SpittersinBlockchain Academy NetworkPreventing an $8M attack on Ethereum’s bZx deFI platform with property-based testingProperty-based testing of specifications is an easy, obvious, and cost-efficient option to discover potentially bugs.Oct 7, 2020Oct 7, 2020
