An exercise in test generation for telecommunications services | IEEE Conference Publication | IEEE Xplore