Property-Based Testing for everyone by Romeu Moura