John A. Murphy, David Coppit. Random Generation of Test Inputs for Implicitly Defined Subdomains. In Hong Zhu, W. Eric Wong, Amit M. Paradkar, editors, Proceedings of the Second International Workshop on Automation of Software Test, AST 2007, Minneapolis, MN, USA, May 26-26, 2007. pages 69-72, IEEE, 2007. [doi]
Abstract is missing.