Code Sync Team
Conference Team
The Organisers
Past Activities
Code Sync Team
Code BEAM SF 2019
Code BEAM SF 2019
01 Mar 2019
12.15 - 12.40
12.15 - 12.40
Properties for all
In this talk, we'll go over property testing and model checking. Using a simple cache library as an example, and the propcheck library to briefly cover the uses of property checking and when to use them versus model checking.
OBJECTIVES
Learn about property testing and model checking.
TARGET AUDIENCE
People who want to move beyond unit testing and/or want to test complex stateful systems.
Media
Articles: 6
Hybrid conference - what to expect? + Frequently Asked Questions
Article by Code Sync Team
READ MORE
Properties for all
Article by Code Sync Team
In this talk, we'll go over property testing and model checking. Using a simple cache library as an example, and the propcheck library to briefly cover the uses of property checking and when to use them versus model checking.
READ MORE