Automating inductive proofs using theory exploration K Claessen, M Johansson, D Rosén, N Smallbone International Conference on Automated Deduction, 392-406, 2013 | 96 | 2013 |

Encoding Monomorphic and Polymorphic Types N Smallbone, A Popescu, S Böhme, JC Blanchette Logical Methods in Computer Science 12, 2017 | 91* | 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 | 87 | 2009 |

QuickSpec: Guessing Formal Specifications Using Testing K Claessen, N Smallbone, J Hughes International Conference on Tests and Proofs, 6-21, 2010 | 86 | 2010 |

Sort it out with monotonicity K Claessen, A Lillieström, N Smallbone International Conference on Automated Deduction, 207-221, 2011 | 54 | 2011 |

Hipster: Integrating Theory Exploration in a Proof Assistant M Johansson, D Rosén, N Smallbone, K Claessen | 46 | 2014 |

TIP: Tons of Inductive Problems K Claessen, M Johansson, D Rosén, N Smallbone | 43 | 2015 |

HipSpec: Automating Inductive Proofs of Program Properties. K Claessen, M Johansson, D Rosén, N Smallbone ATx/WInG@ IJCAR, 16-25, 2012 | 27 | 2012 |

Quick specifications for the busy programmer N Smallbone, M Johansson, K Claessen, M Algehed Journal of Functional Programming 27, 2017 | 24 | 2017 |

Find more bugs with QuickCheck! J Hughes, U Norell, N Smallbone, T Arts 2016 IEEE/ACM 11th International Workshop in Automation of Software Test …, 2016 | 20 | 2016 |

An expressive semantics of mocking J Svenningsson, H Svensson, N Smallbone, T Arts, U Norell, J Hughes International Conference on Fundamental Approaches to Software Engineering …, 2014 | 12 | 2014 |

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 | 11 | 2018 |

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 | 10 | 2010 |

TIP: tools for inductive provers D Rosén, N Smallbone Logic for Programming, Artificial Intelligence, and Reasoning, 219-232, 2015 | 8 | 2015 |

Efficient encodings of first-order Horn formulas in equational logic K Claessen, N Smallbone International Joint Conference on Automated Reasoning, 388-404, 2018 | 7 | 2018 |

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 | 7 | 2015 |

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 | 6 | 2020 |

Quickcheck: Automatic testing of haskell programs K Claessen, N Smallbone, B Bringert Пакет на hackage, URL: http://hackage. haskell. org/package/QuickCheck (дата …, 2010 | 6 | 2010 |

Twee, an equational theorem prover N Smallbone CADE, 602-613, 2021 | 4 | 2021 |

Testing Safety PLCs Using QuickCheck D Thönnessen, N Smallbone, M Fabian, K Claessen, S Kowalewski 2019 IEEE 15th International Conference on Automation Science and …, 2019 | 3 | 2019 |