Page
%P
-
Chapter and Conference Paper
Advances in Lazy SmallCheck
A property-based testing library enables users to perform lightweight verification of software. This paper presents improvements to the Lazy SmallCheck property-based testing library. Users can now test propertie...
-
Chapter and Conference Paper
Lazy Generation of Canonical Test Programs
Property-based testing can be a highly effective form of lightweight verification, but it relies critically on the method used to generate test cases. If we wish to test properties of compilers and related too...