@TechReport{ brucker.ea:hol-testgen:2005, author = {Achim D. Brucker and Burkhart Wolff}, institution = {Computer Security Group, ETH Z\"urich}, language = {USenglish}, month = {apr}, number = 482, title = {{HOL-TestGen} 1.0.0 User Guide}, year = 2005, user = {wolff} }