@InProceedings{balzarotti08:issta_evote,
  author = {Davide Balzarotti and Greg Banks and Marco Cova and Viktoria Felmetsger and Richard Kemmerer and William Robertson and Fredrik Valeur  and Giovanni Vigna},
  title = {{Are Your Votes {\em Really} Counted? Testing the Security of Real-world Electronic Voting Systems}},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = 2008,
  pages = {237--248},
}