Linzhang Wang

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 59

Top Venues

Internetware

CoRR

Proc. ACM Program. Lang.

J. Comput. Sci. Technol.

Publications

Shaoheng Cao, Minxue Pan, Yu Pei, Wenhua Yang, Tian Zhang, Linzhang Wang, Xuandong Li
Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications. ICSE (2024)
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, Linzhang Wang
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Zhengjie Du, Yuekang Li, Yaowen Zheng, Xiaohan Zhang, Cen Zhang, Yi Liu, Sheikh Mahbub Habib, Xinghua Li, Linzhang Wang, Yang Liu, Bing Mao
Medusa: Unveil Memory Exhaustion DoS Vulnerabilities in Protocol Implementations. WWW (2024)
Haiyang Wei, Zhengjie Du, Haohui Huang, Yue Liu, Guang Cheng, Linzhang Wang, Bing Mao
Inferring State Machine from the Protocol Implementation via Large Langeuage Model. CoRR (2024)
Yulu Cao, Zhifei Chen, Xiaowei Zhang, Yanhui Li, Lin Chen, Linzhang Wang
Diagnosis of package installation incompatibility via knowledge base. Sci. Comput. Program. 235 (2024)
Chi Zhang, Linzhang Wang, Manuel Rigger
Finding Cross-Rule Optimization Bugs in Datalog Engines. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li
Empirically revisiting and enhancing automatic classification of bug and non-bug issues. Frontiers Comput. Sci. 18 (5) (2024)
Chi Zhang, Linzhang Wang, Manuel Rigger
Finding Cross-rule Optimization Bugs in Datalog Engines. CoRR (2024)
Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Xuandong Li, Peng Liu, Jin Shi
Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware. IEEE Internet Things J. 10 (23) (2023)
Yulu Cao, Lin Chen, Wanwangying Ma, Yanhui Li, Yuming Zhou, Linzhang Wang
Towards Better Dependency Management: A First Look at Dependency Smells in Python Projects. IEEE Trans. Software Eng. 49 (4) (2023)
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Ke Wang, Jianhua Zhao, Xuandong Li
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software. CoRR (2023)
Yu Wang, Ke Wang, Linzhang Wang
An Explanation Method for Models of Code. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Chengbin Pang, Tiantai Zhang, Xuelan Xu, Linzhang Wang, Bing Mao
OCFI: Make Function Entry Identification Hard Again. ISSTA (2023)
Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li
Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets. ASE (2022)
Zhengmin Li, Enyi Tang, Xin Chen, Linzhang Wang, Xuandong Li
Graph Neural Network based Two-Phase Fault Localization Approach. Internetware (2022)
Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li
DeepLabel: Automated Issue Classification for Issue Tracking Systems. Internetware (2022)
Shangyu Xing, Junjie Zhou, Fukang Zhu, Xiaowen Yang, Yu Wang, Linzhang Wang
Detecting Defects in Deep Learning Systems: a Survey. Internetware (2022)
Chi Zhang, Yu Wang, Linzhang Wang
Infrared: A Meta Bug Detector. CoRR (2022)
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software. IEEE Trans. Software Eng. 48 (2) (2022)
Xingwei Sun, Chenbin Cao, Qinglong Li, Linzhang Wang, Fei Xiang
Explore Relative and Context Information with Transformer for Joint Acoustic Echo Cancellation and Speech Enhancement. ICASSP (2022)
Jincheng He, Yuanyuan Bao, Na Xu, Hongfeng Li, Shicong Li, Linzhang Wang, Fei Xiang, Ming Li
Single-Channel Target Speaker Separation Using Joint Training with Target Speaker's Pitch Information. Odyssey (2022)
Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry Xu
Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan. ACM Trans. Comput. Syst. 38 (1-2) (2021)
Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis. Int. J. Softw. Informatics 11 (2) (2021)
Yu Wang, Fengjuan Gao, Linzhang Wang
Demystifying Code Summarization Models. CoRR (2021)
Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang
Deep Learning-Based Hybrid Fuzz Testing. Int. J. Softw. Informatics 11 (3) (2021)
Lingyun Situ, Zhiqiang Zuo, Le Guan, Linzhang Wang, Xuandong Li, Jin Shi, Peng Liu
Vulnerable Region-Aware Greybox Fuzzing. J. Comput. Sci. Technol. 36 (5) (2021)
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace. PLDI (2021)
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. PLDI (2021)
Rong Gu, Zhiqiang Zuo, Xi Jiang, Han Yin, Zhaokang Wang, Linzhang Wang, Xuandong Li, Yihua Huang
Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation. IEEE Trans. Parallel Distributed Syst. 32 (4) (2021)
Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang
Learning semantic program embeddings with graph interval neural network. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang
Learning Semantic Program Embeddings with Graph Interval Neural Network. CoRR (2020)
Chi Zhang, Yu Wang, Linzhang Wang
Firmware Fuzzing: The State of the Art. Internetware (2020)
Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li
Automatic Buffer Overflow Warning Validation. J. Comput. Sci. Technol. 35 (6) (2020)
Anxiang Xiao, Enyi Tang, Xin Chen, Linzhang Wang
Accelerating Accuracy Improvement for Floating Point Programs via Memory Based Pruning. Internetware (2020)
Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li
Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. DATE (2020)
Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, Xuandong Li
Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code. EuroSys (2019)
Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li
Automatic Detection and Repair Recommendation for Missing Checks. J. Comput. Sci. Technol. 34 (5) (2019)
Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li
Global optimization of numerical programs via prioritized stochastic algebraic transformations. ICSE (2019)
Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang
Learning a Static Bug Finder from Data. CoRR (2019)
Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu
Energy distribution matters in greybox fuzzing. ICSE (Companion Volume) (2019)
Zhiqiang Zuo, Rong Gu, Xi Jiang, Zhaokang Wang, Yihua Huang, Linzhang Wang, Xuandong Li
BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud. IPDPS (2019)
Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li
Detecting missing checks for identifying insufficient attack protections. ICSE (Companion Volume) (2018)
Nana Chang, Linzhang Wang, Yu Pei, Subrota K. Mondal, Xuandong Li
Change-Based Test Script Maintenance for Android Apps. QRS (2018)
Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li
Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities. Internetware (2018)
Lei Bu, Tian Zhang, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li
Model-based Construction and Verification of Cyber-Physical Systems. ACM SIGSOFT Softw. Eng. Notes 43 (3) (2018)
Xiao Li, Nana Chang, Yan Wang, Haohua Huang, Yu Pei, Linzhang Wang, Xuandong Li
ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications. ICST (2017)
Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
Automatic detection and validation of race conditions in interrupt-driven embedded software. ISSTA (2017)
Fengjuan Gao, Linzhang Wang, Xuandong Li
BovInspector: automatic inspection and repair of buffer overflow vulnerabilities. ASE (2016)
Tao Ye, Lingming Zhang, Linzhang Wang, Xuandong Li
An Empirical Study on Detecting and Fixing Buffer Overflow Bugs. ICST (2016)
Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li
ACSPChecker: an ASP based CSP model checking tool. Internetware (2016)
Fengjuan Gao, Tianjiao Chen, Yu Wang, Lingyun Situ, Linzhang Wang, Xuandong Li
Carraybound: static array bounds checking in C programs based on taint analysis. Internetware (2016)
Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao
Optimizing deterministic garbage collection in NAND flash storage systems. RTAS (2015)
Dianxiang Xu, Weifeng Xu, Michael Kent, Lijo Thomas, Linzhang Wang
An Automated Test Generation Technique for Software Quality Assurance. IEEE Trans. Reliab. 64 (1) (2015)
Jiaxu Sun, Yongchao Li, Linzhang Wang, Xuandong Li, Xiaoxiao Ma, Jing Xu, Guanling Chen
Controlling Smart TVs Using Touch Gestures on Mobile Devices. UIC/ATC/ScalCom (2015)
Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao
Lazy-RTGC: A Real-Time Lazy Garbage Collection Mechanism with Jointly Optimizing Average and Worst Performance for NAND Flash Memory Storage Systems. ACM Trans. Design Autom. Electr. Syst. 20 (3) (2015)
Rujia Wang, Lei Jiang, Youtao Zhang, Linzhang Wang, Jun Yang
Selective restore: an energy efficient read disturbance mitigation scheme for future STT-MRAM. DAC (2015)
Rujia Wang, Lei Jiang, Youtao Zhang, Linzhang Wang, Jun Yang
Exploit imbalanced cell writes to mitigate write disturbance in dense phase change memory. DAC (2015)
Yu Wang, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li
Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation. Internetware (2015)
Yan Zhou, You Li, Linzhang Wang, Xuandong Li
nCov: A Tool for Measuring Length-n Subpath Coverage. Internetware (2015)
Yongchao Li, You Li, Linzhang Wang, Guanling Chen
Automatic XACML requests generation for testing access control policies. SEKE (2014)
Xiaoli Zhou, Linzhang Wang, Xuandong Li, Jianhua Zhao
An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability. SEKE (2014)
Jing Xu, Xiang Ding, Guanling Chen, Jill L. Drury, Linzhang Wang, Xuandong Li
A New Method for Automated GUI Modeling of Mobile Applications. MobiQuitous (2013)
Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li
Verifying Aspect-Oriented Models against Crosscutting Properties. Int. J. Softw. Eng. Knowl. Eng. 23 (5) (2013)
Mengchen Li, Yuanjun Chen, Linzhang Wang, Guoqing Xu
Dynamically validating static memory leak warnings. ISSTA (2013)
Chunhui Zhang, Ke Huang, Guanling Chen, Linzhang Wang
MVPTrack: Energy-Efficient Places and Motion States Tracking. MobiQuitous (2013)
Jiantao He, Linzhang Wang, Jianhua Zhao
Supporting Automatic Code Review via Design. SERE (Companion) (2013)
Lei Yu, Xiucun Tang, Linzhang Wang, Xuandong Li
Simulating software behavior based on UML activity diagram. Internetware (2013)
Xiaoxiao Ma, Bo Yan, Guanling Chen, Chunhui Zhang, Ke Huang, Jill L. Drury, Linzhang Wang
Design and Implementation of a Toolkit for Usability Testing of Mobile Apps. Mob. Networks Appl. 18 (1) (2013)
Yuanfang Cai, Hanfei Wang, Sunny Wong, Linzhang Wang
Leveraging design rules to improve software architecture recovery. QoSA (2013)
You Li, Zhendong Su, Linzhang Wang, Xuandong Li
Steering symbolic execution to less traveled paths. OOPSLA (2013)
Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao
Data-assemblage: a translation-page-aware data block allocation strategy for flash-based solid state drives. Des. Autom. Embed. Syst. 17 (3-4) (2013)
Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao
Optimizing translation information management in NAND flash memory storage systems. ASP-DAC (2013)
Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li
Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. ICCPS (2012)
Yuankui Li, Linzhang Wang
Specifying and Detecting Behavioral Changes in Source Code Using Abstract Syntax Tree Differencing. ISCTCS (2012)
Fengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li
Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata. ICCPS (2012)
Dianxiang Xu, Omar el Ariss, Weifeng Xu, Linzhang Wang
Testing aspect-oriented programs with finite state machines. Softw. Test. Verification Reliab. 22 (4) (2012)
Enyi Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li
Time-leverage point detection for time sensitive software maintenance. ICSM (2012)
Qing Xu, Yu Pei, Linzhang Wang
An Evaluation Framework of Coverage-Based Fault Localization for Object-Oriented Programs. ISCTCS (2012)
Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao
Timing analysis of scenario-based specifications using linear programming. Softw. Test. Verification Reliab. 22 (2) (2012)
Yuankui Li, Linzhang Wang, Xuandong Li, Yuanfang Cai
Detecting source code changes to maintain the consistence of behavioral model. Internetware (2012)
Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li
Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. SEKE (2012)
Lei Bu, Xin Chen, Linzhang Wang, Xuandong Li
Online Verification of Control Parameter Calculations in Communication Based Train Control System CoRR (2011)
Xuandong Li, Xiaokang Qiu, Linzhang Wang, Xin Chen, Zhou Zhou, Liqian Yu, Jinhua Zhao
UML interaction model-driven runtime verification of Java programs. IET Softw. 5 (2) (2011)
Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. SIGBED Rev. 8 (2) (2011)
Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li
Enabling multi-core based monitoring and fault tolerance in C++/Java. IWMSE@ICSE (2010)
Lin Tan, Lei Bu, Jianhua Zhao, Linzhang Wang
Analyzing the robustness of FTSP with timed automata. Internetware (2010)
Yuting Chen, Shaoying Liu, Linzhang Wang
An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems. QSIC (2010)
Youtao Zhang, Jun Yang, Weijia Li, Linzhang Wang, Lingling Jin
An authentication scheme for locating compromised sensor nodes in WSNs. J. Netw. Comput. Appl. 33 (1) (2010)
You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li
Extending Ada to support multi-core based monitoring and fault tolerance. SIGAda (2010)
Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li
BACH 2 : Bounded reachability checker for compositional linear hybrid systems. DATE (2010)
Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li
McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. ICECCS (2010)
Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs. Comput. J. 52 (5) (2009)
Zhanqi Cui, Linzhang Wang, Huigen Liu, Xuandong Li
Computational error handling as aspects: a case study. PLATE@AOSD (2009)
Zhixiong Han, Linzhang Wang, Liqian Yu, Xin Chen, Jianhua Zhao, Xuandong Li
Design pattern directed clustering for understanding open source code. ICPC (2009)
Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu
Modeling and integrating aspects with UML activity diagrams. SAC (2009)
Bin Lei, Linzhang Wang, Xuandong Li
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. ICST (2008)
Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong
UML state machine diagram driven runtime verification of Java programs for message interaction consistency. SAC (2008)
Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao
Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. HASE (2008)
Lei Bu, You Li, Linzhang Wang, Xuandong Li
BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. FMCAD (2008)
Jianhua Zhao, Linzhang Wang, Xuandong Li
A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA (2008)

Linzhang Wang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Linzhang Wang