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