-
Article
Preventative Care in the Patient with Inflammatory Bowel Disease: What Is New?
Patients with inflammatory bowel disease (IBD) do not receive routine preventative care at the same rate as general medical patients. This patient population is at increased risk of vaccine preventable illness...
-
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...