Property-based testing framework for Open API and GraphQL based apps