Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas: Encoding Monomorphic and Polymorphic Types. Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2013, 16-24 March 2013, Rome, 7795 pp. 493-507. ISBN/ISSN: 978-3-642-36741-0

Claessen, Koen; Rosén, Dan; Johansson, Moa; Smallbone, Nicholas: HipSpec: Automating Inductive Proofs using Theory Exploration.

Smallbone, Nicholas: Lightweight verification of functional programs. Göteborg : Chalmers University of Technology. Diss. ISBN/ISSN: 978-91-7385-841-0

Arts, Thomas; Hughes, John; Norell, Ulf; Smallbone, Nicholas; Svensson, Hans: Accelerating race condition detection through procrastination. Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, pp. 14-22. ISBN/ISSN: 978-145030859-5

Claessen, Koen; Lillieström, Ann; Smallbone, Nicholas: Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic. Lecture Notes in Computer Science, CADE'11 Proceedings of the 23rd international conference on Automated deduction, pp. 207-221. ISBN/ISSN: 978-3-642-22437-9

Smallbone, Nicholas: Property-based testing for functional programs. Göteborg : Chalmers University of Technology.

Claessen, Koen; Smallbone, Nicholas; Hughes, John: QuickSpec: Guessing Formal Specifications using Testing. Lecture Notes in Computer Science. 4th International Conference on Tests and Proofs, TAP 2010, Malaga, 1-2 July 2010, 6143 pp. 6-21. ISBN/ISSN: 978-3-642-13976-5

Claessen, Koen; Hughes, John; Palka, Michal H.; Smallbone, Nicholas; Svensson, Hans: Ranking programs using black box testing. Proceedings - International Conference on Software Engineering , pp. 103-110. ISBN/ISSN: 978-160558970-1

Claessen, Koen; Palka, Michal H.; Smallbone, Nicholas; Hughes, John; Svensson, Hans; Arts, Thomas; Wiger, U.: Finding Race Conditions in Erlang with Quick Check and PULSE. ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pp. 149-160. ISBN/ISSN: 978-1-60558-332-7

Claessen, Koen; Palka, Michal H.; Smallbone, Nicholas; Hughes, John; Svensson, Hans; Wiger, Ulf: Finding Race Conditions in Erlang with QuickCheck and PULSE. ACM SIGPLAN international conference on Functional programming,