Random Generation of Test Inputs for Implicitly Defined Subdomains. - John A. Murphy; David Coppit (AST, 2007)