Efficient systematic testing of network protocols with temporal uncertain events
ieee international conference computer and communications, 2019.
The correctness of network protocol implementations is difficult to test mainly because of the temporal uncertain nature of network events. In order to test the correctness of a network protocol implementation using network simulators, we need to systematically simulate the behavior of the network protocol under all possible cases of temp...More
Full Text (Upload PDF)
PPT (Upload PPT)