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]
Abstract is missing.