Nick Smallbone
Functional programmer and member of the ProTest project - Chalmers University of Technology
Quviq AB
Nick Smallbone is a PhD student at Chalmers, where he spends his time doing functional programming, and is also involved in the ProTest project. He is one of the authors of QuickSpec, the tool that will be presented in the tutorial.
Nick Smallbone is Giving the Following Talks
QuickSpec: Formal Specifications for Free!
QuickSpec is a tool that takes an Erlang or Haskell API and guesses a formal specification for it! QuickSpec is mostly automatic: it "reverse-engineers" the specification by random testing of the API, and all the user need do is give the types of the functions to be tested as well as test data generators. QuickSpec only works on purely functional APIs, such as data structures, at the moment.
This talk will show QuickSpec in action as well as the ideas behind it.
This talk will show QuickSpec in action as well as the ideas behind it.
