Login / Signup

State Merging with Quantifiers in Symbolic Execution.

David TrabishNoam RinetzkySharon ShohamVaibhav Sharma
Published in: ESEC/SIGSOFT FSE (2023)
Keyphrases
  • symbolic execution
  • test generation
  • neural network
  • state space
  • static analysis