@dblp

Random Generation of Test Inputs for Implicitly Defined Subdomains.

, and . AST, page 69-72. IEEE Computer Society, (2007)

Links and resources

Tags