Software Testing UVA 2013 Group Christian König & Luka Hale