TDD and Property Based Testing. Exploring two complementing testing techniques

Details
We will have 2 speakers this next meetup:
Outside in TDD for backend web-services - by Sagy Rozman
In this talk I'll describe some techniques I like to use in order to get up and running with a new project while doing TDD.
We will cover the concepts of learning-tests, walking-skeletons, using e2e tests to evolve an architecture on demand, the differences between unit and higher level tests, how to avoid the over-mocking trap, 'listening' to the tests, and much more.
Sagy Rozman has been studying, applying, and teaching TDD for over 15 years. As a Technical Coach at Wix, he’s responsible for spreading the TDD gospel around the office. Sagy has a passion for building software systems that can evolve naturally over time in the face of rapidly-changing requirements.
Property Based Testing in Javascript - by Zachary Kessin
Talk Abstract
Do your tests find all the strange corner cases? I know that there are always strange cases that I would never think of. What if it was possible to write a test such that it would find corner cases for you?
I will demonstrate the idea of property based testing, in which we ask our computer to test our code for us with hundreds of example inputs. This has been shown to find more defects with less developer effort!
These principles can be applied to any language but examples will be in JavaScript.
Zach Kessin has been a web developer for over 20 years and is interested in functional programming and software quality

TDD and Property Based Testing. Exploring two complementing testing techniques