Modeling and Testing Implementations of Protocols with Complex Messages

Tom Tervoort, I. S. W. B. Prasetya

This paper presents a new language called APSL for formally describing protocols to facilitate automated testing. Many real world communication protocols exchange messages whose st…