Specification Based Conformance Testing for Email Protocols.

Nikolay V. Pakulin, Anastasia Tugaenko

Browse the full ISoLA paper archive.