Lukas Bulwahn: The New Quickcheck for Isabelle - Random, Exhaustive and Symbolic Testing under One Roof. CPP 2012: 92-108