@InProceedings{balzarotti08: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 = 	 {{Are Your Votes Really Counted? Testing the Security of Real-world Electronic Voting Systems}},
  booktitle = 	 {Proceedings of he International Symposium on Software Testing and Analysis (ISSTA)},
  year =	 2008,
  address =	 {Seattle, WA},
  month =	 {July}
}