Search for dissertations about: "Nicholas Smallbone"

Found 2 swedish dissertations containing the words Nicholas Smallbone.

2. 1. Lightweight verification of functional programs

   Author : Nicholas Smallbone; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : We have built several tools to help with testing and verifying functional programs. All three tools are based on QuickCheck properties. Our goal is to allow programmers to do more with QuickCheck properties than just test them. READ MORE

4. 2. Property-based testing for functional programs

   Author : Nicholas Smallbone; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; testing; Functional programming;

   Abstract : This thesis advances the view that property-based testing is a powerful way of testing functional programs, that has advantages not shared by traditional unit testing. It does this by showing two new applications of property-based testing to functional programming as well as a study of the effectiveness of property-based testing. READ MORE