Nicholas Smallbone

According to our database, Nicholas Smallbone authored at least 30 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Exploring Mathematical Conjecturing with Large Language Models.

Moa Johansson, Nicholas Smallbone

Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023

2022

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

2021

Conjectures, Tests and Proofs: An Overview of Theory Exploration.

Moa Johansson, Nicholas Smallbone

Proceedings of the 9th International Workshop on Verification and Program Transformation, 2021

Twee: An Equational Theorem Prover.

Nicholas Smallbone

Proceedings of the Automated Deduction - CADE 28, 2021

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

Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing.

Sólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2019

Inferring morphological rules from small examples using 0/1 linear programming.

Ann Lillieström, Koen Claessen, Nicholas Smallbone

Proceedings of the 22nd Nordic Conference on Computational Linguistics, NoDaLiDa 2019, Turku, Finland, September 30, 2019

Evaluating Two Semantics for Falsification using an Autonomous Driving Example.

Zahra Ramezani, Nicholas Smallbone, Martin Fabian, Knut Åkesson

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 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

Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2019

Testing Safety PLCs Using QuickCheck.

David Thönnessen, Nick Smallbone, Martin Fabian, Koen Claessen, Stefan Kowalewski

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018

Understanding formal specifications through good examples.

Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang

Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 2018

Applying Valued Booleans in Testing of Cyber-Physical Systems.

Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Efficient Encodings of First-Order Horn Formulas in Equational Logic.

Koen Claessen, Nicholas Smallbone

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Quick specifications for the busy programmer.

Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed

J. Funct. Program., 2017

QuickSpec: a lightweight theory exploration tool for programmers (system demonstration).

Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016

Encoding Monomorphic and Polymorphic Types.

Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone

Log. Methods Comput. Sci., 2016

Find more bugs with QuickCheck!

John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts

Proceedings of the 11th International Workshop on Automation of Software Test, 2016

2015

TIP: Tons of Inductive Problems.

Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

TIP: Tools for Inductive Provers.

Dan Rosén, Nicholas Smallbone

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Linking unit tests and properties.

Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

2014

Hipster: Integrating Theory Exploration in a Proof Assistant.

Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

An Expressive Semantics of Mocking.

Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Lightweight verification of functional programs.

Nicholas Smallbone

PhD thesis, 2013

Automating Inductive Proofs Using Theory Exploration.

Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone

Proceedings of the Automated Deduction - CADE-24, 2013

2012

HipSpec: Automating Inductive Proofs of Program Properties.

Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone

Proceedings of the ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, 2012

2011

Accelerating race condition detection through procrastination.

Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic.

Koen Claessen, Ann Lillieström, Nicholas Smallbone

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

QuickSpec: Guessing Formal Specifications Using Testing.

Koen Claessen, Nicholas Smallbone, John Hughes

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Ranking programs using black box testing.

Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson

Proceedings of the 5th Workshop on Automation of Software Test, 2010

2009

Finding race conditions in Erlang with QuickCheck and PULSE.

Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009