Concepedia

Linzhang Wang

LW

43

Publications

1.2K

Citations

21

H-Index

2006

Active since

Affiliations

Nanjing University(Current)

Hong Kong Polytechnic University

Nanjing University of Science and Technology

University of California, Davis

University of Pittsburgh

Linzhang Wang is an author at Nanjing University specializing in engineering, software engineering, and software testing.

Top concepts

EngineeringComputer ScienceSoftware EngineeringProgram AnalysisComputer EngineeringSoftware TestingSoftware AnalysisSystems EngineeringFormal VerificationFormal Methods

Publications per year

2006–2022

43

Publications

43

Steering symbolic execution to less traveled paths

You Li, Zhendong Su, Linzhang Wang et al. · 2013 · 91 citations

Engineering, Verification, Test Data Generation +21

Learning semantic program embeddings with graph interval neural network

Yu Wang, Ke Wang, Fengjuan Gao et al. · Proceedings of the ACM on Programming Languages · 2020 · 61 citations · Full text

Engineering, Machine Learning, Semantic Web +18

An Automated Test Generation Technique for Software Quality Assurance

Dianxiang Xu, Weifeng Xu, Lijo Thomas et al. · IEEE Transactions on Reliability · 2014 · 54 citations

Software Maintenance, Engineering, Verification +22

Leveraging design rules to improve software architecture recovery

Yuanfang Cai, Hanfei Wang, Sunny Wong et al. · 2013 · 53 citations

Software Maintenance, Cluster Computing, Engineering +21

BACH : Bounded ReAchability CHecker for Linear Hybrid Automata

Lei Bu, You Li, Linzhang Wang et al. · 2008 · 53 citations

Engineering, Reachability Problem, Verification +16

Rows per page

1–5 of 43