<

Ivy Rogatko

Lead engineer @ The RealReal

Ivy Rogatko is a gaming industry veteran. She has always had a passion for technology and enjoys learning new languages, currently focusing on Rust.

She was brought in to the Erlang world through Ejabberd and went from chat systems to Elixir and matchmakers.

Ivy enjoys bug-free code and not being woken-up by robots at 3am.

Past conferences

Ivy Rogatko
Code BEAM SF 2019
01 Mar 2019
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.