This is a <a href="http://www.math.chalmers.se/~rjmh/ErlangQC/"> program testing tool presented by John Hughes</a> at EUC'03. 
