Login / Signup

Efficient Loop Navigation for Symbolic Execution.

Jan ObdrzálekMarek Trtík
Published in: ATVA (2011)
Keyphrases
  • symbolic execution
  • relational databases
  • neural network
  • artificial intelligence
  • web services