Automating inductive proofs using theory exploration K Claessen, M Johansson, D Rosén, N Smallbone International Conference on Automated Deduction, 392-406, 2013 | 136 | 2013 |
QuickSpec: Guessing Formal Specifications Using Testing K Claessen, N Smallbone, J Hughes International Conference on Tests and Proofs, 6-21, 2010 | 105 | 2010 |
Encoding monomorphic and polymorphic types JC Blanchette, S Böhme, A Popescu, N Smallbone Logical methods in computer science 12, 2017 | 95* | 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 | 95 | 2009 |
Hipster: Integrating Theory Exploration in a Proof Assistant M Johansson, D Rosén, N Smallbone, K Claessen | 65 | 2014 |
TIP: Tons of Inductive Problems K Claessen, M Johansson, D Rosén, N Smallbone | 62 | 2015 |
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 | 51 | 2011 |
Quick specifications for the busy programmer N Smallbone, M Johansson, K Claessen, M Algehed Journal of Functional Programming 27, e18, 2017 | 43 | 2017 |
HipSpec: Automating Inductive Proofs of Program Properties. K Claessen, M Johansson, D Rosén, N Smallbone ATx/WInG@ IJCAR, 16-25, 2012 | 35 | 2012 |
Find more bugs with QuickCheck! J Hughes, U Norell, N Smallbone, T Arts Proceedings of the 11th International Workshop on Automation of Software …, 2016 | 23 | 2016 |
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 | 19 | 2018 |
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 | 15 | 2021 |
Twee: An Equational Theorem Prover. N Smallbone CADE, 602-613, 2021 | 15 | 2021 |
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 | 13 | 2018 |
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 | 12 | 2020 |
TIP: Tools for inductive provers D Rosén, N Smallbone Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015 | 12 | 2015 |
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 | 12 | 2014 |
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 | 12 | 2010 |
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 | 11 | 2020 |
Exploring Mathematical Conjecturing with Large Language Models. M Johansson, N Smallbone NeSy, 62-77, 2023 | 8 | 2023 |