John Hughes talked about quickchecking Erlang (and other languages) at ICFP. I saw John live at ICFP - it was a great talk and is now on google videos http://video.google.com/videoplay?docid=4655369445141008672 /Joe Armstrong