ParTes: A test generation strategy for choreography participants

Francesco De Angelis, Daniele Fanì, Andrea Polini. ParTes: A test generation strategy for choreography participants. In 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013. pages 26-32, IEEE, 2013. [doi]

@inproceedings{AngelisFP13,
  title = {ParTes: A test generation strategy for choreography participants},
  author = {Francesco De Angelis and Daniele Fanì and Andrea Polini},
  year = {2013},
  doi = {10.1109/IWAST.2013.6595787},
  url = {http://dx.doi.org/10.1109/IWAST.2013.6595787},
  researchr = {https://researchr.org/publication/AngelisFP13},
  cites = {0},
  citedby = {0},
  pages = {26-32},
  booktitle = {8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013},
  publisher = {IEEE},
  isbn = {978-1-4673-6161-3},
}