1 citations · 2 across the 11 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
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…
cs.SE2026
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…