Login / Signup

STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic.

Yunshan ZhaoYawen WangYunzhan GongHonghe ChenQing XiaoZhaohong Yang
Published in: APSEC (2011)
Keyphrases
  • defect detection
  • real time
  • logic programming
  • logical framework
  • nonmonotonic logics
  • data mining
  • multi agent
  • precision and recall
  • modal logic
  • inference rules
  • high recall