Quviq at the Erlang User Conference

11th November 2008

Thomas Arts and John Hughes will be presenting research results from the ProTest project at the Erlang User Conference in Älvsjö, Stockholm, on November 13th. Among the results presented will be a formal specification generator, which automatically constructs properties for certain kinds of code. A prototype tool (and trial version of QuickCheck) will be available for download here.