Login / Signup
Efficient Loop Navigation for Symbolic Execution
Jan Obdrzálek
Marek Trtík
Published in:
CoRR (2011)
Keyphrases
</>
symbolic execution
test generation