Topics

• Intro to Property-Based Testing with Hypothesis
  By: Paul Zuradzki
  Experience Level: Intermediate
  Length: 30 Minutes
  Description:

  One shortfall of example-based unit tests is that they only test known examples. Property-based testing lets you test against randomized inputs if you can specify properties that must be true of the code's behavior ("invariants"). You also test your function against extreme-values (aka, fuzzing).
  
  In this talk, will review some examples of property-based tests using the Hypothesis library. We will demo automated test generation ("ghostwriting" tests) to make writing tests easier. We will demo stateful testing to confirm that all possible states are valid in a program.  Lastly, we will end with parting thoughts on how to specify properties. Often, the tricky part with PBT is knowing what to test! Since we are using randomized input, we need to specify properties that should hold true across all outputs.

• Exploring Cellular Automata in Python using Golly
  By: Joshua Herman
  Experience Level: Intermediate
  Length: 45 Minutes
  Description:

  Golly is an open source, multiplatform tool for exploring various cellular automata (such as the game of life) that allows Python scripts to study and interact with the cellular automata. First we will look at very basic operation of the rule by studying the game of life and also inputting a new initial conditions such as gliders, still lifes and spaceships. Then we will switch over to study my cellular automata I created which I call  https://conwaylife.com/wiki/OCA:SnowLife and use Python scripts to analyze my cellular automata.