Using gamma formalism for model-based testing for the routing protocols for mobile ad hoc networks. - Diana-Getuta Oancea; Mihai Lica Pura; Luciana Morogan (COMM, 2016)