Nicholas Smallbone

Showing 30 publications
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans
Testing Safety PLCs Using QuickCheck
Inferring Morphological Rules from Small Examples using 0/1 Linear Programming
Evaluating Two Semantics for Falsiļ¬cation using an Autonomous Driving Example
Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage
Efficient Encodings of First-Order Horn Formulas in Equational Logic
Understanding formal specifications through good examples
Applying valued booleans in testing of cyber-physical systems
Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems
Quick Specifications for the Busy Programmer
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)
Find More Bugs with QuickCheck!
Encoding monomorphic and polymorphic types
TIP: Tons of Inductive Problems
Tip: Tools for inductive provers
Linking Unit Tests and Properties
An expressive semantics of mocking
Hipster: Integrating theory exploration in a proof assistant
Compiling Linear Logic using Continuations
Automating Inductive Proofs using Theory Exploration
Encoding Monomorphic and Polymorphic Types
Accelerating race condition detection through procrastination
Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic
QuickSpec: Guessing Formal Specifications using Testing
Ranking programs using black box testing
Finding Race Conditions in Erlang with Quick Check and PULSE
Finding Race Conditions in Erlang with QuickCheck and PULSE
Finding race conditions in erlang with quickcheck and PULSE
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Showing 1 research projects
Systematic testing of cyber-physical systems (SyTeC)