Login / Signup

Zero-overhead path prediction with progressive symbolic execution.

Richard RutledgeSunjae ParkHaider Adnan KhanAlessandro OrsoMilos PrvulovicAlenka G. Zajic
Published in: ICSE (2019)
Keyphrases
  • symbolic execution
  • test data generation
  • test generation
  • static analysis
  • source code
  • specification language
  • query language