Power debugging C code with Erlang

By Erlang Central | Published: March 22, 2010

QuickCheck tests stateful code beautifully, generating short sequences of API calls that reveal broken behaviour. Great for testing Erlang code… but equally useful for other programming languages, provided we can invoke them seamlessly from Erlang. John will demonstrate Quviq’s new link to C, which relieves the user from writing any boiler-plate code whatsoever, making property-driven development in C, with the properties written in Erlang, truly practical.

Download Presentation Download


  • John Hughes

    Inventor of QuickCheck and Erlanger of the year
    QuviQ AB

    John Hughes is co-founder and CEO of Quviq AB, and the originator of Quviq QuickCheck. From 2002-2005 he led a major research project in software verification, funded by the Swedish Strategic Research Foundation. This led to the development of Quviq QuickCheck in Erlang. Before John's involvement with Erlang, he was deeply involved with the design of Haskell from the start, and co-chaired the committee that defined the current language standard. At the Erlang eXchange, John will talk about Quick Check for Erlang.

    John Hughes

Follow Erlang Central:

Have an Erlang Question?

Reach out to the Erlang community