Skip to main content

2 Result(s)

within Jason S. Reich Remove this filter Logics and Meanings of Programs Remove this filter

and

  1. No Access

    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...

    Jason S. Reich, Matthew Naylor… in Implementation and Application of Function… (2013)

  2. No Access

    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...

    Jason S. Reich, Matthew Naylor… in Implementation and Application of Function… (2012)