Tamer Elsharnouby A. Udaya Shankar SeSFJava harness: service and assertion checking for protocol implementations. 2035-2047 2004 22 IEEE Journal on Selected Areas in Communications 10 http://doi.ieeecomputersociety.org/10.1109/JSAC.2004.836012 db/journals/jsac/jsac22.html#ElsharnoubyS04