Automatic Network Protocol Synthesis from UML Sequence Diagrams

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]

@inproceedings{EbeidFQS13,
  title = {Automatic Network Protocol Synthesis from UML Sequence Diagrams},
  author = {Emad Samuel Malki Ebeid and Franco Fummi and Davide Quaglia and Francesco Stefanni},
  year = {2013},
  doi = {10.1109/MTV.2013.21},
  url = {http://dx.doi.org/10.1109/MTV.2013.21},
  researchr = {https://researchr.org/publication/EbeidFQS13},
  cites = {0},
  citedby = {0},
  pages = {68-73},
  booktitle = {14th International Workshop on Microprocessor Test and Verification, MTV 2013, Austin, TX, USA, December 11-13, 2013},
  publisher = {IEEE},
}