Nicholas Smallbone

Finding race conditions in Erlang with QuickCheck and PULSE

Koen Claessen, Nicholas Smallbone, John Hughes et al. · 2009 · 65 citations

Software Maintenance, Engineering, Verification +19

Quick specifications for the busy programmer

Nicholas Smallbone, Moa Johansson, Koen Claessen et al. · Journal of Functional Programming · 2017 · 28 citations

Engineering, System Programming, Theory Exploration +21

Encoding Monomorphic and Polymorphic Types

Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu et al. · Logical Methods in Computer Science · 2017 · 27 citations · Full text

Polymorphic Types, Representation Theory, Untyped Logics +14

Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems

Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al. · IFAC-PapersOnLine · 2018 · 20 citations · Full text

Engineering, Boolean Function, Verification +24

Find more bugs with QuickCheck!

John Hughes, Ulf Norell, Nicholas Smallbone et al. · 2016 · 15 citations

Software Maintenance, Engineering, Test Data Generation +16