Deductive fault simulation algorithm based on fault collapsing. - Yunzhan Gong; Daozheng Wei (J. Comput. Sci. Technol., 1993)

An Expression's Single Fault Model and the Testing Methods. - Yunzhan Gong; Wanli Xu; Xiaowei Li 001 (Asian Test Symposium, 2003)

An Object-Oriented Program Automatic Execute Model and the Research of Algorithm. - Dahai Jin; Yunzhan Gong (Asian Test Symposium, 2003)

A State Machine for Detecting C/C++ Memory Faults. - Guangyan Huang; Guangmei Zhang; Xiaowei Li 001; Yunzhan Gong (Asian Test Symposium, 2005)

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)

Defect Analysis Respecting Dead Path Elimination in BPEL Process. - Xuehong Yang; Junfei Huang; Yunzhan Gong (APSCC, 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)

Design of intelligent agents for collaborative testing of service-based systems. - Xiaoying Bai; Bin Chen; Bo Ma; Yunzhan Gong (AST, 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)

Memory Modeling-Based Automatic Test Data Generation for String-Manipulating Programs. - Feiyu Li; Yunzhan Gong (APSEC Workshops, 2012)

An Interval-Based Model for Detecting Software Defect Using Alias Analysis. - Hongbo Zhou 003; Dahai Jin; Yunzhan Gong (APSEC Workshops, 2012)

A Static Detecting Model for Invalid Arithmetic Operation Based on Alias Analysis. - Hongbo Zhou 003; Qian Wang; Dahai Jin; Yunzhan Gong (ISSRE Workshops, 2012)

Static Testing as a Service on Cloud. - Siqin Chen; Junfei Huang; Yunzhan Gong (AINA Workshops, 2013)

Null Dereference Detection via a Backward Analysis. - Qian Wang; Dahai Jin; Yunzhan Gong (APSEC (1), 2013)

Diagnosis-Oriented Alarm Correlations. - Dalin Zhang 003; Dahai Jin; Yunzhan Gong; Hailong Zhang 006 (APSEC (1), 2013)

Automatically mining similar warnings and warning combinations. - Dalin Zhang 003; Dahai Jin; Ying Xing; Hailong Zhang 006; Yunzhan Gong (FSKD, 2013)

Improving the accuracy of static analysis based on state partition. - Dalin Zhang 003; Hailong Zhang 006; Dahai Jin; Yunzhan Gong (ISSRE (Supplemental Proceedings), 2013)

An Approach to Fully Recognizing Addressable Expression. - Yukun Dong; Ying Xing; Dahai Jin; Yunzhan Gong; Kai Liu (QSIC, 2013)

Automatically Mining High Level Patterns of Software Faults within Methods. - Hailong Zhang 006; Dalin Zhang 003; Dahai Jin; Yunzhan Gong; Chengcheng Wang (QSIC, 2013)

Detecting Null-dereference Bugs via a Backward Analysis. - Qian Wang; Dahai Jin; Yunzhan Gong; Hongbo Zhou 003 (J. Softw., 2013)

A method of function modeling in accurate stub generation. - Chi Yao; Yawen Wang; Feng Li; Yunzhan Gong (ICSAI, 2014)

A Memory Model Based on Three-Valued Matrix for Static Defect Detection. - Qian Wang; Dahai Jin; Yunzhan Gong (ISSRE Workshops, 2014)

Optimized Branch and Bound for Path-wise Test Data Generation. - Yawen Wang; Ying Xing; Yunzhan Gong; Xuzhou Zhang (Int. J. Comput. Commun. Control, 2014)

Symbolic Procedure Summary Using Region-based Symbolic Three-valued Logic. - Yukun Dong; Dahai Jin; Yunzhan Gong (J. Comput., 2014)

An Intelligent Method Based on State Space Search for Automatic Test Case Generation. - Ying Xing; Junfei Huang; Yunzhan Gong; Yawen Wang; Xuzhou Zhang (J. Softw., 2014)

A hybrid static analysis refinement approach within internetware environment. - Dalin Zhang 003; Gang Yin; Dahai Jin; Yunzhan Gong; Tianshuang Wu; Hailong Zhang 006 (Internetware, 2015)

The application of iterative interval arithmetic in path-wise test data generation. - Ying Xing; Yunzhan Gong; Yawen Wang; Xuzhou Zhang (Eng. Appl. Artif. Intell., 2015)

Using k-Mix-Neighborhood Subdigraphs to Compute Canonical Labelings of Digraphs. - Jianqiang Hao; Yunzhan Gong; Yawen Wang; Li Tan; Jianzhi Sun (Entropy, 2017)

Coverage Hole Recovery Algorithm Based on Molecule Model in Heterogeneous WSNs. - Xiaoli Song; Yunzhan Gong; Dahai Jin; Qiangyi Li; Hengchang Jing (Int. J. Comput. Commun. Control, 2017)

Heuristic Guided Selective Path Exploration for Loop Structure in Coverage Testing. - Xuzhou Zhang; Yunzhan Gong; Yawen Wang (Int. J. Open Source Softw. Process., 2017)

Automated String Constraints Solving for Programs Containing String Manipulation Functions. - Xuzhou Zhang; Yunzhan Gong; Yawen Wang; Ying Xing; Mingzhe Zhang (J. Comput. Sci. Technol., 2017)

Nodes Deployment Optimization Algorithm Based on Improved Evidence Theory. - Xiaoli Song; Yunzhan Gong; Dahai Jin; Qiangyi Li; Hengchang Jing (ICA3PP (Workshops), 2018)

Subsuming mutation operators. - Huan Lin; Yawen Wang; Yunzhan Gong (ICSE (Companion Volume), 2018)

Domain-RIP Analysis: A Technique for Analyzing Mutation Stubbornness. - Huan Lin; Yawen Wang; Yunzhan Gong; Dahai Jin (IEEE Access, 2019)

Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns. - Honglei Zhu; Dahai Jin; Yunzhan Gong; Ying Xing; Mingnan Zhou (IEEE Access, 2019)

Unit Test Data Generation for C Using Rule-Directed Symbolic Execution. - Mingzhe Zhang; Yunzhan Gong; Yawen Wang; Dahai Jin (J. Comput. Sci. Technol., 2019)

Nodes deployment optimization algorithm based on improved evidence theory of underwater wireless sensor networks. - Xiaoli Song; Yunzhan Gong; Dahai Jin; Qiangyi Li (Photonic Netw. Commun., 2019)

Web service composition on IoT reliability test based on cross entropy. - Yang Song; Yunzhan Gong (Comput. Intell., 2020)

Automated defect identification via path analysis-based features with transfer learning. - Yuwei Zhang 003; Dahai Jin; Ying Xing; Yunzhan Gong (J. Syst. Softw., 2020)

A variable-level automated defect identification model based on machine learning. - Yuwei Zhang 003; Ying Xing; Yunzhan Gong; Dahai Jin; Honghui Li; Feng Liu (Soft Comput., 2020)

Mining constant information for readable test data generation. - Mingzhe Zhang; Yunzhan Gong; Yawen Wang; Dahai Jin (Int. J. Embed. Syst., 2021)

An improving approach to analyzing change impact of C programs. - Peng Dai; Yawen Wang; Dahai Jin; Yunzhan Gong; Wenjin Yang (Comput. Commun., 2022)

Eliminating the high false-positive rate in defect prediction through BayesNet with adjustable weight. - Yanyang Zhao; Yawen Wang; Dalin Zhang 003; Yunzhan Gong (Expert Syst. J. Knowl. Eng., 2022)

Improving Large-Gap Clone Detection Recall Using Multiple Features. - Peng Dai; Qianjin Zhang; Yawen Wang; Dahai Jin; Yunzhan Gong (Int. J. Softw. Eng. Knowl. Eng., 2022)

ST-TLF: Cross-version defect prediction framework based transfer learning. - Yanyang Zhao; Yawen Wang; Yuwei Zhang 003; Dalin Zhang 003; Yunzhan Gong; Dahai Jin (Inf. Softw. Technol., 2022)

Incremental Reliability Assessment of Large-Scale Software via Theoretical Structure Reduction. - Wenjing Liu; Zhiwei Xu; Limin Liu; Yunzhan Gong (ICSOFT, 2023)

Semantic Clone Detection Based on Code Feature Fusion Learning. - Qianjin Zhang; Dahai Jin; Yawen Wang; Yunzhan Gong (Int. J. Softw. Eng. Knowl. Eng., 2023)

Multi-type Vulnerability Detection with Staged Feature Fusion and Group Data Balance. - Boyang Zheng; Yawen Wang; Dongming Zhu; Yunzhan Gong (ICTAI, 2024)