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

Author(s):  
Yunshan Zhao ◽  
Yawen Wang ◽  
Yunzhan Gong ◽  
Honghe Chen ◽  
Qing Xiao ◽  
...  
Keyword(s):  



2017 ◽  
Vol 19 (6) ◽  
pp. 38
Author(s):  
Chengchao Guo ◽  
Pengfei Xu ◽  
Can Cui


2011 ◽  
Vol 131 (9) ◽  
pp. 1633-1641
Author(s):  
Toshifumi Honda ◽  
Kenji Obara ◽  
Minoru Harada ◽  
Hajime Igarashi


Author(s):  
Yao Yang ◽  
Yuanjiang Hu ◽  
Lingling Chen ◽  
Xiaoman Liu ◽  
Na Qin ◽  
...  


Author(s):  
Vaddin Prathiba ◽  
◽  
M Nagendra ◽  
M Hanumantappa ◽  
◽  
...  


2014 ◽  
Vol 68 (3) ◽  
pp. 311-313
Author(s):  
Jason Zyglis ◽  
Wayne Killmer ◽  
Atsushi Kurosaki




Sign in / Sign up

Export Citation Format

Share Document