Concepedia

Jian Zhang

JZ

18

Publications

725

Citations

13

H-Index

2001

Active since

Affiliations

Institute of Software(Current)

Chinese Academy of Sciences

University of Chinese Academy of Sciences

University of Science and Technology of China

Beijing University of Posts and Telecommunications

Jian Zhang is an author at Institute of Software specializing in computer science, engineering, and software testing.

Top concepts

EngineeringComputer ScienceSoftware TestingProgram AnalysisSoftware AnalysisComputer EngineeringFormal MethodsSoftware EngineeringFormal VerificationVerification

Publications per year

2001–2023

18

Publications

18

Fuzzing: State of the Art

Hongliang Liang, Xiaoxiao Pei, Xiaodong Jia et al. · IEEE Transactions on Reliability · 2018 · 215 citations

Software Maintenance, Software Bugs, Engineering +15

BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach

Jun Yan, Zhongjie Li, Yuan Yuan et al. · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · 2006 · 85 citations

Engineering, Verification, Test Data Generation +20

A CONSTRAINT SOLVER AND ITS APPLICATION TO PATH FEASIBILITY ANALYSIS

Jian Zhang, Xiaoxu Wang · International Journal of Software Engineering and Knowledge Engineering · 2001 · 80 citations

Mathematical Programming, Program Checking, Engineering +25

A backtracking search tool for constructing combinatorial test suites

Jun Yan, Jian Zhang · Journal of Systems and Software · 2008 · 54 citations

Engineering, Program Analysis, Software Testing +9

Path-oriented test data generation using symbolic execution and constraint solving techniques

Jian Zhang, Xu Chen, Xiaoliang Wang · Software Engineering and Formal Methods · 2004 · 51 citations

Path Conditions, Implemented Toolkit, Engineering +21

Rows per page

1–5 of 18