Smart testing of smart contracts with Property Based Testing

Dealing with smart contracts on a blockchain demands care: bugs can easily result in catastrophic financial loss, so testing is crucial. This talk introduces smart contracts on blockchains and shows how property-based testing — including stateful property-based testing — can be applied to test their generation and behaviour effectively and efficiently.