@ARTICLE{Pickin07a,
  author = {Pickin, Simon and Jard, Claude and Jéron, Thierry and Jézéquel, Jean-Marc
	and {Le~Traon}, Yves},
  title = {Test Synthesis from {UML} Models of Distributed Software},
  journal = {IEEE Transactions on Software Engineering},
  year = {2007},
  volume = {33},
  pages = {252--268},
  number = {4},
  month = apr,
  url = {http://www.irisa.fr/triskell/publis/2007/Pickin07a.pdf},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}