Property-based testing against a model of a web application programming Article 4291 words, published Aug 11 2022 7 votes