Concepedia

Yunhui Zheng

YZ

41

Publications

1.7K

Citations

23

H-Index

2002

Active since

Affiliations

Purdue University West Lafayette(Current)

IBM Research - Thomas J. Watson Research Center

Duke University

IBM (United States)

Nanjing University

Yunhui Zheng is an author at Purdue University West Lafayette specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware TestingSoftware EngineeringFormal VerificationComputer EngineeringFormal MethodsHardware Security

Publications per year

2002–2023

41

Publications

41

Novel polarization-sensitive micropulse lidar measurement technique

Connor Flynn, Albert Mendoza, Yunhui Zheng et al. · Optics Express · 2007 · 207 citations · Full text

Cloud Phase, Photonics, Engineering +12

Z3-str: a z3-based string solver for web application analysis

Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh · 2013 · 194 citations

Z3-based String Solver, Engineering, Software Engineering +17

D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential Analysis

Yunhui Zheng, Saurabh Pujar, Burn Lewis et al. · 2021 · 133 citations

Software Maintenance, D2a Dataset, Engineering +26

Z3str3: A String Solver with Theory-aware Heuristics

Murphy Berzish, Vijay Ganesh, Yunhui Zheng · 2017 · 96 citations

Engineering, Computational Complexity, Software Analysis +22

Automatic Text Input Generation for Mobile Testing

Peng Liu, Xiangyu Zhang, Marco Pistoia et al. · 2017 · 75 citations

Artificial Intelligence, Llm Fine-tuning, Engineering +20

Rows per page

1–5 of 41