@dblp

Automatic constraint generation for guided random simulation.

, and . ASP-DAC, page 613-618. IEEE, (2010)

Links and resources

Tags