Thomas Arts John Hughes Joakim Johansson Ulf Wiger Testing telecoms software with quviq QuickCheck. 2-10 2006 Erlang Workshop http://doi.acm.org/10.1145/1159789.1159792 conf/erlang/2006 db/conf/erlang/erlang2006.html#ArtsHJW06