Protocol Testing: Review of Methods and Relevance for Software Testing.

Gregor von Bochmann, Alexandre Petrenko

Browse the full ISSTA paper archive.