 | 2011 |
|---|
| 7 |       | Yunshan Zhao,
Yawen Wang,
Yunzhan Gong,
Honghe Chen,
Qing Xiao,
Zhaohong Yang:
STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic.
APSEC 2011: 179-186 |
| 6 | | Yunshan Zhao,
Yunzhan Gong,
Li Liu,
Qing Xiao,
Zhaohong Yang:
Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model.
QSIC 2011: 51-60 |
| 2010 |
|---|
| 5 | | Xuehong Yang,
Junfei Huang,
Yunzhan Gong:
Defect Analysis Respecting Dead Path Elimination in BPEL Process.
APSCC 2010: 315-321 |
| 2008 |
|---|
| 4 | | Yawen Wang,
Yunzhan Gong,
Junliang Chen,
Qing Xiao,
Zhaohong Yang:
An Application of Interval Analysis in Software Static Analysis.
EUC (2) 2008: 367-372 |
| 2005 |
|---|
| 3 | | Guangyan Huang,
Guangmei Zhang,
Xiaowei Li,
Yunzhan Gong:
A State Machine for Detecting C/C++ Memory Faults.
Asian Test Symposium 2005: 82-87 |
| 2003 |
|---|
| 2 | | Yunzhan Gong,
Wanli Xu,
Xiaowei Li:
An Expression's Single Fault Model and the Testing Methods.
Asian Test Symposium 2003: 110-115 |
| 1993 |
|---|
| 1 | | Yunzhan Gong,
Daozheng Wei:
Deductive fault simulation algorithm based on fault collapsing.
J. Comput. Sci. Technol. 8(2): 182-187 (1993) |
Data released under the ODC-BY 1.0 license — See also our legal information page