A Distributed Test-Cases Dependencies Framework - Application to the SIP Protocol | IEEE Conference Publication | IEEE Xplore