|
|
|
29 Sep 2010: ICFP 2010, Baltimore, US 30 Sep 2010: ACM SIGPLAN Erlang Workshop, Baltimore, US 1 Oct 2010: CUFP 2010, Baltimore, US More Events |
Subscribe to our newsletter mailing list!Sign up to receive the latest news and events about the ProTest project. |
Members loginClick here |
Videos
At the Infoq conference, San Francisco in July 2009:
- Multicore Programming in Erlang, by Ulf Wiger.
At the Erlang Factory conference, London in June 2009:
- Connecting QuickCheck and Rose/RT to test Radio Base Stations, by Hans Svensson.
- Finding Race Conditions during Unit Testing with QuickCheck, by John Hughes.
- Hands-on refactoring with Wrangler, by Simon Thompson.
- Testing Wrangler with QuickCheck, by Huiqing Li.
- Using QuickCheck for testing C code, by Ulf Norell.
- Using QuickCheck for testing a domain specific language, by Adam Lindberg.
At the Erlang Factory conference, San Francisco in April 2009:
- Hands-on session with the McErlang model checker, by Clara Benac Earle.
- Keynote: Multicore Programming in Erlang, by Ulf Wiger.
- Testing Erlang programs for multicore , by John Hughes.
- The McErlang model checker, by Lars-Ake Fredlund.
