Linzhang Wang

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