Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda. State Transition Model for Test Sequence Generation of MANET Clustering Protocols. In 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), June 25-29, 2007, Toronto, Ontario, Canada. pages 55, IEEE Computer Society, 2007. [doi]
Abstract is missing.