Login / Signup

Symbolic Execution Techniques for Refinement Testing.

Pascale Le GallNicolas RapinAssia Touil
Published in: TAP (2007)
Keyphrases