Login / Signup

IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions.

Hao SunXiangyu ZhangYunhui ZhengQingkai Zeng
Published in: ICSE (2016)
Keyphrases
  • real time
  • combining multiple
  • database
  • data sets
  • databases
  • breast cancer