@Article{balzarotti10:voting,
  author = 	 {Davide Balzarotti and Greg Banks and Marco Cova and Vika Felmetsger and Richard Kemmerer and Wil Robertson and Fredrik Valeur and Giovanni Vigna},
  title = 	 {{An Experience in Testing the Security of Real-world Electronic Voting Systems}},
  journal = 	 {IEEE Transactions on Software Engineering},
  volume =       36,
  number =       4,
  month =        {July/August},
  year = 	 2010
}