Nicholas Smallbone

Forskare at Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Showing 24 publications

2018

Efficient Encodings of First-Order Horn Formulas in Equational Logic

Koen Lindström Claessen, Nicholas Smallbone
Lecture Notes in Computer Science. Vol. 10900, p. 388-404
Paper in proceedings
2018

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

Koen Lindström Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al
IFAC-PapersOnLine. Vol. 51 (7), p. 408-415
Paper in proceedings
2018

Understanding formal specifications through good examples

Alex Gerdes, Stefan Hanenberg, Sebastian Ivarsson et al
, p. 13-24
Paper in proceedings
2017

Quick Specifications for the Busy Programmer

Nicholas Smallbone, Moa Johansson, Koen Lindström Claessen et al
Journal of Functional Programming. Vol. 27
Journal article
2017

QuickSpec: A Lightweight Theory Exploration Tool for Programmers

Maximilian Algehed, Koen Lindström Claessen, Moa Johansson et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 52 (10), p. 38-39
Paper in proceedings
2016

Find More Bugs with QuickCheck!

John Hughes, Ulf Norell, Nicholas Smallbone et al
11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016), p. 71-77
Paper in proceedings
2016

Encoding monomorphic and polymorphic types

Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu et al
Logical Methods in Computer Science. Vol. 12 (4)
Journal article
2015

TIP: Tons of Inductive Problems

Koen Lindström Claessen, Moa Johansson, Dan Rosén et al
Lecture Notes in Computer Science. Vol. 9150, p. 332-336
Paper in proceedings
2015

Tip: Tools for inductive provers

Dan Rosén, Nicholas Smallbone
Lecture Notes in Computer Science. Vol. 9450, p. 219-232
Paper in proceedings
2015

Linking Unit Tests and Properties

Alex Gerdes, John Hughes, Nicholas Smallbone et al
Erlang Workshop, 2015-09-04, Vancouver, p. 19-26
Paper in proceedings
2014

An expressive semantics of mocking

Josef Svenningsson, Hans Svensson, Nicholas Smallbone et al
Lecture Notes in Computer Science. Vol. 8411, p. 385-399
Paper in proceedings
2014

Hipster: Integrating theory exploration in a proof assistant

Moa Johansson, Dan Rosén, Nicholas Smallbone et al
Lecture Notes in Computer Science. Vol. 8543, p. 108-122
Paper in proceedings
2014

Compiling Linear Logic using Continuations

Jean-Philippe Bernardy, Dan Rosén, Nicholas Smallbone
Preprint
2013

Automating Inductive Proofs using Theory Exploration

Koen Lindström Claessen, Dan Rosén, Moa Johansson et al
Lecture Notes in Computer Science. Vol. 7898, p. 392-406
Paper in proceedings
2013

Encoding Monomorphic and Polymorphic Types

Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu et al
Lecture Notes in Computer Science. Vol. 7795, p. 493-507
Paper in proceedings
2013

Lightweight verification of functional programs

Nicholas Smallbone
Doctoral thesis
2011

Property-based testing for functional programs

Nicholas Smallbone
Licentiate thesis
2011

Accelerating race condition detection through procrastination

Thomas Arts, John Hughes, Ulf Norell et al
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, p. 14-22
Paper in proceedings
2011

Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic

Koen Lindström Claessen, Ann Lillieström, Nicholas Smallbone
Lecture Notes in Computer Science, p. 207-221
Paper in proceedings
2010

QuickSpec: Guessing Formal Specifications using Testing

Koen Lindström Claessen, Nicholas Smallbone, John Hughes
Lecture Notes in Computer Science. Vol. 6143, p. 6-21
Paper in proceedings
2010

Ranking programs using black box testing

Koen Lindström Claessen, John Hughes, Michal Palka et al
Proceedings - International Conference on Software Engineering, p. 103-110
Paper in proceedings
2009

Finding Race Conditions in Erlang with Quick Check and PULSE

Koen Lindström Claessen, Michal Palka, Nicholas Smallbone et al
ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, p. 149-160
Paper in proceedings
2009

Finding Race Conditions in Erlang with QuickCheck and PULSE

Koen Claessen, Michal Palka, Nicholas Smallbone et al
ACM SIGPLAN international conference on Functional programming
Paper in proceedings
2009

Finding race conditions in erlang with quickcheck and PULSE

Koen Lindström Claessen, Michal Palka, Nicholas Smallbone et al
ACM SIGPLAN Notices. Vol. 44 (9), p. 149-160
Journal article

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

Showing 1 research projects

2017–2022

Systematic testing of cyber-physical systems (SyTeC)

John Hughes Functional Programming
Koen Lindström Claessen Functional Programming
Martin Fabian Automation
Mary Sheeran Functional Programming
Bengt Lennartson Automation
Nicholas Smallbone Functional Programming
Zahra Ramezani Automation
Knut Åkesson Automation
Swedish Research Council (VR)

There might be more projects where Nicholas Smallbone participates, but you have to be logged in as a Chalmers employee to see them.