Finding race conditions in Erlang with QuickCheck and PULSE. - Koen Claessen; Michal H. Palka; Nicholas Smallbone; John Hughes 001; Hans Svensson; Thomas Arts; Ulf T. Wiger (ICFP, 2009)

Ranking programs using black box testing. - Koen Claessen; John Hughes 001; Michal H. Palka; Nicholas Smallbone; Hans Svensson (AST, 2010)

QuickSpec: Guessing Formal Specifications Using Testing. - Koen Claessen; Nicholas Smallbone; John Hughes 001 (TAP@TOOLS, 2010)

Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic. - Koen Claessen; Ann Lillieström; Nicholas Smallbone (CADE, 2011)

Accelerating race condition detection through procrastination. - Thomas Arts; John Hughes 001; Ulf Norell; Nicholas Smallbone; Hans Svensson (Erlang Workshop, 2011)

HipSpec: Automating Inductive Proofs of Program Properties. - Koen Claessen; Moa Johansson; Dan Rosén; Nicholas Smallbone (ATx/WInG@IJCAR, 2012)

Automating Inductive Proofs Using Theory Exploration. - Koen Claessen; Moa Johansson; Dan Rosén; Nicholas Smallbone (CADE, 2013)

Lightweight verification of functional programs. - Nicholas Smallbone (2013)

An Expressive Semantics of Mocking. - Josef Svenningsson; Hans Svensson; Nicholas Smallbone; Thomas Arts; Ulf Norell; John Hughes 001 (FASE, 2014)

Hipster: Integrating Theory Exploration in a Proof Assistant. - Moa Johansson; Dan Rosén; Nicholas Smallbone; Koen Claessen (CICM, 2014)

Linking unit tests and properties. - Alex Gerdes; John Hughes 001; Nicholas Smallbone; Meng Wang 002 (Erlang Workshop, 2015)

TIP: Tools for Inductive Provers. - Dan Rosén; Nicholas Smallbone (LPAR, 2015)

TIP: Tons of Inductive Problems. - Koen Claessen; Moa Johansson; Dan Rosén; Nicholas Smallbone (CICM, 2015)

Find more bugs with QuickCheck! - John Hughes 001; Ulf Norell; Nicholas Smallbone; Thomas Arts (AST@ICSE, 2016)

Encoding Monomorphic and Polymorphic Types. - Jasmin Christian Blanchette; Sascha Böhme; Andrei Popescu 001; Nicholas Smallbone (Log. Methods Comput. Sci., 2016)

QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). - Maximilian Algehed; Koen Claessen; Moa Johansson; Nicholas Smallbone (Haskell, 2017)

Quick specifications for the busy programmer. - Nicholas Smallbone; Moa Johansson; Koen Claessen; Maximilian Algehed (J. Funct. Program., 2017)

Efficient Encodings of First-Order Horn Formulas in Equational Logic. - Koen Claessen; Nicholas Smallbone (IJCAR, 2018)

Applying Valued Booleans in Testing of Cyber-Physical Systems. - Koen Claessen; Nicholas Smallbone; Johan Lidén Eddeland; Zahra Ramezani; Knut Åkesson; Sajed Miremadi (MT@CPSWeek, 2018)

Understanding formal specifications through good examples. - Alex Gerdes; John Hughes 001; Nicholas Smallbone; Stefan Hanenberg; Sebastian Ivarsson; Meng Wang 002 (Erlang Workshop, 2018)

Testing Safety PLCs Using QuickCheck. - David Thönnessen; Nick Smallbone; Martin Fabian; Koen Claessen; Stefan Kowalewski (CASE, 2019)

Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. - Markus Aronsson; Koen Claessen; Mary Sheeran; Nicholas Smallbone (FHPNC@ICFP, 2019)

Evaluating Two Semantics for Falsification using an Autonomous Driving Example. - Zahra Ramezani; Nicholas Smallbone; Martin Fabian; Knut Åkesson (INDIN, 2019)

Inferring morphological rules from small examples using 0/1 linear programming. - Ann Lillieström; Koen Claessen; Nicholas Smallbone (NODALIDA, 2019)

Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing. - Sólrún Halla Einarsdóttir; Nicholas Smallbone; Moa Johansson (IFL, 2020)

Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans. - Johan Lidén Eddeland; Koen Claessen; Nicholas Smallbone; Zahra Ramezani; Sajed Miremadi; Knut Åkesson (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Twee: An Equational Theorem Prover. - Nicholas Smallbone (CADE, 2021)

Conjectures, Tests and Proofs: An Overview of Theory Exploration. - Moa Johansson; Nicholas Smallbone (VPT@ETAPS, 2021)

Testing Cyber-Physical Systems Using a Line-Search Falsification Method. - Zahra Ramezani; Koen Claessen; Nicholas Smallbone; Martin Fabian; Knut Åkesson (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. - Robert Krook; Nicholas Smallbone; Bo Joel Svensson; Koen Claessen (IFL, 2023)

Exploring Mathematical Conjecturing with Large Language Models. - Moa Johansson; Nicholas Smallbone (NeSy, 2023)

Lemma Discovery and Strategies for Automated Induction. - Sólrún Halla Einarsdóttir; Márton Hajdú; Moa Johansson; Nicholas Smallbone; Martin Suda 001 (IJCAR (1), 2024)

Binary indexes for optimising corpus queries. - Peter Ljunglöf; Nicholas Smallbone; Mijo Thoresson; Victor Salomonsson (KONVENS, 2024)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing. - Yousef Alhessi; Sólrún Halla Einarsdóttir; George Granberry; Emily First; Moa Johansson; Sorin Lerner; Nicholas Smallbone (CoRR, 2025)