Testing of a telecommunication protocol using constraint programming | IEEE Conference Publication | IEEE Xplore