https://leanmind.es/es/blog/property-based-testing-en-pandas