Wei Song

89 papers A* 6A 13C 2Journal 40Unranked 28
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Consumption-Generation Driven Deep Embedding Framework for Next Activity Prediction.
IEEE Trans. Serv. Comput.
Chao Zheng, Jian Wang, Maodong Li, Bing Li, Wei Song
2025 J jnl
COTE: Predicting Code-to-Test Co-Evolution by Integrating Link Analysis and Pre-Trained Language Model Techniques.
IEEE Trans. Software Eng.
Yuyong Liu, Zhifei Chen, Lin Chen, Yanhui Li, Xuansong Li, Wei Song
2025 J jnl
DepFuzz: Efficient Smart Contract Fuzzing with Function Dependence Guidance.
Proc. ACM Program. Lang.
Chenyang Ma, Wei Song, Jeff Huang
2025 J jnl
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing.
CoRR
Qiong Feng, Xiaotian Ma, Ziyuan Feng, Marat Akhin, Wei Song, Peng Liang
2025 J jnl
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing.
Proc. ACM Program. Lang.
Qiong Feng, Xiaotian Ma, Ziyuan Feng, Marat Akhin, Wei Song, Peng Liang
2025 — conf
GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in Go.
ISSTA Companion
Xiaofan Xu, Wei Song, Jeff Huang
2025 J jnl
GoPV: Detecting Blocking Concurrency Bugs Related to Shared-Memory Synchronization in Go.
Proc. ACM Softw. Eng.
Wei Song, Xiaofan Xu, Jeff Huang
2024 A* conf
Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor.
ASE
Qiong Feng, Xiaotian Ma, Huan Ji, Wei Song, Peng Liang
2024 A conf
FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts.
ISSTA
Yunqi Liu, Wei Song
2024 A conf
FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees.
ISSTA
Yunqi Liu, Wei Song
2024 J jnl
Integrating Various Software Artifacts for Better LLM-based Bug Localization and Program Repair.
CoRR
Qiong Feng, Xiaotian Ma, Jiayi Sheng, Ziyuan Feng, Wei Song, Peng Liang
2024 J jnl
Risky Dynamic Typing-related Practices in Python: An Empirical Study.
ACM Trans. Softw. Eng. Methodol.
Zhifei Chen, Lin Chen, Yibiao Yang, Qiong Feng, Xuansong Li, Wei Song
2024 J jnl
VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts.
Proc. ACM Program. Lang.
Yichuan Li, Wei Song, Jeff Huang
2023 A conf
DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications.
ISSTA
Yuhao Zhou, Wei Song
2023 A conf
DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps.
ISSTA
Yuhao Zhou, Wei Song
2023 A* conf
Discovering Structural Errors From Business Process Event Logs (Extended Abstract).
ICDE
Wei Song, Zhen Chang, Hans-Arno Jacobsen, Pengcheng Zhang
2023 A* conf
PTPDroid: Detecting Violated User Privacy Disclosures to Third-Parties of Android Apps.
ICSE
Zeya Tan, Wei Song
2023 — conf
TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts.
ESEC/SIGSOFT FSE
Chenyang Ma, Wei Song, Jeff Huang
2022 J jnl
Automated Use-After-Free Detection and Exploit Mitigation: How Far Have We Gone?
IEEE Trans. Software Eng.
Binfa Gui, Wei Song, Hailong Xiong, Jeff Huang
2022 J jnl
Collaboration in software ecosystems: A study of work groups in open environment.
Inf. Softw. Technol.
Zhifei Chen, Wanwangying Ma, Lin Chen, Wei Song
2022 J jnl
Development of Collaborative Business Processes: A Correctness Enforcement Approach.
IEEE Trans. Serv. Comput.
Qi Mo, Wei Song, Fei Dai, Leilei Lin, Tong Li
2022 J jnl
Discovering Structural Errors From Business Process Event Logs.
IEEE Trans. Knowl. Data Eng.
Wei Song, Zhen Chang, Hans-Arno Jacobsen, Pengcheng Zhang
2022 J jnl
Identifying a Minimum Sequence of High-Level Changes Between Workflows.
IEEE Trans. Serv. Comput.
Wei Song, Fangfei Chen, Hans-Arno Jacobsen, Chengzhen Zhang
2022 J jnl
M-BSRM: Multivariate BayeSian Runtime QoS Monitoring Using Point Mutual Information.
IEEE Trans. Serv. Comput.
Pengcheng Zhang, Huiying Jin, Hai Dong, Wei Song
2022 A conf
PermDroid: automatically testing permission-related behaviour of Android applications.
ISSTA
Shuaihao Yang, Zigang Zeng, Wei Song
2022 J jnl
Privacy-Preserving QoS Forecasting in Mobile Edge Environments.
IEEE Trans. Serv. Comput.
Pengcheng Zhang, Huiying Jin, Hai Dong, Wei Song, Athman Bouguettaya
2021 J jnl
An Empirical Study on Data Flow Bugs in Business Processes.
IEEE Trans. Cloud Comput.
Wei Song, Chengzhen Zhang, Hans-Arno Jacobsen
2021 J jnl
Dependence-Based Data-Aware Process Conformance Checking.
IEEE Trans. Serv. Comput.
Wei Song, Hans-Arno Jacobsen, Chengzhen Zhang, Xiaoxing Ma
2021 J jnl
FunkR-pDAE: Personalized Project Recommendation Using Deep Learning.
IEEE Trans. Emerg. Top. Comput.
Pengcheng Zhang, Fang Xiong, Hareton Leung, Wei Song
2021 — conf
IMGDroid: A Static Analyzer for Detecting Image Loading Defects in Android Applications.
ICSE (Companion Volume)
Wei Song, Mengqi Han, Jeff Huang
2021 A* conf
IMGDroid: Detecting Image Loading Defects in Android Applications.
ICSE
Wei Song, Mengqi Han, Jeff Huang
2021 J jnl
LA-LMRBF: Online and Long-Term Web Service QoS Forecasting.
IEEE Trans. Serv. Comput.
Pengcheng Zhang, Huiying Jin, Hai Dong, Wei Song, Liyan Wang
2021 J jnl
Self-Healing Event Logs.
IEEE Trans. Knowl. Data Eng.
Wei Song, Hans-Arno Jacobsen, Pengcheng Zhang
2021 A conf
UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities.
ISSTA
Binfa Gui, Wei Song, Jeff Huang
2021 J jnl
Workflow Refactoring for Maximizing Concurrency and Block-Structuredness.
IEEE Trans. Serv. Comput.
Wei Song, Hans-Arno Jacobsen, Shing-Chi Cheung, Hongyu Liu, Xiaoxing Ma
2020 — conf
Efficient Service Entity Chain Placement in Mobile Edge Computing.
MSN
Yu Liang, Jidong Ge, Sheng Zhang, Changan Niu, Wei Song, Bin Luo
2020 J jnl
Scientific Workflow Protocol Discovery from Public Event Logs in Clouds.
IEEE Trans. Knowl. Data Eng.
Wei Song, Hans-Arno Jacobsen, Fangfei Chen
2020 J jnl
Short-Term Rainfall Forecasting Using Multi-Layer Perceptron.
IEEE Trans. Big Data
Pengcheng Zhang, Yangyang Jia, Jerry Gao, Wei Song, Hareton Leung
2020 A* conf
Towards Programming and Verification for Activity-Oriented Smart Home Systems.
ASE
Xuansong Li, Wei Song, Xiangyu Zhang
2020 J jnl
Understanding JavaScript Vulnerabilities in Large Real-World Android Applications.
IEEE Trans. Dependable Secur. Comput.
Wei Song, Qingqing Huang, Jeff Huang
2019 J jnl
From event streams to process models and back: Challenges and opportunities.
Inf. Syst.
Pnina Soffer, Annika Hinze, Agnes Koschmider, Holger Ziekow, Claudio Di Ciccio, Boris Koldehofe, Oliver Kopp, Hans-Arno Jacobsen, Jan Sürmeli, Wei Song
2019 J jnl
Instance Migration Validity for Dynamic Evolution of Data-Aware Processes.
IEEE Trans. Software Eng.
Wei Song, Xiaoxing Ma, Hans-Arno Jacobsen
2019 J jnl
Measuring Business Process Consistency Across Different Abstraction Levels.
IEEE Trans. Netw. Serv. Manag.
Xuewei Zhang, Wei Song, Jiacun Wang, Jianchun Xing, Qizhen Zhou
2019 — conf
ServDroid: detecting service usage inefficiencies in Android applications.
ESEC/SIGSOFT FSE
Wei Song, Jing Zhang, Jeff Huang
2018 J jnl
AocML: A Domain-Specific Language for Model-Driven Development of Activity-Oriented Context-Aware Applications.
J. Comput. Sci. Technol.
Xuansong Li, XianPing Tao, Wei Song, Kai Dong
2018 J jnl
Cost and Energy Aware Scheduling Algorithm for Scientific Workflows with Deadline Constraint in Clouds.
IEEE Trans. Serv. Comput.
Zhongjin Li, Jidong Ge, Haiyang Hu, Wei Song, Hao Hu, Bin Luo
2018 J jnl
IgS-wBSRM: A time-aware Web Service QoS monitoring approach in dynamic environments.
Inf. Softw. Technol.
Pengcheng Zhang, Huiying Jin, Zhipeng He, Hareton Leung, Wei Song, Yan Jiang
2018 J jnl
Measuring Data-Aware Process Consistency Based on Activity Constraint Graphs.
IEEE Access
Xuewei Zhang, Jiacun Wang, Jianchun Xing, Wei Song, Qiliang Yang
2018 A conf
Response Time Aware Operator Placement for Complex Event Processing in Edge Computing.
ICSOC
Xinchen Cai, Hongyu Kuang, Hao Hu, Wei Song, Jian Lü
2018 J jnl
Static and Dynamic Process Change.
IEEE Trans. Serv. Comput.
Wei Song, Hans-Arno Jacobsen
2018 J jnl
Weighted Bayesian Runtime Monitor: A Novel QoS Monitoring Approach Sensitive to Environmental Factors.
Int. J. Softw. Eng. Knowl. Eng.
Pengcheng Zhang, Huiying Jin, Yuan Zhuang, Hareton Leung, Wei Song, Yu Zhou
2017 A conf
A Web Service QoS Forecasting Approach Based on Multivariate Time Series.
ICWS
Pengcheng Zhang, Liyan Wang, Wenrui Li, Hareton Leung, Wei Song
2017 — conf
AHWCI: A Prototype Tool for Identifying High-Level Workflow Changes.
APSEC Workshops
Fangfei Chen, Wei Song, Chengzhen Zhang, Xuansong Li, Pengcheng Zhang
2017 A* conf
EHBDroid: beyond GUI testing for Android applications.
ASE
Wei Song, Xiangxing Qian, Jeff Huang
2017 J jnl
Efficient Alignment Between Event Logs and Process Models.
IEEE Trans. Serv. Comput.
Wei Song, Xiaoxu Xia, Hans-Arno Jacobsen, Pengcheng Zhang, Hao Hu
2017 A conf
Parallelized Mobility-Aware Complex Event Processing.
ICWS
Yuhao Gong, Hongyu Kuang, Xinchen Cai, Hao Hu, Wei Song, Jian Lu
2017 J jnl
Scientific Workflow Mining in Clouds.
IEEE Trans. Parallel Distributed Syst.
Wei Song, Fangfei Chen, Hans-Arno Jacobsen, Xiaoxu Xia, Chunyang Ye, Xiaoxing Ma
2017 — conf
Software Is Not Soft - Challenges and Approaches to Dynamic Software Update.
SETSS
Xiaoxing Ma, Tianxiao Gu, Wei Song
2016 — conf
A Combinational QoS-Prediction Approach Based on RBF Neural Network.
SCC
Pengcheng Zhang, Yingtao Sun, Wenrui Li, Wei Song, Hareton Leung
2016 — conf
A Novel QoS Prediction Approach for Cloud Service Based on Bayesian Networks Model.
IEEE MS
Pengcheng Zhang, Qing Han, Wenrui Li, Hareton Leung, Wei Song
2016 — conf
Effa: a proM plugin for recovering event logs.
Internetware
Xiaoxu Xia, Wei Song, Fangfei Chen, Xuansong Li, Pengcheng Zhang
2016 J jnl
Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications.
Softw. Test. Verification Reliab.
Hongda Wang, Jianchun Xing, Qiliang Yang, Wei Song, Xuewei Zhang
2016 J jnl
Process Discovery from Dependence-Complete Event Logs.
IEEE Trans. Serv. Comput.
Wei Song, Hans-Arno Jacobsen, Chunyang Ye, Xiaoxing Ma
2015 A conf
A Novel QoS Monitoring Approach Sensitive to Environmental Factors.
ICWS
Pengcheng Zhang, Yuan Zhuang, Hareton Leung, Wei Song, Yu Zhou
2015 — conf
Efficient Computing Composite Service Skyline with QoS Correlations.
SCC
Yu Du, Hao Hu, Wei Song, Junhua Ding, Jian Lu
2015 A conf
Heuristic Recovery of Missing Events in Process Logs.
ICWS
Wei Song, Xiaoxu Xia, Hans-Arno Jacobsen, Pengcheng Zhang, Hao Hu
2015 — conf
Personalized QoS Prediction via Matrix Factorization Integrated with Neighborhood Information.
SCC
Kesheng Qi, Hao Hu, Wei Song, Jidong Ge, Jian Lu
2015 — conf
Qos-aware Automatic Web Service Composition Considering QoS Correlations.
Internetware
Yang Liang, Hao Hu, Wei Song, Jidong Ge
2015 J jnl
数据感知过程之间差异的检测和解决 (Detection and Resolution of Differences of Data Aware Processes).
计算机科学
Xuewei Zhang, Jianchun Xing, Qiliang Yang, Wei Song, Hongda Wang
2014 — conf
An Approach for Modeling and Analyzing Mobile Push Notification Services.
IEEE SCC
Junhua Ding, Wei Song, Dongmei Zhang
2014 — conf
FuAET: a tool for developing fuzzy self-adaptive software systems.
Internetware
Qiliang Yang, XianPing Tao, Hongwei Xie, Jianchun Xing, Wei Song
2013 — conf
BPEL Similarity - A Metric Based on Activity Constraint Graphs.
AP-BPM
Jianchun Xing, Xuewei Zhang, Wei Song, Qiliang Yang, Jidong Ge, Hongda Wang
2013 — conf
Behavioral Consistency Measurement and Analysis of WS-BPEL Processes.
WAIM
Xuewei Zhang, Wei Song, Jianchun Xing, Qiliang Yang, Hongda Wang, Wenjia Zhang
2013 — conf
COCO: consistency analysis of process-driven internetware applications.
Internetware
Wenjia Zhang, Wei Song, Xiaoxing Ma, Qiliang Yang, Xuewei Zhang
2013 J jnl
Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty.
J. Comput. Sci. Technol.
Qiliang Yang, Jian Lu, XianPing Tao, Xiaoxing Ma, Jianchun Xing, Wei Song
2013 — conf
Migration Validity of WS-BPEL Instances Revisited.
CSE
Wei Song, Xiaoxing Ma, Hao Hu, Yang Zou, Gongxuan Zhang
2013 — conf
Quantifying Consistency between Conceptual and Executable Business Processes.
IEEE SCC
Wei Song, Wenjia Zhang, Gongxuan Zhang, Junhua Ding, Xuewei Zhang
2012 — conf
A priority-based transaction commit protocol for composite web services.
Internetware
Wei Song, Zheng Gao, Jing Cai, Xiaoxing Ma
2012 — conf
Safe Regression Test Selection Based on Program Dependence Graphs.
COMPSAC Workshops
Jianchun Xing, Hongda Wang, Wei Song, Qiliang Yang
2012 C conf
Towards Dynamic Evolution of Service Choreographies.
APSCC
Wei Song, Gongxuan Zhang, Yang Zou, Qiliang Yang, Xiaoxing Ma
2011 C conf
Global-Time-Offsets Based Checkpoint Selection for Dynamic Verification of Fixed-Time Constraints in Grid Workflows.
APSCC
Hongda Wang, Wei Song, Jianchun Xing, Qiliang Yang
2011 A conf
Refactoring and Publishing WS-BPEL Processes to Obtain More Partners.
ICWS
Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Hao Hu, Qiliang Yang, Jian Lü
2010 — conf
Preserving Data Flow Correctness in Process Adaptation.
IEEE SCC
Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Hao Hu, Jian Lu
2010 — conf
Toward a fuzzy control-based approach to design of self-adaptive software.
Internetware
Qiliang Yang, Jian Lü, Juelong Li, Xiaoxing Ma, Wei Song, Yang Zou
2009 — conf
A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions.
IEEE SCC
Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Wanchun Dou, Jian Lu
2009 — conf
A Workflow Framework for Intelligent Service Composition.
GPC Workshops
Xudong Song, Wanchun Dou, Wei Song
2009 — conf
Timed Modeling and Verification of BPEL Processes Using Time Petri Nets.
QSIC
Wei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lu
2008 A conf
Toward a Model-Based Approach to Dynamic Adaptation of Composite Services.
ICWS
Wei Song, Xiaoxing Ma, Wanchun Dou, Jian Lü
2007 — conf
Safety Analysis and Performance Evaluation of Time WF-nets.
APWeb/WAIM Workshops
Wei Song, Wan-Chun Dou, Jinjun Chen, Shaokun Fan