Linzhang Wang

Steering symbolic execution to less traveled paths

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

Computing, Computer Science, Algorithms +15

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

Computing, Computer Science, Machine Learning +10

An Automated Test Generation Technique for Software Quality Assurance

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

Computing, Computer Engineering, Computer Science +16

A Threat Model Driven Approach for Security Testing

Linzhang Wang, Eric W. M. Wong, Dianxiang Xu · 2007 · 54 citations

Computing, Computer Engineering, Computer Science +17

Leveraging design rules to improve software architecture recovery

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

Computing, Computer Science, Computer Architecture +8