Klaus Alfert
Principal Consultant / CTO
Klaus Alfert is a Principal Consultant and CTO at Zühlke Germany. Beside consulting on large scale projects and architectures, he is an Elixir developer since Elixir 0.8 and the maintainer of PropCheck and Coverex. Recently, he introduced Elixir and Property Based Testing into his projects at Zühlke.
Past Activities
Code BEAM Lite Munich 2018
16.40 - 17.20
Smart testing of smart contracts with Property Based Testing
Dealing with smart contracts on a blockchain requires much care, since bugs may easily result in a catastrophic financial loss. Thus, testing is crucial. In our project, we use graphical languages to specify smart contracts. We apply Property Based Testing to effectively and efficiently test the smart contract generation and their behaviour.
OBJECTIVES
The talk will introduce smart contracts on blockchains and in property based testing including state-based property based testing.