Nick Smallbone
Nick Smallbone
Geverifieerd e-mailadres voor chalmers.se - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Automating inductive proofs using theory exploration
K Claessen, M Johansson, D RosÚn, N Smallbone
International Conference on Automated Deduction, 392-406, 2013
94*2013
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
792009
Encoding Monomorphic and Polymorphic Types
N Smallbone, A Popescu, S B÷hme, JC Blanchette
Logical Methods in Computer Science 12, 2017
78*2017
QuickSpec: Guessing Formal Specifications Using Testing
K Claessen, N Smallbone, J Hughes
International Conference on Tests and Proofs, 6-21, 2010
752010
Sort it out with monotonicity
K Claessen, A Lilliestr÷m, N Smallbone
International Conference on Automated Deduction, 207-221, 2011
472011
Hipster: Integrating Theory Exploration in a Proof Assistant
M Johansson, D RosÚn, N Smallbone, K Claessen
362014
TIP: Tons of Inductive Problems
K Claessen, M Johansson, D RosÚn, N Smallbone
282015
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
162016
Quick specifications for the busy programmer
N Smallbone, M Johansson, K Claessen, M Algehed
Journal of Functional Programming 27, 2017
142017
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
102014
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
82010
TIP: Tools for inductive provers
D RosÚn, N Smallbone
Logic for Programming, Artificial Intelligence, and Reasoning, 219-232, 2015
62015
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
62015
Using valued Booleans to find simpler counterexamples in random testing of cyber-physical systems
K Claessen, N Smallbone, J Eddeland, Z Ramezani, K ┼kesson
Workshop on Discrete Event Systems (WODES), 2018
52018
Efficient encodings of first-order Horn formulas in equational logic
K Claessen, N Smallbone
International Joint Conference on Automated Reasoning, 388-404, 2018
42018
Accelerating race condition detection through procrastination
T Arts, J Hughes, U Norell, N Smallbone, H Svensson
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, 14-22, 2011
32011
Lightweight verification of functional programs
N Smallbone
Chalmers University of Technology, 2013
22013
Property-based testing for functional programs
N Smallbone
Chalmers University of Technology, 2011
22011
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
12019
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
2020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20