- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c9 |      | Feiyu Li, Yunzhan Gong: Memory Modeling-Based Automatic Test Data Generation for String-Manipulating Programs. APSEC Workshops 2012: 95-104 |
| c8 | | Hongbo Zhou, Dahai Jin, Yunzhan Gong: An Interval-Based Model for Detecting Software Defect Using Alias Analysis. APSEC Workshops 2012: 136-144 |
| c7 | | Hongbo Zhou, Qian Wang, Dahai Jin, Yunzhan Gong: A Static Detecting Model for Invalid Arithmetic Operation Based on Alias Analysis. ISSRE Workshops 2012: 183-188 |
| 2011 | ||
| c6 | | 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 |
| c5 | | 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 | ||
| c4 | | Xuehong Yang, Junfei Huang, Yunzhan Gong: Defect Analysis Respecting Dead Path Elimination in BPEL Process. APSCC 2010: 315-321 |
| 2008 | ||
| c3 | | 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 | ||
| c2 | | Guangyan Huang, Guangmei Zhang, Xiaowei Li, Yunzhan Gong: A State Machine for Detecting C/C++ Memory Faults. Asian Test Symposium 2005: 82-87 |
| 2003 | ||
| c1 | | Yunzhan Gong, Wanli Xu, Xiaowei Li: An Expression's Single Fault Model and the Testing Methods. Asian Test Symposium 2003: 110-115 |
| 1993 | ||
| j1 | | Yunzhan Gong, Daozheng Wei: Deductive fault simulation algorithm based on fault collapsing. J. Comput. Sci. Technol. 8(2): 182-187 (1993) |
Colors in the list of coauthors
Last update Fri May 24 04:12:27 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page