Property-based testing – Introducing automated edge-case testing for Plutus smart contracts, enhancing reliability and security 1/ Ever worried about hidden bugs lurking in smart contracts, especially those hard-to-find 'edge cases'? 🧐 Currently, the Cardano ecosystem could benefit from specific property-based testing (PBT) tools for smart contracts. The lack of these tools means smart contracts are more exposed to undetected issues and potential security flaws, which can pose significant risks.