axelson

axelson

Scenic Core Team

ElixirConf US 2018 – Picking Properties to Test in Property-Based Testing – Michael Stalker (@mstalker)

The developer stared at the screen in frustration and grumbled, “Example-based testing is straightforward. I pick a few inputs, and verify the output. I don’t get property-based testing. How can I write a test if I don’t know what the inputs are?”

Maybe you’re like this developer. Maybe you’re sold on the value of property-based testing. Maybe you’re convinced that it will help you write effective specs. But where do you go from here?

Identifying properties to test is your next step toward property-based testing greatness. You’ll learn what properties are. You’ll gain strategies to identify them in your code. You’ll see practical examples using StreamData, a property-based testing library. You might even start to view code verification in a new light.

You’ll get the most out of this presentation if you have used example-based testing in any language. You’ll go from “property-based testing looks awesome” to “I can do it!”

Audience: Beginner, Intermediate, Advanced
Topics: testing, property-testing

All talks are available in the ElixirConf US 2018 Talks List or via the elixirconf2018 tag

Showing Posts 1 to 2

axelson

axelson OP

Scenic Core Team

I have to say that this was one of my favorite talks of the conference. It was very informative, well paced, and thoughtful. I’ll definitely be re-watching it in the future (before I open my ice cream shop :joy:)

DanCouper

DanCouper

This was my favourite talk by quite a long way; I’m busy trying to git gud at property-based testing, and the way he broke it down was excellent. Very nice when paired with the Ferd book.

— All posts loaded —

Where Next? Top

Trending in Talks Top

CodeSync
That’s a wrap on Code BEAM Europe 2026! Thanks to everyone who came to Haarlem or joined online, and to our speakers, trainers and sponso...
New
CodeSync
The Graveyard of Good Ideas - Quinn Wilton | ElixirConf US 2026 Comments welcome! View the <span class="hashtag-icon-plac...
New
CodeSync
Building High-Performing Engineering Teams | Christian Koch | ElixirConf US 2026 Rountable <span class="hashtag-icon-placeholder"></span>...
New
CodeSync
LT: E-mail is broken! | Zach Supalla | ElixirConf US 2026 https://www.youtube.com/watch?v=BoHx136rgbE Comments welcome! View the <span...
New
CodeSync
LT: Elixir for Gaming! Using Network to Power a Sophisticated Multiplayer Simulation - Mik Ahmed https://www.youtube.com/watch?v=wbkIld3...
New
CodeSync
LT: Process Dictionary Debugger - Andrew Glassman | ElixirConf US 2026 https://www.youtube.com/watch?v=ATN67Hj0C-8 Comments welcome! V...
New
CodeSync
LT: Quillex Hits 1.0 – the First Native Elixir Text Editor - Luke Taylor | ElixirConf US 2026 https://www.youtube.com/watch?v=6d69M74qRK...
New

Other Trending Topics Top

dominicletz
Hey there, I haven’t seen a list of useful Elixir specific skills for the popular AI tools yet so I’m starting one here with my first. ...
New
raa-ziq
Hi everyone :waving_hand: I wanted to share something I’ve been building — NowBlind, a random chat app designed to help people discover ...
New
mudasobwa
I fully migrated to my own harness from Anthropic/Gemini and I think it’s time to share it. Welcome DSH, the DeepSeek Harness, fully writ...
New
KristerV
Hey. Is there anyone here who creates agents in their apps? Not talking about using agents, but creating them. I’m finding it pretty diff...
New
OndrejValenta
(I just needed to vent somewhere and LinkedIn is full of hope, or hype, I’m not sure which exactly) AI dream has many faces, but general...
New
kip
Localize is the next generation localisation library for Elixir. Think of it as ex_cldr version 3.0. The first version will be released ...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews