Exploiting Symmetry in Protocol Testing.

Judi Romijn Jan Springintveld

Published in: FORTE (1998)

Keyphrases

artificial intelligence
lightweight
symmetry detection
application layer
network protocols
coloured petri nets
social networks
web services
test set
cryptographic protocols
bilateral symmetry
voting protocols