Ryan W. Gardner, Sujata Garera, Aviel D. Rubin. On the Difficulty of Validating Voting Machine Software with Software. In Ray Martinez, David Wagner, editors, 2007 USENIX/ACCURATE Electronic Voting Technology Workshop, EVT'07, Boston, MA, USA, August 6, 2007. USENIX Association, 2007. [doi]
Abstract is missing.