An Experience in Testing the Security of Real-world Electronic Voting Systems

@article{Balzarotti2010An_Experience,
  title   = {{An Experience in Testing the Security of Real-world Electronic Voting Systems}},
  author  = {Balzarotti, Davide and Banks, Greg and Cova, Marco and Felmetsger, Viktoria and Kemmerer, Richard and Robertson, William and Valeur, Fredrik and Vigna, Giovanni},
  month   = {August},
  year    = {2010},
  journal = {IEEE Transactions on Software Engineering}
}