| Understanding formal specifications through good examples. | 0 | 0.34 | 2018 |
| Branching Processes for QuickCheck Generators. | 1 | 0.35 | 2018 |
| Special section on functional paradigm for high performance computing. | 0 | 0.34 | 2018 |
| Typing the wild in Erlang. | 0 | 0.34 | 2018 |
| Beginner's Luck: A Language for Property-Based Generators. | 0 | 0.34 | 2017 |
| Modelling Of Autosar Libraries For Large Scale Testing | 0 | 0.34 | 2017 |
| Find more bugs with QuickCheck! | 2 | 0.37 | 2016 |
| How Well are Your Requirements Tested? | 2 | 0.39 | 2016 |
| Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane. | 1 | 0.35 | 2016 |
| Automatic Grading of Programming Exercises using Property-Based Testing. | 4 | 0.56 | 2016 |
| Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service | 6 | 0.43 | 2016 |
| Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. | 5 | 0.42 | 2015 |
| Graphical editing support for QuickCheck models | 0 | 0.34 | 2015 |
| Testing AUTOSAR software with QuickCheck | 22 | 0.84 | 2015 |
| Linking unit tests and properties | 3 | 0.41 | 2015 |
| An Expressive Semantics of Mocking | 5 | 0.68 | 2014 |
| Toward a mature industrial practice of software test automation | 0 | 0.34 | 2014 |
| Testing Noninterference, Quickly. | 6 | 0.49 | 2013 |
| Specification based testing with QuickCheck: tutorial talk | 0 | 0.34 | 2011 |
| Testing an optimising compiler by generating random lambda terms | 33 | 1.46 | 2011 |
| Using temporal relations to specify and test an instant messaging server | 3 | 0.45 | 2010 |
| QuickSpec: guessing formal specifications using testing | 33 | 1.43 | 2010 |
| Property-based testing: the ProTest project | 9 | 0.58 | 2009 |
| Testing Erlang data types with quviq quickcheck | 22 | 1.15 | 2008 |
| Experiences from teaching functional programming at Chalmers | 2 | 0.40 | 2008 |
| A Library for Secure Multi-threaded Information Flow in Haskell | 17 | 0.68 | 2007 |
| QuickCheck testing for fun and profit | 46 | 2.02 | 2007 |
| Global variables in Haskell | 4 | 0.46 | 2004 |
| Programming with Arrows | 10 | 0.78 | 2004 |
| Polish parsers, step by step | 10 | 0.68 | 2003 |
| Testing monadic code with QuickCheck | 28 | 1.72 | 2002 |
| Principal type specialisation | 1 | 0.36 | 2002 |
| Binding-Time Analysis for Polymorphic Types | 3 | 0.39 | 2001 |
| Extending a partial evaluator which supports separate compilation | 2 | 0.37 | 2000 |
| QuickCheck: a lightweight tool for random testing of Haskell programs. | 0 | 0.34 | 2000 |
| The Correctness of Type Specialisation | 3 | 0.43 | 2000 |
| Generalising monads to arrows | 174 | 10.29 | 2000 |
| QuickCheck: a lightweight tool for random testing of Haskell programs | 512 | 26.07 | 2000 |
| Type specialization | 4 | 0.45 | 1998 |
| Partial evaluation and separate compilation | 3 | 0.46 | 1997 |
| Module-sensitive program specialisation | 0 | 0.34 | 1997 |
| Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference | 23 | 1.08 | 1996 |
| Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24-30, 1995: Tutorial Text | 10 | 7.43 | 1995 |
| Fast Abstract Interpretation Using Sequential Algorithms | 8 | 0.63 | 1993 |
| Pretty-printing: An Exercise in Functional Programming | 1 | 0.44 | 1992 |
| Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary) | 1 | 0.38 | 1992 |
| A Loop-Detecting Interpreter for Lazy Programs | 1 | 0.45 | 1991 |
| Abstract Interpretation of Polymorphic Functions | 4 | 0.58 | 1989 |
| An Iterative Powerdomain Construction | 3 | 0.60 | 1989 |
| Projections for Polymorphic Strictness Analysis | 9 | 1.89 | 1989 |
