Thomas Arts, John Hughes, Joakim Johansson, Ulf Wiger. Testing telecoms software with quviq QuickCheck. In Marc Feeley, Philip W. Trinder, editors, Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006. pages 2-10, ACM, 2006. [doi]
Abstract is missing.