Yunzhan Gong

发表

Defect Analysis Respecting Dead Path Elimination in BPEL Process

Yunzhan Gong, Junfei Huang, Xuehong Yang, 2010, 2010 IEEE Asia-Pacific Services Computing Conference.

Research of alarm correlations based on static defect detection

Yunzhan Gong, Dahai Jin, Dalin Zhang, 2015 .

Improving the accuracy of static analysis based on state partition

Yunzhan Gong, Dahai Jin, Dalin Zhang, 2013, 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

Memory Modeling-Based Automatic Test Data Generation for String-Manipulating Programs

Yunzhan Gong, Feiyu Li, Yunzhan Gong, 2012, 2012 19th Asia-Pacific Software Engineering Conference.

Research on the Construction of Interprocedural Def-Use Relationship

Ying Xing, Yunzhan Gong, Dahai Jin, 2017, 2017 International Conference on Computer Systems, Electronics and Control (ICCSEC).

False positive elimination in suspected code fault automatic confirmation

Yunzhan Gong, Dahai Jin, Honglei Zhu, 2017 .

An Efficient Code-defect Testing Distributed System

Yunzhan Gong, Dahai Jin, Mingnan Zhou, 2019 .

Null Dereference Detection via a Backward Analysis

Yunzhan Gong, Dahai Jin, Qian Wang, 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).

A hybrid static analysis refinement approach within internetware environment

Gang Yin, Yunzhan Gong, Dahai Jin, 2015, Internetware.

Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model

Li Liu, Yunzhan Gong, Qing Xiao, 2011, 2011 11th International Conference on Quality Software.

The application of iterative interval arithmetic in path-wise test data generation

Ying Xing, Yunzhan Gong, Yawen Wang, 2015, Eng. Appl. Artif. Intell..

Nodes Deployment Optimization Algorithm Based on Improved Evidence Theory

Yunzhan Gong, Dahai Jin, Qiangyi Li, 2018, ICA3PP.

A State Machine for Detecting C/C++ Memory Faults

Guangyan Huang, Yunzhan Gong, Xiaowei Li, 2005, 14th Asian Test Symposium (ATS'05).

A Memory Model Based on Three-Valued Matrix for Static Defect Detection

Yunzhan Gong, Dahai Jin, Qian Wang, 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.

Deductive fault simulation algorithm based on fault collapsing

Yunzhan Gong, Daozheng Wei, 2008, Journal of Computer Science and Technology.

STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic

Yunzhan Gong, Qing Xiao, Yunshan Zhao, 2011, 2011 18th Asia-Pacific Software Engineering Conference.

Out-of-bounds array access fault model and automatic testing method study

Yunzhan Gong, Miyi Duan, Chuanping Gao, 2007 .

Domain-RIP Analysis: A Technique for Analyzing Mutation Stubbornness

Yunzhan Gong, Dahai Jin, Huan Lin, 2019, IEEE Access.

An Approach to Fully Recognizing Addressable Expression

Ying Xing, Yunzhan Gong, Dahai Jin, 2013, 2013 13th International Conference on Quality Software.

An Intelligent Method for Test Data Generation Based on Optimized Interval Arithmetic

Yunzhan Gong, Ying Xing, Ya-Wen Wang, 2014 .

Yunzhan Gong, Dahai Jin, Jin Zhang, 2018, 2018 IEEE International Conference on Electronics and Communication Engineering (ICECE).

An Intelligent Method Based on State Space Search for Automatic Test Case Generation

Ying Xing, Yunzhan Gong, Junfei Huang, 2014, J. Softw..

Poster: Subsuming Mutation Operators

Yunzhan Gong, Huan Lin, Yawen Wang, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

Nodes deployment optimization algorithm based on improved evidence theory of underwater wireless sensor networks

Yunzhan Gong, Dahai Jin, Qiangyi Li, 2018, Photonic Network Communications.

An expression's single fault model and the testing methods

Yunzhan Gong, Xiaowei Li, Wanli Xu, 2003, 2003 Test Symposium.

Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns

Ying Xing, Yunzhan Gong, Dahai Jin, 2019, IEEE Access.

Diagnosis-Oriented Alarm Correlations

Yunzhan Gong, Dahai Jin, Dalin Zhang, 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).

Coverage Hole Recovery Algorithm Based on Molecule Model in Heterogeneous WSNs

Yunzhan Gong, Dahai Jin, Qiangyi Li, 2017, Int. J. Comput. Commun. Control.

An Application of Interval Analysis in Software Static Analysis

Yunzhan Gong, Junliang Chen, Qing Xiao, 2008, 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing.

The method of automatic defect warnings classi cation based on trace mining

Yunzhan Gong, Dahai Jin, Dalin Zhang, 2014 .

A Model for Predicting Statement Mutation Scores

Yunzhan Gong, Yawen Wang, Lili Tan, 2019, Mathematics.

An EMF activity tree based BPEL defect pattern testing method

Yunzhan Gong, Junfei Huang, 2010, 2010 2nd International Conference on Computer Engineering and Technology.

Automatically mining similar warnings and warning combinations

Ying Xing, Yunzhan Gong, Dahai Jin, 2013, 2013 10th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD).

Symbolic Procedure Summary Using Region-based Symbolic Three-valued Logic

Yunzhan Gong, Dahai Jin, Yukun Dong, 2014, J. Comput..

Static data flow analysis and anomalies detection for BPEL

Yunzhan Gong, Junfei Huang, Xuehong Yang, 2009, 2009 International Conference on Test and Measurement.

Using k-Mix-Neighborhood Subdigraphs to Compute Canonical Labelings of Digraphs

Yunzhan Gong, Li Tan, Jianqiang Hao, 2017, Entropy.

A Static Detecting Model for Invalid Arithmetic Operation Based on Alias Analysis

Yunzhan Gong, Dahai Jin, Qian Wang, 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops.

Whole Program Paths Generation Method

Yuwei Zhang, Yunzhan Gong, Wei Jia, 2018, 2018 IEEE 9th International Conference on Software Engineering and Service Science (ICSESS).

Path Sensitive Defect Analysis for BPEL Under Dead Path Semantic: Path Sensitive Defect Analysis for BPEL Under Dead Path Semantic

Yunzhan Gong, Junfei Huang, Xuehong Yang, 2012 .

An improved global analysis for program bug checking

Yunzhan Gong, Qing Xiao, Zhaohong Yang, 2009, 2009 International Conference on Test and Measurement.

Poster: Subsuming Mutation Operators

Yunzhan Gong, Huan Lin, Yawen Wang, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

A Translation Mechanism from CPL to Java Code Based on Component Reuse

Yunzhan Gong, Zhaohong Yang, Xin Zou, 2008, 2008 ISECS International Colloquium on Computing, Communication, Control, and Management.

Improving the Efficiency and Accuracy of Path-Sensitive Defect Detecting: Improving the Efficiency and Accuracy of Path-Sensitive Defect Detecting

Yunzhan Gong, Qing Xiao, Li Liu, 2011 .

Static Testing as a Service on Cloud

Yunzhan Gong, Junfei Huang, Siqin Chen, 2013, 2013 27th International Conference on Advanced Information Networking and Applications Workshops.

DTS - A Software Defects Testing System

Yunzhan Gong, Yawen Wang, Zhaohong Yang, 2008, 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation.

Automatically Mining High Level Patterns of Software Faults within Methods

Yunzhan Gong, Dahai Jin, Dalin Zhang, 2013, 2013 13th International Conference on Quality Software.

A AST and context based duplicated code detecting method

Yunzhan Gong, Wei Liu, Chuanchang Liu, 2008 .

Mining constant information for readable test data generation

Yunzhan Gong, Mingzhe Zhang, Yawen Wang, 2021, Int. J. Embed. Syst..

Research on Deadlock Detecting of BPEL Inter-Processes: Research on Deadlock Detecting of BPEL Inter-Processes

Yunzhan Gong, Junfei Huang, Xuehong Yang, 2012 .

Detecting Null-dereference Bugs via a Backward Analysis

Yunzhan Gong, Dahai Jin, Qian Wang, 2013, J. Softw..

A Diversified Feature Extraction Approach for Program Similarity Analysis

Ying Wang, Yunzhan Gong, Dahai Jin, 2019, ICSIM 2019.

An Interval-Based Model for Detecting Software Defect Using Alias Analysis

Yunzhan Gong, Dahai Jin, Hongbo Zhou, 2012, 2012 19th Asia-Pacific Software Engineering Conference.

Design of intelligent agents for collaborative testing of service-based systems

Yunzhan Gong, Bin Chen, Bo Ma, 2011, AST '11.

Optimized Branch and Bound for Path-wise Test Data Generation

Ying Xing, Yunzhan Gong, Ya-Wen Wang, 2014, Int. J. Comput. Commun. Control.

A static analysis method of WSDL related defect pattern in BPEL

Yunzhan Gong, Junfei Huang, Xuehong Yang, 2010, 2010 2nd International Conference on Computer Engineering and Technology.

Path-Sensitive Oracle Data Selection via Static Analysis

Yunzhan Gong, Dahai Jin, Mingzhe Zhang, 2021, Electronics.

An improving approach to analyzing change impact of C programs

Yunzhan Gong, Yawen Wang, Peng Dai, 2022, Comput. Commun..

Branch and bound framework for automatic test case generation

Ying Xing, Yunzhan Gong, Xu-Zhou Zhang, 2014 .

Intelligent test case generation based on branch and bound

Ying Xing, Yunzhan Gong, Xu-Zhou Zhang, 2014 .

LARGE SCALE SOFTWARE TEST DATA GENERATION BASED ON COLLECTIVE CONSTRAINT AND WEIGHTED COMBINATION METHOD

Yunzhan Gong, Jianwei Sui, Dalin Zhang, 2017 .