Software Diagnostics and Conformance Testing CRT: Voting system logic testing (Votetest) David Flater 2008-01-23.