This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- INTRODUCTION TO STATEFUL PROPERTY BASED TESTING by Tomasz Kowal ABSTRACT Property-based testing is a technique for writing tests that use a framework for creating test inputs and user-defined properties for validating outputs. Generating data allows finding bugs that would be impossible to catch by regular unit tests: e.g. too big to encode by hand. I'd like to present why is it worth getting into PBT by introducing successful usages of PBT for testing AUTOSAR, LevelDB and Dropbox. All those examples use stateful testing, so the next part of the talk describes steps to create a stateful test for a simple key-value store. Read the full abstract: http://www.lambdadays.org/lambdadays2019/tomasz-kowal --- THE SPEAKER - TOMASZ KOWAL Software Developer @ ClubCollect Tomasz works with functional languages for over 8 years and loves learning and teaching about concepts and techinques. More on Tomasz Kowal: http://www.lambdadays.org/lambdadays2019/tomasz-kowal --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #testing