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

Klaus Alfert
Code BEAM Lite Munich 2018
07 Dec 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.


The talk will introduce smart contracts on blockchains and in property based testing including state-based property based testing.