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. IEEE Trans. Software Eng., 36(4):453-473, 2010. [doi]
Abstract is missing.