Software validation via scalable path-sensitive value flow analysis

Author(s):  
Nurit Dor ◽  
Stephen Adams ◽  
Manuvir Das ◽  
Zhe Yang
2004 ◽  
Vol 29 (4) ◽  
pp. 12-22 ◽  
Author(s):  
Nurit Dor ◽  
Stephen Adams ◽  
Manuvir Das ◽  
Zhe Yang

2014 ◽  
Vol 40 (2) ◽  
pp. 107-122 ◽  
Author(s):  
Yulei Sui ◽  
Ding Ye ◽  
Jingling Xue

2016 ◽  
Vol 2016 (1) ◽  
pp. 11624
Author(s):  
Brent D Beal ◽  
Roger N Conaway ◽  
Marina N Astakhova ◽  
Oliver Laasch

2018 ◽  
Vol 34 (2) ◽  
pp. 807-818 ◽  
Author(s):  
Zhifang Zhou ◽  
Yanfei Cai ◽  
Yixuan Xiao ◽  
Xiaohong Chen ◽  
Huixiang Zeng

2019 ◽  
Vol 213 ◽  
pp. 577-587 ◽  
Author(s):  
Zhen Li ◽  
Huixiang Zeng ◽  
Xu Xiao ◽  
Jin Cao ◽  
Chaoji Yang ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document