On the Difficulty of Validating Voting Machine Software with Software.

Ryan W. Gardner Sujata Garera Aviel D. Rubin

Published in: EVT (2007)

Keyphrases

software systems
neural network
software maintenance
source code
software development
software tools
data mining
software packages
metadata
computer systems
software architecture
software package
analysis tool
computer software