Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni. Automatic Network Protocol Synthesis from UML Sequence Diagrams. In 14th International Workshop on Microprocessor Test and Verification, MTV 2013, Austin, TX, USA, December 11-13, 2013. pages 68-73, IEEE, 2013. [doi]
Abstract is missing.