Today we are joined by Kostis to talk about the state of the art of testing tools. We talk about Property based testing with QuickCheck and Proper and how you can use it in your programs to improve code quality. We then move on to concurrency testing and finding of race condition with Concuerror and how to find Heisenbugs.
We finish with new tools for Concolic testing that are now in development and should be an even more powerful way to find bugs in the future.
Examples of Property Based Testing in Riak and Chicago Boss
- .emacs with everything for erlang