Statistical usage testing applied to mobile network verification. - Alexander Ost; Dorien van Logchem (ISPASS, 2001)