Login / Signup

Strong Optimistic Solving for Dynamic Symbolic Execution.

Darya ParyginaAlexey V. VishnyakovAndrey Fedotov
Published in: CoRR (2022)
Keyphrases
  • symbolic execution
  • artificial intelligence
  • static analysis
  • test data generation
  • specification language
  • source code