QuickSpec: Formal Specifications for Free!

By Erlang Central | Published: June 7, 2010

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.

Download Presentation Download


  • 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

Follow Erlang Central:

Have an Erlang Question?

Reach out to the Erlang community