Analyzing Operational Behavior of Stateful Protocol Implementations for Detecting Semantic Bugs.

Md. Endadul Hoque, Omar Chowdhury, Sze Yiu Chau, Cristina Nita-Rotaru, Ninghui Li

Browse the full DSN paper archive.