Login / Signup

Learning to Explore Paths for Symbolic Execution.

Jingxuan HeGishor SivanrupanPetar TsankovMartin T. Vechev
Published in: CCS (2021)
Keyphrases
  • database
  • knowledge management
  • software systems
  • domain independent
  • symbolic execution