18 citations · 37 across the 8 of their papers we have counts for
3 papers · 1 filter
Etna: An evaluation platform for property-based testing
Alperen Keles, Jessica Shi, Nikhil Kamath +5
Property-based testing is a mainstay of functional programming, boasting a rich literature, an enthusiastic user community, and an abundance of tools~ -- so many, indeed, that new…
Programmable Property-Based Testing
Alperen Keles, Justine Frank, Ceren Mert +2
Property-based testing (PBT) is a popular technique for establishing confidence in software, where users write properties -- i.e., executable specifications -- that can be checked…
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services
Leonidas Lampropoulos, Konstantinos Sagonas
With web services already being key ingredients of modern web systems, automatic and easy-to-use but at the same time powerful and expressive testing frameworks for web services ar…