@conference{EURECOM+3659,
  author = {Armando, Alessandro and  Pellegrino, Giancarlo and  Carbone, Roberto and  Merlo, Alessio and  Balzarotti, Davide},
  title = {From model-checking to automated testing of security protocols: Bridging the gap},
  booktitle = {TAP 2012, 6th International Conference on<br />
Tests and Proofs, May 31-June 1, 2012, Prague, Czech Republic / Published also in LNCS, Volume 7305, 2012, Springer},
  year = {2012},
  editor = {Springer},
  address = {Prague},
  note = {©  Springer. Personal use of this material is permitted. The definitive version of this paper was published in TAP 2012, 6th International Conference on<br />
Tests and Proofs, May 31-June 1, 2012, Prague, Czech Republic / Published also in LNCS, Volume 7305, 2012, Springer and is available at : http://dx.doi.org/10.1007/978-3-642-30473-6\_3},
}