State Transition Model for Test Sequence Generation of MANET Clustering Protocols | IEEE Conference Publication | IEEE Xplore