SeSFJava harness: service and assertion checking for protocol implementations

Tamer Elsharnouby, A. Udaya Shankar. SeSFJava harness: service and assertion checking for protocol implementations. IEEE Journal on Selected Areas in Communications, 22(10):2035-2047, 2004. [doi]

Bibliographies