An Application of Interval Analysis in Software Static Analysis. - Yawen Wang; Yunzhan Gong; Junliang Chen; Qing Xiao; Zhaohong Yang (EUC (2), 2008)

DTS - A Software Defects Testing System. - Zhaohong Yang; Yunzhan Gong; Qing Xiao; Yawen Wang (SCAM, 2008)

Modal analysis of Francis turbine blade based on fluid-structure interaction theorem. - Lixia Zhang; Wei Zhang; Zhaohong Yang (Int. J. Model. Identif. Control., 2010)

STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic. - Yunshan Zhao; Yawen Wang; Yunzhan Gong; Honghe Chen; Qing Xiao; Zhaohong Yang (APSEC, 2011)

Research on security testing of information system based on interface communication. - Haiyan Liu; Yuwen Cheng; Zhaohong Yang; Zhanjun Zhang (EMEIT, 2011)

Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model. - Yunshan Zhao; Yunzhan Gong; Li Liu; Qing Xiao; Zhaohong Yang (QSIC, 2011)

Multi-scale orthogonal basis method for nonlinear fractional equations with fractional integral boundary value conditions. - Wei Jiang 012; Zhong Chen; Ning Hu; Haiyang Song; Zhaohong Yang (Appl. Math. Comput., 2020)