Integration testing of protocol implementations using symbolic distributed execution | IEEE Conference Publication | IEEE Xplore