Follow
Nicholas Smallbone
Nicholas Smallbone
Verified email at chalmers.se - Homepage
Title
Cited by
Cited by
Year
Automating inductive proofs using theory exploration
K Claessen, M Johansson, D Rosén, N Smallbone
International Conference on Automated Deduction, 392-406, 2013
1222013
QuickSpec: Guessing Formal Specifications Using Testing
K Claessen, N Smallbone, J Hughes
International Conference on Tests and Proofs, 6-21, 2010
1002010
Encoding monomorphic and polymorphic types
JC Blanchette, S Böhme, A Popescu, N Smallbone
Logical methods in computer science 12, 2017
94*2017
Finding race conditions in Erlang with QuickCheck and PULSE
K Claessen, M Palka, N Smallbone, J Hughes, H Svensson, T Arts, ...
ACM Sigplan Notices 44 (9), 149-160, 2009
912009
Hipster: Integrating Theory Exploration in a Proof Assistant
M Johansson, D Rosén, N Smallbone, K Claessen
622014
TIP: Tons of Inductive Problems
K Claessen, M Johansson, D Rosén, N Smallbone
532015
Sort it out with monotonicity: Translating between many-sorted and unsorted first-order logic
K Claessen, A Lillieström, N Smallbone
Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011
512011
Quick specifications for the busy programmer
N Smallbone, M Johansson, K Claessen, M Algehed
Journal of Functional Programming 27, e18, 2017
352017
HipSpec: Automating Inductive Proofs of Program Properties.
K Claessen, M Johansson, D Rosén, N Smallbone
ATx/WInG@ IJCAR, 16-25, 2012
332012
Find more bugs with QuickCheck!
J Hughes, U Norell, N Smallbone, T Arts
Proceedings of the 11th International Workshop on Automation of Software …, 2016
232016
Using valued booleans to find simpler counterexamples in random testing of cyber-physical systems
K Claessen, N Smallbone, J Eddeland, Z Ramezani, K Åkesson
IFAC-PapersOnLine 51 (7), 408-415, 2018
192018
Testing Cyber–Physical Systems Using a Line-Search Falsification Method
Z Ramezani, K Claessen, N Smallbone, M Fabian, K Åkesson
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2021
122021
Efficient encodings of first-order horn formulas in equational logic
K Claessen, N Smallbone
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
122018
An expressive semantics of mocking
J Svenningsson, H Svensson, N Smallbone, T Arts, U Norell, J Hughes
Fundamental Approaches to Software Engineering: 17th International …, 2014
122014
Twee: An Equational Theorem Prover.
N Smallbone
CADE, 602-613, 2021
112021
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans
JL Eddeland, K Claessen, N Smallbone, Z Ramezani, S Miremadi, ...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020
112020
TIP: Tools for inductive provers
D Rosén, N Smallbone
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
112015
Ranking programs using black box testing
K Claessen, J Hughes, M Pa³ka, N Smallbone, H Svensson
Proceedings of the 5th Workshop on Automation of Software Test, 103-110, 2010
112010
Template-based theory exploration: Discovering properties of functional programs by testing
SH Einarsdóttir, N Smallbone, M Johansson
Proceedings of the 32nd Symposium on Implementation and Application of …, 2020
92020
Linking unit tests and properties
A Gerdes, J Hughes, N Smallbone, M Wang
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, 19-26, 2015
72015
The system can't perform the operation now. Try again later.
Articles 1–20