Login / Signup

Safely reducing the cost of unit level symbolic execution through read/write analysis.

Eric F. RizziMatthew B. DwyerSebastian G. Elbaum
Published in: ACM SIGSOFT Softw. Eng. Notes (2014)
Keyphrases
  • read write
  • static analysis
  • symbolic execution
  • artificial intelligence
  • case study
  • software development
  • databases