Automatic Validation of Protocol Narration.

Chiara Bodei Mikael Buchholtz Pierpaolo Degano Flemming Nielson Hanne Riis Nielson

Published in: CSFW (2003)

Keyphrases

semi automatic
lightweight
database
data driven
fully automatic
tcp ip