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.
Nick Smallbone Functional programmer and member of the ProTest project - Chalmers University of Technology
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.