Sign in

Past-sensitive pointer analysis for symbolic execution.

David TrabishTimotej KapusNoam RinetzkyCristian Cadar
Published in: ESEC/SIGSOFT FSE (2020)
Keyphrases
  • database
  • data sets
  • databases
  • genetic algorithm
  • artificial intelligence
  • database systems
  • object oriented
  • symbolic execution