TITLE     : A counter-example testing approach for orchestrated services
AUTHOR(S) : De Angelis F, Polini A, De Angelis G
TYPE      : Conference article
YEAR      : 2010
CODE      : 92135

*** DO NOT EDIT THIS FILE ***