Formal Black-Box Analysis of Routing Protocol Implementations.

Adi Sosnovich Orna Grumberg Gabi Nakibly

Published in: CoRR (2017)

Keyphrases

black box
routing protocol
black boxes
wireless sensor networks
energy aware
ad hoc networks
white box testing
test cases
mobile ad hoc networks
white box
sensor networks
test set
routing algorithm
network topology