brucker.ea:hol-testgen:2012 Report Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France 2012 April 1551 BruckerAchimD BrüggerLukas KriegerMatthiasP WolffBurkhart HOL-TestGen 1.7.0 User Guide Author copy: https://logicalhacking.com/publications/brucker.ea-hol-testgen-2012/