Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon
Property-Based Testing - The ProTest Project.
Formal Methods for Components and Objects.
Lecture Notes in Computer Science, 6286
Springer, pp. 250-271.
(Full text available)
Conference or workshop item
Claessen, Koen and Runciman, Colin and Chitil, Olaf and Hughes, John and Wallace, Malcolm
Testing and Tracing Lazy Functional Programs using QuickCheck and Hat.
In: 4th Summer School in Advanced Functional Programming.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)