Model Checking UML Statecharts. - Wei Dong 006; Ji Wang 001; Xuan Qi; Zhichang Qi (APSEC, 2001)

Slicing Hierarchical Automata for Model Checking UML Statecharts. - Ji Wang 001; Wei Dong 006; Zhichang Qi (ICFEM, 2002)

Property-Oriented Testing of Real-Time Systems. - Shuhao Li; Ji Wang 001; Wei Dong 006; Zhichang Qi (APSEC, 2004)

Improvements Towards Formalizing UML State Diagrams in CSP. - Wing Lok Yeung; Karl R. P. H. Leung; Ji Wang 001; Wei Dong 006 (APSEC, 2005)

Contract-Based Formal Specification of Safety Critical Systems. - Wei Dong 006; Ji Wang 001 (COMPSAC (2), 2005)

An Interface Theory Based Approach to Verification of Web Services. - Zhenbang Chen; Ji Wang 001; Wei Dong 006; Zhichang Qi; Wing Lok Yeung (COMPSAC (2), 2006)

Verifying Choreographic Descriptions of Web Services Based on CSP. - Wing Lok Yeung; Ji Wang 001; Wei Dong 006 (SCW, 2006)

Towards Formal Interfaces for Web Services with Transactions. - Zhenbang Chen; Ji Wang 001; Wei Dong 006; Zhichang Qi (SITIS, 2006)

Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. - Wing Lok Yeung; Karl R. P. H. Leung; Ji Wang 001; Wei Dong 006 (MSVVEIS, 2006)

A Contract-based Approach to Specifying and Verifying Safety Critical Systems. - Wei Dong 006; Zhenbang Chen; Ji Wang 001 (FESCA@ETAPS, 2006)

An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework. - Mengluo Ji; Huaimin Wang; Mengjun Li; Wei Dong 006; Zhichang Qi (J. Comput. Res. Dev., 2006)

Compositional Verification of UML Dynamic Models. - Wei Dong 006; Ji Wang 001; Zhichang Qi; Ni Rong (APSEC, 2007)

Axiomatizing Extended Temporal Logic Fragments Via Instantiation. - Wanwei Liu; Ji Wang 001; Wei Dong 006; Huowang Chen (ICTAC, 2007)

Shape Analysis by Refining on Abstract Evaluation Path. - Xiaodong Ma; Ji Wang 001; Wei Dong 006 (TTSS, 2007)

Interface theory-based formalisation and verification of orchestration in BPEL4WS. - Zhenbang Chen; Ji Wang 001; Wei Dong 006; Zhichang Qi (Int. J. Bus. Process. Integr. Manag., 2007)

Modelling and model checking suspendible business processes via statechart diagrams and CSP. - Wing Lok Yeung; Karl R. P. H. Leung; Ji Wang 001; Wei Dong 006 (Sci. Comput. Program., 2007)

Impartial Anticipation in Runtime-Verification. - Wei Dong 006; Martin Leucker; Christian Schallhart (ATVA, 2008)

Automating Software FMEA via Formal Analysis of Dependence Relations. - Wei Dong 006; Ji Wang 001; Changzhi Zhao; Xian Zhang; Jie Tian (COMPSAC, 2008)

A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. - Junmin Ye; Wei Dong 006; Zhichang Qi (ICYCS, 2008)

Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. - Junmin Ye; Junjie Wang; Wei Dong 006; Zhichang Qi (ICYCS, 2008)

Design of Some Artificial Immune Operators in Software Test Cases Generation. - Junmin Ye; Zemei Zhan; Zhenfang Zhang; Wei Dong 006; Zhichang Qi (ICYCS, 2008)

Computing Must and May Alias to Detect Null Pointer Dereference. - Xiaodong Ma; Ji Wang 001; Wei Dong 006 (ISoLA, 2008)

Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. - Ji Wang 001; Xiaodong Ma; Wei Dong 006; Hou-Feng Xu; Wanwei Liu (J. Comput. Sci. Technol., 2009)

Active Monitoring for Control Systems under Anticipatory Semantics. - Changzhi Zhao; Wei Dong 006; Zhichang Qi (QSIC, 2010)

An event pattern language for runtime monitoring based on AOP. - Xian Zhang; Martin Leucker; Wei Dong 006 (ICITST, 2011)

Security Goals Assurance Based on Software Active Monitoring. - Changzhi Zhao; Wei Dong 006; Martin Leucker; Zhichang Qi (SSIRI, 2011)

Runtime Verification with Predictive Semantics. - Xian Zhang; Martin Leucker; Wei Dong 006 (NASA Formal Methods, 2012)

Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures. - Longming Dong; Wei Dong 006; Liqian Chen (SERE (Companion), 2012)

Anticipatory active monitoring for safety- and security-critical software. - Wei Dong 006; Changzhi Zhao; Shaoxian Shu; Martin Leucker (Sci. China Inf. Sci., 2012)

Counterexample-Preserving Reduction for Symbolic Model Checking. - Wanwei Liu; Rui Wang 017; Xianjin Fu; Ji Wang 001; Wei Dong 006; Xiaoguang Mao (ICTAC, 2013)

Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. - Xueguang Wu; Yanjun Wen; Liqian Chen; Wei Dong 006; Ji Wang 001 (SERE (Companion), 2013)

Synchronization Error Detection of MPI Programs by Symbolic Execution. - Xianjin Fu; Zhenbang Chen; Chun Huang; Wei Dong 006; Ji Wang 001 (APSEC (1), 2014)

A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. - Jingwen Zhou; Zhenbang Chen; Ji Wang 001; Zibin Zheng; Wei Dong 006 (ISSRE Workshops, 2014)

A Predictive Runtime Verification Framework for Cyber-Physical Systems. - Kang Yu; Zhenbang Chen; Wei Dong 006 (SERE (Companion), 2014)

Robustness Analysis of Floating-Point Programs by Self-Composition. - Liqian Chen; Jiahong Jiang; Banghu Yin; Wei Dong 006; Ji Wang 001 (J. Appl. Math., 2014)

Counterexample-Preserving Reduction for Symbolic Model Checking. - Wanwei Liu; Rui Wang 019; Xianjin Fu; Ji Wang 001; Wei Dong 006; Xiaoguang Mao (J. Appl. Math., 2014)

MPISE: Symbolic Execution of MPI Programs. - Xianjin Fu; Zhenbang Chen; Yufeng Zhang 001; Chun Huang; Wei Dong 006; Ji Wang 001 (HASE, 2015)

Poster: Symbolic Execution of MPI Programs. - Xianjin Fu; Zhenbang Chen; Hengbiao Yu; Chun Huang; Wei Dong 006; Ji Wang 001 (ICSE (2), 2015)

Regular Property Guided Dynamic Symbolic Execution. - Yufeng Zhang 001; Zhenbang Chen; Ji Wang 001; Wei Dong 006; Zhiming Liu 001 (ICSE (1), 2015)

Analyzing Math Library Functions via Summarization. - Jiahong Jiang; Liqian Chen; Yanjun Wen; Wei Dong 006; Ling Wen (QRS Companion, 2016)

ConfMapper: Automated Variable Finding for Configuration Items in Source Code. - Shulin Zhou; Xiaodong Liu 004; Shanshan Li 001; Wei Dong 006; Xiangke Liao; Yun Xiong (QRS Companion, 2016)

Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. - Xueguang Wu; Liqian Chen; Antoine Miné; Wei Dong 006; Ji Wang 001 (ACM Trans. Embed. Comput. Syst., 2016)

Monitor Synthesis for Parametric MTL Properties in Discrete Control Software. - Hao Shi 007; Wei Dong 006; Ge Zhou; Liangze Yin (QRS Companion, 2017)

Optimizing Monitor Code Based on Patterns in Runtime Verification. - Ge Zhou; Wei Dong 006; Wanwei Liu; Hao Shi 007; Chi Hu; Liangze Yin (QRS Companion, 2017)

Automatic Type Inference for Proactive Misconfiguration Prevention. - Xiangyang Xu; Shanshan Li 001; Yong Guo; Wei Dong 006; Wang Li 003; Xiangke Liao (SEKE, 2017)

RGSE: a regular property guided symbolic executor for Java. - Hengbiao Yu; Zhenbang Chen; Yufeng Zhang 001; Ji Wang 001; Wei Dong 006 (ESEC/SIGSOFT FSE, 2017)

Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. - Liangze Yin; Wei Dong 006; Wanwei Liu; Ji Wang 001 (CoRR, 2017)

混源软件质量模型与度量方法研究 (Research on Mixed Source Software Quality Model and Measurement Method). - Qilin Liu; Wei Dong 006; Liangze Yin; Xuan Qi; Shazhou Yang (计算机科学, 2017)

无人驾驶汽车决策系统的规则正确性验证 (Correctness Verification of Rules for Unmanned Vehicles' Decision System). - Binbin Liu; Wanwei Liu; Xiaoguang Mao; Wei Dong 006 (计算机科学, 2017)

基于语义补丁的Linux驱动程序后向移植技术 (Backporting of Linux Device Drivers Using Semantic Patch). - Lihua Zhu; Yanjun Wen; Wei Dong 006 (计算机科学, 2017)

NotOnlyLog: Mining Patch-Log Associations from Software Evolution History to Enhance Failure Diagnosis Capability. - Shuqi Chi; Shanshan Li 001; Yong Guo; Wei Dong 006; Zhouyang Jia; Haochen He; Qing Liao 001 (APSEC, 2018)

User Identification with Spatio-Temporal Awareness across Social Networks. - Xing Gao; Wenli Ji; Yongjun Li 006; Yao Deng; Wei Dong 006 (CIKM, 2018)

MC/DC coverage-oriented compiler optimization for symbolic execution. - Yijun Liu; Zhenbang Chen; Wei Dong 006; Chendong Feng (ICSE (Companion Volume), 2018)

Symbolic verification of regular properties. - Hengbiao Yu; Zhenbang Chen; Ji Wang 001; Zhendong Su 001; Wei Dong 006 (ICSE, 2018)

Scheduling constraint based abstraction refinement for weak memory models. - Liangze Yin; Wei Dong 006; Wanwei Liu; Ji Wang 001 (ASE, 2018)

Guide Fuzzing with Multi-Factor Potential Analysis. - Luhang Xu; Wei Dong 006; Liangze Yin; Qiuxi Zhong (QRS Companion, 2018)

Automatic Exploit Generation for Buffer Overflow Vulnerabilities. - Luhang Xu; Weixi Jia; Wei Dong 006; Yongjun Li 006 (QRS Companion, 2018)

Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis. - Bailin Lu; Wei Dong 006; Liangze Yin; Li Zhang (SATE, 2018)

Expediting Binary Fuzzing with Symbolic Analysis. - Luhang Xu; Wei Dong 006; Liangze Yin; Weixi Jia; Shenzhi Li (SEKE, 2018)

YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). - Liangze Yin; Wei Dong 006; Wanwei Liu; Yunchou Li; Ji Wang 001 (TACAS (2), 2018)

A True-Concurrency Encoding for BMC of Compositional Systems. - Liangze Yin; Wei Dong 006; Fei He; Ji Wang 001 (Comput. J., 2018)

Combining Symbolic Execution and Model Checking to Verify MPI Programs. - Hengbiao Yu; Zhenbang Chen; Xianjin Fu; Ji Wang 001; Zhendong Su 001; Wei Dong 006; Chun Huang (CoRR, 2018)

Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel. - Chengdong Feng; Zhenbang Chen; Weijiang Hong; Hengbiao Yu; Wei Dong 006; Ji Wang 001 (CoRR, 2018)

Expediting Binary Fuzzing with Symbolic Analysis. - Luhang Xu; Liangze Yin; Wei Dong 006; Weixi Jia; Yongjun Li 006 (Int. J. Softw. Eng. Knowl. Eng., 2018)

Synthesizing Secure Reactive Controller for Unmanned Aerial System. - Wei Lu; Shaoxian Shu; Rao Shi; Rui Li 050; Wei Dong 006 (DSA, 2019)

Parallel refinement for multi-threaded program verification. - Liangze Yin; Wei Dong 006; Wanwei Liu; Ji Wang 001 (ICSE, 2019)

Fine-Grained Geolocalization of User-Generated Short Text Based on a Weight Probability Model. - Congjie Gao; Yongjun Li 006; Jiaqi Yang 003; Wei Dong 006 (IEEE Access, 2019)

Accelerating API-Based Program Synthesis via API Usage Pattern Mining. - Binbin Liu; Wei Dong 006; Yinzhu Zhang (IEEE Access, 2019)

Deep Code-Comment Understanding and Assessment. - Deze Wang; Yong Guo; Wei Dong 006; Zhiming Wang; Haoran Liu; Shanshan Li 001 (IEEE Access, 2019)

Symbolic Verification of Regular Properties for Java Programs. - Zhenbang Chen; Hengbiao Yu; Ji Wang 001; Wei Dong 006 (ACM SIGSOFT Softw. Eng. Notes, 2019)

Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems. - Rui Li 050; Hao Shi 007; Wanwei Liu; Wei Dong 006 (APSEC, 2020)

How Much Support Can API Recommendation Methods Provide for Component-Based Synthesis? - Jiaxin Liu; Binbin Liu; Wei Dong 006; Yating Zhang; Daiyan Wang (COMPSAC, 2020)

Symbolic verification of message passing interface programs. - Hengbiao Yu; Zhenbang Chen; Xianjin Fu; Ji Wang 001; Zhendong Su 001; Jun Sun 001; Chun Huang; Wei Dong 006 (ICSE, 2020)

Boosting component-based synthesis with API usage knowledge. - Jiaxin Liu; Wei Dong 006; Binbin Liu (ASE Workshops, 2020)

Collective intelligence for smarter neural program synthesis. - Daiyan Wang; Wei Dong 006; Yating Zhang (ASE Workshops, 2020)

Security Controller Synthesis for ROS-based Robot. - Xudong Zhao 006; Shaoxian Shu; Yutian Lan; Haining Feng; Wei Dong 006 (QRS Companion, 2020)

Vulnerability Analysis through Interface-based Checker Design. - Xiang Du; Liangze Yin; Peng Wu; Liyuan Jia; Wei Dong 006 (QRS Companion, 2020)

Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs. - Haining Feng; Liangze Yin; Wenfeng Lin; Xudong Zhao 006; Wei Dong 006 (QRS Companion, 2020)

Effective Iterative Program Synthesis with Knowledge Searched from Internet. - Jiaxin Liu; Wei Dong 006; Binbin Liu; Yating Zhang; Daiyan Wang (QRS Companion, 2020)

Graph-based Vulnerability Detection via Extracting Features from Sliced Code. - Peng Wu; Liangze Yin; Xiang Du; Liyuan Jia; Wei Dong 006 (QRS Companion, 2020)

Probabilistic Synthesis for Program with Non-API Operations. - Yating Zhang; Wei Dong 006; Daiyan Wang; Jiaxin Liu; Binbin Liu (QRS Companion, 2020)

Controller Synthesis for ROS-based Multi-Robot Collaboration. - Xudong Zhao 006; Rui Li 050; Wanwei Liu; Hao Shi 007; Shaoxian Shu; Wei Dong 006 (SEKE, 2020)

Controller Resynthesis for Multirobot System When Changes Happen. - Hao Shi 007; Wei Dong 006; Rui Li 050; Wanwei Liu (Computer, 2020)

Entity disambiguation with context awareness in user-generated short texts. - Jiaqi Yang 003; Yongjun Li 006; Congjie Gao; Wei Dong 006 (Expert Syst. Appl., 2020)

Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution. - Weijiang Hong; Yijun Liu; Zhenbang Chen; Wei Dong 006; Ji Wang 001 (Frontiers Inf. Technol. Electron. Eng., 2020)

Decentralized runtime enforcement for robotic swarms. - Chi Hu; Wei Dong 006; Yonghui Yang; Hao Shi 007; Fei Deng (Frontiers Inf. Technol. Electron. Eng., 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms. - Chi Hu; Wei Dong 006; Yonghui Yang; Hao Shi 007; Ge Zhou (IEEE Trans. Reliab., 2020)

Iterative Controller Synthesis for Multirobot System. - Hao Shi 007; Rui Li 050; Wanwei Liu; Wei Dong 006; Ge Zhou (IEEE Trans. Reliab., 2020)

On Scheduling Constraint Abstraction for Multi-Threaded Program Verification. - Liangze Yin; Wei Dong 006; Wanwei Liu; Ji Wang 001 (IEEE Trans. Software Eng., 2020)

Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities. - Xiang Du; Liangze Yin; Haining Feng; Wei Dong 006 (APSEC, 2021)

An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. - Yuanliang Zhang; Haochen He; Owolabi Legunsen; Shanshan Li 001; Wei Dong 006; Tianyin Xu (ICSE, 2021)

Simplify Array Processing Loops for Efficient Program Verification. - Xiang Du; Liangze Yin; Wei Dong 006 (ISSRE, 2021)

MACA: A Residual Network with Multi-Attention and Core Attributes for Code Search (S). - Lian Gu; Zihui Wang; Jiaxin Liu; Yating Zhang; Dong Yang; Wei Dong 006 (SEKE, 2021)

MulCode: A Multi-task Learning Approach for Source Code Understanding. - Deze Wang; Yue Yu 001; Shanshan Li 001; Wei Dong 006; Ji Wang 001; Qing Liao 001 (SANER, 2021)

deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search. - Chen Zeng; Yue Yu 001; Shanshan Li 001; Xin Xia 001; Zhiming Wang; Mingyang Geng; Bailin Xiao; Wei Dong 006; Xiangke Liao (CoRR, 2021)

Matching user accounts with spatio-temporal awareness across social networks. - Yongjun Li 006; Wenli Ji; Xing Gao; Yao Deng; Wei Dong 006; Dongxu Li (Inf. Sci., 2021)

Extension-Compression Learning: A deep learning code search method that simulates reading habits. - Lian Gu; Zihui Wang; Jiaxin Liu; Yating Zhang; Dong Yang; Wei Dong 006 (ICECCS, 2022)

Bridging Pre-trained Models and Downstream Tasks for Source Code Understanding. - Deze Wang; Zhouyang Jia; Shanshan Li 001; Yue Yu 001; Yun Xiong; Wei Dong 006; Xiangke Liao (ICSE, 2022)

Probabilistic synthesis against GR(1) winning condition. - Wei Zhao; Rui Li 050; Wanwei Liu; Wei Dong 006; Zhiming Liu 001 (Frontiers Comput. Sci., 2022)

One Adapter for All Programming Languages? Adapter Tuning for Code Search and Summarization. - Deze Wang; Boxing Chen; Shanshan Li 001; Wei Luo; Shaoliang Peng; Wei Dong 006; Xiangke Liao (ICSE, 2023)

FAEG: Feature-Driven Automatic Exploit Generation. - Peng Xu; Liangze Yin; Jiantong Ma; Dong Yang; Wei Dong 006 (Internetware, 2023)

MulCS: Towards a Unified Deep Representation for Multilingual Code Search. - Yingwei Ma; Yue Yu 001; Shanshan Li 001; Zhouyang Jia; Jun Ma 015; Rulin Xu; Wei Dong 006; Xiangke Liao (SANER, 2023)

deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search. - Chen Zeng; Yue Yu 001; Shanshan Li 001; Xin Xia 001; Zhiming Wang; Mingyang Geng; Linxiao Bai; Wei Dong 006; Xiangke Liao (ACM Trans. Softw. Eng. Methodol., 2023)

Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities. - Zhaoqiang Guo; Tingting Tan; Shiran Liu; Xutong Liu; Wei Lai; Yibiao Yang; Yanhui Li; Lin Chen 015; Wei Dong 006; Yuming Zhou (IEEE Trans. Software Eng., 2023)

Synthesizing Controller for Unsynthesizable Specification Based on Criticality Levels. - Dong Yang; Hao Shi 007; Wei Dong 006; Yanqi Dong; Yong Zhang (Internetware, 2024)

Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs. - Sirui Liu; Wei Dong 006; Tiecheng Ma; Yanqi Dong; Dong Yang (SETSS, 2024)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis. - Dong Yang; Wei Dong 006; Wei Lu; Yanqi Dong; Sirui Liu (CoRR, 2024)

THINK: Tackling API Hallucinations in LLMs via Injecting Knowledge. - Jiaxin Liu; Yating Zhang; Deze Wang; Yiwei Li 006; Wei Dong 006 (SANER, 2025)

Iterative program synthesis with code knowledge. - Jiaxin Liu; Yiwei Li 006; Jianhua Dai; Rongjia Xu; Yating Zhang; Wei Dong 006 (Inf. Sci., 2025)

CIPAC: A framework of automated software construction based on collective intelligence. - Jiaxin Liu; Yating Zhang; Yiwei Li 006; Tiecheng Ma; Wei Dong 006 (J. Syst. Softw., 2025)

Bridging Operator Semantic Inconsistencies: A Source-Level Cross-Framework Model Conversion Approach. - Xingpei Li; Yan Lei; Zhouyang Jia; Yuanliang Zhang; Haoran Liu; Liqian Chen; Wei Dong 006; Shan-shan Li 001 (Proc. ACM Softw. Eng., 2025)

QSF: Multi-objective Optimization Based Efficient Solving for Floating-Point Constraints. - Xu Yang; Zhenbang Chen; Wei Dong 006; Ji Wang 001 (Proc. ACM Softw. Eng., 2025)

Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation. - Liangze Yin; Yiwei Li 006; Kun Chen; Wei Dong 006; Ji Wang 001 (Proc. ACM Softw. Eng., 2025)