Applying FIRMAMENT to test the SCTP communication protocol under network faults | IEEE Conference Publication | IEEE Xplore