Concepedia

Yufeng Zhang

YZ

3

Publications

120

Citations

3

H-Index

2010

Active since

Affiliations

National University of Defense Technology(Current)

Birmingham City University

Yufeng Zhang is an author at National University of Defense Technology specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware TestingSoftware AnalysisSoftware EngineeringFormal MethodsSoftware DesignStatic AnalysisProgram AnalysisAutomated Reasoning

Publications per year

2010–2015

3

Publications

3

Collaborative Testing of Web Services

Hong Zhu, Yufeng Zhang · IEEE Transactions on Services Computing · 2010 · 57 citations

Engineering, Web Service Modeling, System Testing +14

Regular property guided dynamic symbolic execution

Yufeng Zhang, Zhenbang Chen, Ji Wang et al. · International Conference on Software Engineering · 2015 · 32 citations

Engineering, Software Engineering, Symbolic Computation +19

Regular Property Guided Dynamic Symbolic Execution

Yufeng Zhang, Zhenbang Chen, Ji Wang et al. · 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering · 2015 · 31 citations

Engineering, Software Engineering, Symbolic Computation +19

Rows per page

1–3 of 3