8 citations · 18 across the 7 of their papers we have counts for
Showing 2022 · cs.PLShow all
2 papers · 2 filters
cs.PL2022
Primrose: Selecting Container Data Types by Their Properties
Xueying Qin, Liam O'Connor, Michel Steuwer
Context: Container data types are ubiquitous in computer programming, enabling developers to efficiently store and process collections of data with an easy-to-use programming inter…
cs.PL2022★ 2 cited
Quickstrom: Property Based Acceptance Testing with LTL Specifications
Liam O'Connor, Oskar Wickström
We present Quickstrom, a property-based testing system for acceptance testing of interactive applications. Using Quickstrom, programmers can specify the behaviour of web applicatio…