Login / Signup

Automatic structural testing with abstraction refinement and coarsening.

Mauro Baluda
Published in: SIGSOFT FSE (2011)
Keyphrases