Davide Balzarotti Greg Banks Marco Cova Viktoria Felmetsger Richard A. Kemmerer William K. Robertson Fredrik Valeur Giovanni Vigna An Experience in Testing the Security of Real-World Electronic Voting Systems. 453-473 2010 36 IEEE Trans. Software Eng. 4 http://doi.ieeecomputersociety.org/10.1109/TSE.2009.53 db/journals/tse/tse36.html#BalzarottiBCFKRVV10