Evaluation of SAT-based Bounded Model Checking of ACTL Properties. - Yanyan Xu 001; Wei Chen 018; Liang Xu; Wenhui Zhang (TASE, 2007)

Developing a Concurrent Service Orchestration Engine Based on Event-Driven Architecture. - Wei Chen 018; Jun Wei 001; Guoquan Wu; Xiaoqiang Qiao (OTM Conferences (1), 2008)

Bounded Model Checking of ACTL Formulae. - Wei Chen 018; Wenhui Zhang (TASE, 2009)

A direct construction of polynomial-size OBDD proof of pigeon hole problem. - Wei Chen 018; Wenhui Zhang (Inf. Process. Lett., 2009)

Improved Bounded Model Checking for the Universal Fragment of CTL. - Liang Xu; Wei Chen 018; Yanyan Xu 001; Wenhui Zhang (J. Comput. Sci. Technol., 2009)

Automatic Construction of Deployment Descriptors for Web Applications. - Wei Chen 018; Shanshan Liu; Jun Wei 001; Lianhua Wang (ICEBE, 2011)

A Profit-Aware Virtual Machine Deployment Optimization Framework for Cloud Platform Providers. - Wei Chen 018; Xiaoqiang Qiao; Jun Wei 001; Tao Huang 001 (IEEE CLOUD, 2012)

Implementing Dynamic Management for Mediated Service Interactions. - Xiaoqiang Qiao; Wei Chen 018; Jun Wei 001 (IEEE SCC, 2012)

Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition. - Yanyan Xu 001; Wei Chen 018; Kaile Su; Wenhui Zhang (FAW-AAIM, 2012)

A Two-Level Virtual Machine Self-Reconfiguration Mechanism for the Cloud Computing Platforms. - Wei Chen 018; Xiaoqiang Qiao; Jun Wei 001; Tao Huang 001 (UIC/ATC, 2012)

Handling Irreconcilable Mismatches in Web Services Mediation. - Xiaoqiang Qiao; Quan Z. Sheng; Wei Chen 018 (ICSOC, 2014)

Detecting Inter-Component Configuration Errors in Proactive: A Relation-Aware Method. - Wei Chen 018; Xiaoqiang Qiao; Jun Wei 001; Hua Zhong 001; Xiang Huang 005 (QSIC, 2014)

A Virtual Machine Placement and Reconfiguration Framework for Cloud Computing Platforms. - Wei Chen 018; Xiaoqiang Qiao; Jun Wei 001; Hua Zhong 001; Tao Huang 001 (Int. J. Adapt. Resilient Auton. Syst., 2014)

MORE: A Model-Driven Operation Service for Cloud-Based IT Systems. - Wei Chen 018; Chaochao Liang; Yijun Wan; Chushu Gao; Guoquan Wu; Jun Wei 001; Tao Huang 001 (SCC, 2016)

Determine Configuration Entry Correlations for Web Application Systems. - Wei Chen 018; Heng Wu 001; Jun Wei 001; Hua Zhong 001; Tao Huang 001 (COMPSAC, 2016)

X-Check: A Novel Cross-Browser Testing Service Based on Record/Replay. - Meimei He; Guoquan Wu; Hongyin Tang; Wei Chen 018; Jun Wei 001; Hua Zhong 001; Tao Huang 001 (ICWS, 2016)

A Hierarchical Categorization Approach for Configuration Management Modules. - Wei Chen 018; Peixing Xu; Wensheng Dou; Guoquan Wu; Chushu Gao; Jun Wei 001 (COMPSAC (1), 2017)

A Hierarchical Categorization Approach for System Operation Services. - Wei Chen 018; Peixing Xu; Guoquan Wu; Wensheng Dou; Chushu Gao; Jun Wei 001 (ICWS, 2017)

AppCheck: A Crowdsourced Testing Service for Android Applications. - Guoquan Wu; Yuzhong Cao; Wei Chen 018; Jun Wei 001; Hua Zhong 001; Tao Huang 001 (ICWS, 2017)

基于模型的云应用动态配置框架 (Model-based Runtime Configuration Framework for Cloud-based Applications). - Chaochao Liang; Wei Chen 018; Jun Wei 001; Shuren Xu (计算机科学, 2017)

基于测试例生成的Android应用数据竞争验证方法 (Concurrency Bugs Verification in Android Applications Based on Test Case Generation). - Yi She; Hongyin Tang; Guoquan Wu; Wei Chen 018; Jun Wei 001; Tao Huang 001 (计算机科学, 2017)

STAR: A Specialized Tagging Approach for Docker Repositories. - Kang Yin; Wei Chen 018; Jiahong Zhou; Guoquan Wu; Jun Wei 001 (APSEC, 2018)

X-Diag: Automated Debugging Cross-Browser Issues in Web Applications. - Shaopeng Xu; Chenyu Zhou; Zhiwei Gu; Guoquan Wu; Wei Chen 018; Jun Wei 001 (ICWS, 2018)

CrawlDroid: Effective Model-based GUI Testing of Android Apps. - Yuzhong Cao; Guoquan Wu; Wei Chen 018; Jun Wei 001 (Internetware, 2018)

Migrating Web Applications from Monolithic Structure to Microservices Architecture. - Zhongshan Ren; Wei Wang 049; Guoquan Wu; Chushu Gao; Wei Chen 018; Jun Wei 001; Tao Huang 001 (Internetware, 2018)

D-Tagger: A Tag Recommendation Approach for Docker Repositories. - Kang Yin; Jiahong Zhou; Wei Chen 018; Guoquan Wu; Jiaxin Zhu; Jun Wei 001 (Internetware, 2018)

An Approach to Identifying Error Patterns for Infrastructure as Code. - Wei Chen 018; Guoquan Wu; Jun Wei 001 (ISSRE Workshops, 2018)

SemiTagRec: A Semi-supervised Learning Based Tag Recommendation Approach for Docker Repositories. - Jiahong Zhou; Wei Chen 018; Guoquan Wu; Jun Wei 001 (ICSR, 2019)

Feedback-based, Automated Failure Testing of Microservice-based Applications. - Chengxu Cui; Guoquan Wu; Wei Chen 018; Jiaxing Zhu; Jun Wei 001 (CoRR, 2019)

Semi-Supervised Learning Based Tag Recommendation for Docker Repositories. - Wei Chen 018; Jiahong Zhou; Jiaxin Zhu; Guoquan Wu; Jun Wei 001 (J. Comput. Sci. Technol., 2019)

DockerKG: A Knowledge Graph of Docker Artifacts. - Jiahong Zhou; Wei Chen 018; Chang Liu; Jiaxin Zhu; Guoquan Wu; Jun Wei 001 (ICSE (Workshops), 2020)

WebRTS: A Dynamic Regression Test Selection Tool for Java Web Applications. - Zhenyue Long; Zeliu Ao; Guoquan Wu; Wei Chen 018; Jun Wei 001 (ICSME, 2020)

Fitness-guided Resilience Testing of Microservice-based Applications. - Zhenyue Long; Guoquan Wu; Xiaojiang Chen; Chengxu Cui; Wei Chen 018; Jun Wei 001 (ICWS, 2020)

WebRR: self-replay enhanced robust record/replay for web application testing. - Zhenyue Long; Guoquan Wu; Xiaojiang Chen; Wei Chen 018; Jun Wei 001 (ESEC/SIGSOFT FSE, 2020)

DockerGen: A Knowledge Graph based Approach for Software Containerization. - Hongjie Ye; Jiahong Zhou; Wei Chen 018; Jiaxin Zhu; Guoquan Wu; Jun Wei 001 (COMPSAC, 2021)

TAGen: Generating Trigger-Action Rules for Smart Homes by Mining Event Traces. - Liwei Liu; Wei Chen 018; Lu Liu; Kangkang Zhang; Jun Wei 001; Yan Yang (ICSOC, 2021)

Poster: Repair Cross Browser Layout Issues by Combining Learning and Search-based technique. - Zhenyue Long; Guoquan Wu; Yifei Zhang; Wei Chen 018; Jun Wei 001 (ICST, 2021)

X-Check: Improving Effectiveness and Efficiency of Cross-Browser Issues Detection for JavaScript-Based Web Applications. - Guoquan Wu; Meimei He; Wei Chen 018; Jun Wei 001; Hua Zhong 001 (IEEE Trans. Serv. Comput., 2021)

Knowledge-Based Environment Dependency Inference for Python Programs. - Hongjie Ye; Wei Chen 018; Wensheng Dou; Guoquan Wu; Jun Wei 001 (ICSE, 2022)

Understanding device integration bugs in smart home system. - Tao Wang 030; Kangkang Zhang; Wei Chen 018; Wensheng Dou; Jiaxin Zhu; Jun Wei 001; Tao Huang 001 (ISSTA, 2022)

Generating Critical Test Scenarios for Autonomous Driving Systems via Influential Behavior Patterns. - Haoxiang Tian 001; Guoquan Wu; Jiren Yan; Yan Jiang; Jun Wei 001; Wei Chen 018; Shuo Li; Dan Ye 004 (ASE, 2022)

MOSAT: finding safety violations of autonomous driving systems using multi-objective genetic algorithm. - Haoxiang Tian 001; Yan Jiang; Guoquan Wu; Jiren Yan; Jun Wei 001; Wei Chen 018; Shuo Li; Dan Ye 004 (ESEC/SIGSOFT FSE, 2022)

A Reinforcement Learning Approach to Generating Test Cases for Web Applications. - Xiaoning Chang; Zheheng Liang; Yifei Zhang; Lei Cui; Zhenyue Long; Guoquan Wu; Yu Gao 002; Wei Chen 018; Jun Wei 001; Tao Huang 001 (AST, 2023)

Generating Scenario-Centric TAP Rules for Smart Homes by Mining Historical Event Logs. - Liwei Liu; Wei Chen 018; Tao Wang 030; Wei Wang 049; Guoquan Wu; Jun Wei 001 (ICWS, 2023)

Characterizing Flaky Tests in Node.js Applications. - Xiaoning Chang; Zheheng Liang; Guoquan Wu; Yu Gao 002; Wei Chen 018; Jun Wei 001; Zhenyue Long; Lei Cui; Tao Huang 001 (ASE, 2023)

Detecting Smart Home Automation Application Interferences with Domain Knowledge. - Tao Wang 030; Wei Chen 018; Liwei Liu; Guoquan Wu; Jun Wei 001; Tao Huang 001 (ASE, 2023)

EasyPip: Detect and Fix Dependency Problems in Python Dependency Declaration Files. - Shuo Li; Jie Liu 008; Haoxiang Tian 001; Shuai Wang; Wei Chen 018; Liangyi Kang; Dan Ye 004 (SEKE, 2023)

Match Word with Deed: Maintaining Consistency for IoT Systems with Behavior Models. - Tao Wang 030; Wei Chen 018; Liwei Liu; Guoquan Wu; Jun Wei 001; Tao Huang 001 (ASE, 2024)

LiPSBOMaker: A Prototype of Multi-Stage Linux Distribution Package SBOM Generator. - Tong Qiu; Jiaxin Zhu; Wei Chen 018; Jun Wei 001 (ISSTA Companion, 2025)

Characterizing and detecting Python version incompatibilities caused by inconsistent version specifications. - Shuo Li; Haocheng Gao; Wei Chen 018; Yi Li 008; Haoxiang Tian 001; Chengwei Liu; Dan Ye 004 (J. Syst. Softw., 2025)

Testing the Fault-Tolerance of Multi-sensor Fusion Perception in Autonomous Driving Systems. - Haoxiang Tian 001; Wenqiang Ding; Xingshuo Han; Guoquan Wu; An Guo 002; Junqi Zhang; Wei Chen 018; Jun Wei 001; Tianwei Zhang 004 (Proc. ACM Softw. Eng., 2025)

Deep Reinforcement Learning for Automated Web GUI Testing. - Zhiyu Gu; Chenxu Liu; Guoquan Wu; Yifei Zhang; ChenXi Yang; Zheheng Liang; Wei Chen 018; Jun Wei 001 (CoRR, 2025)

LEGO: Synthesizing IoT Device Components Based on Static Analysis and Large Language Models. - Liwei Liu; Tao Wang 030; Wei Chen 018; Jun Wei 001; Wei Wang 049; Guoquan Wu (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2025)