Login / Signup

Path Directed Symbolic Execution in the K Framework.

Irina Mariuca AsavoaeMihail AsavoaeDorel Lucanu
Published in: SYNASC (2010)
Keyphrases
  • symbolic execution
  • data sets
  • metadata
  • xml schema
  • specification language