Test Synthesis from UML Models of Distributed Software. - Pickin, Simon; Jard, Claude; Jéron, Thierry (IEEE Transactions on Software Engineering, 2007)