Multi-type Vulnerability Detection with Staged Feature Fusion and Group Data Balance - Boyang Zheng; Yawen Wang; Dongming Zhu; Yunzhan Gong (36th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2024, Herndon, VA, USA, October 28-30, 2024, 2024)

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

Incremental Reliability Assessment of Large-Scale Software via Theoretical Structure Reduction - Wenjing Liu; Zhiwei Xu; Limin Liu; Yunzhan Gong (Proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, Rome, Italy, July 10-12, 2023, 2023)

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; 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; Dalin Zhang; Yunzhan Gong; Dahai Jin (Inf. Softw. Technol., 2022)

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

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; Dahai Jin; Ying Xing; Yunzhan Gong (J. Syst. Softw., 2020)

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

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)

Nodes Deployment Optimization Algorithm Based on Improved Evidence Theory - Xiaoli Song; Yunzhan Gong; Dahai Jin; Qiangyi Li; Hengchang Jing (Algorithms and Architectures for Parallel Processing - ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings, 2018)

Subsuming mutation operators - Huan Lin; Yawen Wang; Yunzhan Gong (Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, 2018)

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)

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)

A hybrid static analysis refinement approach within internetware environment - Dalin Zhang; Gang Yin; Dahai Jin; Yunzhan Gong; Tianshuang Wu; Hailong Zhang (Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware 2015, Wuhan, China, November 6, 2015, 2015)

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 method of function modeling in accurate stub generation - Chi Yao; Yawen Wang; Feng Li; Yunzhan Gong (2nd International Conference on Systems and Informatics, ICSAI 2014, 15-17 November 2014, Wistaria Hotel, Shanghai, China, 2014)

A Memory Model Based on Three-Valued Matrix for Static Defect Detection - Qian Wang; Dahai Jin; Yunzhan Gong (25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014, 2014)

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

Static Testing as a Service on Cloud - Siqin Chen; Junfei Huang; Yunzhan Gong (27th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2013, Barcelona, Spain, March 25-28, 2013, 2013)

Diagnosis-Oriented Alarm Correlations - Dalin Zhang; Dahai Jin; Yunzhan Gong; Hailong Zhang (20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1, 2013)

Null Dereference Detection via a Backward Analysis - Qian Wang; Dahai Jin; Yunzhan Gong (20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1, 2013)

Automatically mining similar warnings and warning combinations - Dalin Zhang; Dahai Jin; Ying Xing; Hailong Zhang; Yunzhan Gong (10th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2013, Shenyang, China, July 23-25, 2013, 2013)

Improving the accuracy of static analysis based on state partition - Dalin Zhang; Hailong Zhang; Dahai Jin; Yunzhan Gong (IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings, 2013)

An Approach to Fully Recognizing Addressable Expression - Yukun Dong; Ying Xing; Dahai Jin; Yunzhan Gong; Kai Liu (2013 13th International Conference on Quality Software, Najing, China, July 29-30, 2013, 2013)

Automatically Mining High Level Patterns of Software Faults within Methods - Hailong Zhang; Dalin Zhang; Dahai Jin; Yunzhan Gong; Chengcheng Wang (2013 13th International Conference on Quality Software, Najing, China, July 29-30, 2013, 2013)

Memory Modeling-Based Automatic Test Data Generation for String-Manipulating Programs - Feiyu Li; Yunzhan Gong (19th Asia-Pacific Software Engineering Conference - Workshops, APSEC 2012, Hong Kong, China, December 4-7, 2012, 2012)

An Interval-Based Model for Detecting Software Defect Using Alias Analysis - Hongbo Zhou; Dahai Jin; Yunzhan Gong (19th Asia-Pacific Software Engineering Conference - Workshops, APSEC 2012, Hong Kong, China, December 4-7, 2012, 2012)

A Static Detecting Model for Invalid Arithmetic Operation Based on Alias Analysis - Hongbo Zhou; Qian Wang; Dahai Jin; Yunzhan Gong (23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012, 2012)

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 (18th Asia Pacific Software Engineering Conference, APSEC 2011, Ho Chi Minh, Vietnam, December 5-8, 2011, 2011)

Design of intelligent agents for collaborative testing of service-based systems - Xiaoying Bai; Bin Chen; Bo Ma; Yunzhan Gong (Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011, 2011)

Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model - Yunshan Zhao; Yunzhan Gong; Li Liu; Qing Xiao; Zhaohong Yang (Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011, 2011)

Defect Analysis Respecting Dead Path Elimination in BPEL Process - Xuehong Yang; Junfei Huang; Yunzhan Gong (5th IEEE Asia-Pacific Services Computing Conference, APSCC 2010, 6-10 December 2010, Hangzhou, China, Proceedings, 2010)

An Application of Interval Analysis in Software Static Analysis - Yawen Wang; Yunzhan Gong; Junliang Chen; Qing Xiao; Zhaohong Yang (2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume II: Workshops, 2008)

DTS - A Software Defects Testing System - Zhaohong Yang; Yunzhan Gong; Qing Xiao; Yawen Wang (Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 28-29 September 2008, Beijing, China, 2008)

A State Machine for Detecting C/C++ Memory Faults - Guangyan Huang; Guangmei Zhang; Xiaowei Li; Yunzhan Gong (14th Asian Test Symposium (ATS 2005), 18-21 December 2005, Calcutta, India, 2005)

An Expression's Single Fault Model and the Testing Methods - Yunzhan Gong; Wanli Xu; Xiaowei Li (12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, 2003)

An Object-Oriented Program Automatic Execute Model and the Research of Algorithm - Dahai Jin; Yunzhan Gong (12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, 2003)

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