Jialun Cao

62 papers A* 13B 1C 3Misc 1Journal 37Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Enhancing Differential Testing with LLMs for Testing Deep Learning Libraries.
ACM Trans. Softw. Eng. Methodol.
Meiziniu Li, Dongze Li, Jianmeng Liu, Jialun Cao, Yongqiang Tian, Shing-Chi Cheung
2026 J jnl
From What to How: Bridging User Requirements with Software Development Using Large Language Models.
CoRR
Xiao He, Ru Chen, Jialun Cao
2026 J jnl
HGAFA: Heterogeneous Graph Attention-Based Featureless Aggregation for IoC Joint Identification.
IEEE Trans. Dependable Secur. Comput.
Hongjie Gu, Daojing He, Jialun Cao, Gaolei Li, Kim-Kwang Raymond Choo
2026 J jnl
ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair.
CoRR
Zhiyong Chen, Jialun Cao, Chang Xu, Shing-Chi Cheung
2026 J jnl
SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark.
CoRR
Boxi Yu, Yang Cao, Yuzhong Zhang, Liting Lin, Junjielong Xu, Zhiqing Zhong, Qinghua Xu, Guancheng Wang, Jialun Cao, Shing-Chi Cheung, Pinjia He, Lionel C. Briand
2025 J jnl
A study on prompt design, advantages and limitations of ChatGPT for deep learning program repair.
Autom. Softw. Eng.
Jialun Cao, Meiziniu Li, Ming Wen, Shing-Chi Cheung
2025 J jnl
Across Programming Language Silos: A Study on Cross-Lingual Retrieval-augmented Code Generation.
CoRR
Qiming Zhu, Jialun Cao, Xuanang Chen, Yaojie Lu, Hongyu Lin, Xianpei Han, Le Sun, Shing-Chi Cheung
2025 — conf
CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution.
ACL (1)
Ruiyang Xu, Jialun Cao, Yaojie Lu, Ming Wen, Hongyu Lin, Xianpei Han, Ben He, Shing-Chi Cheung, Le Sun
2025 J jnl
Can Emulating Semantic Translation Help LLMs with Code Translation? A Study Based on Pseudocode.
CoRR
Songqiang Chen, Congying Xu, Jingyi Chen, Jialun Cao, Jiarong Wu, Shing-Chi Cheung
2025 — conf
CodeCleaner: Mitigating Data Contamination for LLM Benchmarking.
Internetware
Jialun Cao, Songqiang Chen, Wuqi Zhang, Hau Ching Lo, Yeting Li, Shing-Chi Cheung
2025 A* conf
DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation.
AAAI
Qiming Zhu, Jialun Cao, Yaojie Lu, Hongyu Lin, Xianpei Han, Le Sun, Shing-Chi Cheung
2025 J jnl
EmbedAgent: Benchmarking Large Language Models in Embedded System Development.
CoRR
Ruiyang Xu, Jialun Cao, Mingyuan Wu, Wenliang Zhong, Yaojie Lu, Ben He, Xianpei Han, Shing-Chi Cheung, Le Sun
2025 J jnl
FeedbackEval: A Benchmark for Evaluating Large Language Models in Feedback-Driven Code Repair Tasks.
CoRR
Dekun Dai, Mingwei Liu, Anji Li, Jialun Cao, Yanlin Wang, Chong Wang, Xin Peng, Zibin Zheng
2025 — conf
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.
ACL (1)
Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian
2025 J jnl
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.
CoRR
Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian
2025 J jnl
How Should I Build A Benchmark? Revisiting Code-Related Benchmarks For LLMs.
CoRR
Jialun Cao, Yuk-Kit Chan, Zixuan Ling, Wenxuan Wang, Shuqing Li, Mingwei Liu, Ruixi Qiao, Yuting Han, Chaozheng Wang, Boxi Yu, Pinjia He, Shuai Wang, Zibin Zheng, Michael R. Lyu, Shing-Chi Cheung
2025 A* conf
ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation.
AAAI
Mengyang Wu, Yuzhi Zhao, Jialun Cao, Mingjie Xu, Zhongming Jiang, Xuehui Wang, Qinbin Li, Guangneng Hu, Shengchao Qin, Chi-Wing Fu
2025 J jnl
Inference performance evaluation for LLMs on edge devices with a novel benchmarking framework and metric.
CoRR
Hao Chen, Cong Tian, Zixuan He, Bin Yu, Yepang Liu, Jialun Cao
2025 J jnl
Isolating Language-Coding from Problem-Solving: Benchmarking LLMs with PseudoEval.
CoRR
Jiarong Wu, Songqiang Chen, Jialun Cao, Hau Ching Lo, Shing-Chi Cheung
2025 J jnl
NoCode-bench: A Benchmark for Evaluating Natural Language-Driven Feature Addition.
CoRR
Le Deng, Zhonghao Jiang, Jialun Cao, Michael Pradel, Zhongxin Liu
2025 J jnl
ReuseDroid: A VLM-empowered Android UI Test Migrator Boosted by Active Feedback.
CoRR
Xiaolei Li, Jialun Cao, Yepang Liu, Shing-Chi Cheung, Hailong Wang
2025 J jnl
SemBIC: Semantic-Aware Identification of Bug-Inducing Commits.
Proc. ACM Softw. Eng.
Xiao Chen, Hengcheng Zhu, Jialun Cao, Ming Wen, Shing-Chi Cheung
2025 J jnl
Towards Automatic Testing and Fault Localization in Natural Language Processing Systems.
ACM SIGSOFT Softw. Eng. Notes
Jialun Cao
2025 A* conf
Vulnerability-Affected Versions Identification: How Far Are We?
ASE
Xingchu Chen, Chengwei Liu, Jialun Cao, Yang Xiao, Xinyue Cai, Yeting Li, Jingyi Shi, Tianqi Sun, Haiming Chen, Wei Huo
2025 J jnl
Vulnerability-Affected Versions Identification: How Far Are We?
CoRR
Xingchu Chen, Chengwei Liu, Jialun Cao, Yang Xiao, Xinyue Cai, Yeting Li, Jingyi Shi, Tianqi Sun, Haiming Chen, Wei Huo
2025 J jnl
What Builds Effective In-Context Examples for Code Generation?
CoRR
Dongze Li, Songqiang Chen, Jialun Cao, Shing-Chi Cheung
2025 J jnl
When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers?
CoRR
Jingyi Chen, Songqiang Chen, Jialun Cao, Jiasi Shen, Shing-Chi Cheung
2024 J jnl
CODECLEANER: Elevating Standards with A Robust Data Contamination Mitigation Toolkit.
CoRR
Jialun Cao, Songqiang Chen, Wuqi Zhang, Hau Ching Lo, Shing-Chi Cheung
2024 J jnl
CRUXEval-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution.
CoRR
Ruiyang Xu, Jialun Cao, Yaojie Lu, Hongyu Lin, Xianpei Han, Ben He, Shing-Chi Cheung, Le Sun
2024 J jnl
Can AI Beat Undergraduates in Entry-level Java Assignments? Benchmarking Large Language Models on JavaBench.
CoRR
Jialun Cao, Zhiyong Chen, Jiarong Wu, Shing-Chi Cheung, Chang Xu
2024 J jnl
Concerned with Data Contamination? Assessing Countermeasures in Code Language Model.
CoRR
Jialun Cao, Wuqi Zhang, Shing-Chi Cheung
2024 J jnl
DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis.
CoRR
Meiziniu Li, Dongze Li, Jianmeng Liu, Jialun Cao, Yongqiang Tian, Shing-Chi Cheung
2024 J jnl
DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation.
CoRR
Qiming Zhu, Jialun Cao, Yaojie Lu, Hongyu Lin, Xianpei Han, Le Sun, Shing-Chi Cheung
2024 — conf
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification.
CAV (2)
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024 J jnl
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification.
CoRR
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024 Misc conf
Fuzzing for Stateful Protocol Implementations: Are We There Yet?
TASE
Kunpeng Jian, Yanyan Zou, Yeting Li, Jialun Cao, Menghao Li, Jian Sun, Jingyi Shi, Wei Huo
2024 J jnl
ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation.
CoRR
Mengyang Wu, Yuzhi Zhao, Jialun Cao, Mingjie Xu, Zhongming Jiang, Xuehui Wang, Qinbin Li, Guangneng Hu, Shengchao Qin, Chi-Wing Fu
2024 A* conf
JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models.
ASE
Jialun Cao, Zhiyong Chen, Jiarong Wu, Shing-Chi Cheung, Chang Xu
2024 A* conf
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing.
ASE
Congying Xu, Songqiang Chen, Jiarong Wu, Shing-Chi Cheung, Valerio Terragni, Hengcheng Zhu, Jialun Cao
2024 J jnl
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing.
CoRR
Congying Xu, Songqiang Chen, Jiarong Wu, Shing-Chi Cheung, Valerio Terragni, Hengcheng Zhu, Jialun Cao
2024 B conf
Reproducibility Companion Paper: Recommendation of Mix-and-Match Clothing by Modeling Indirect Personal Compatibility.
ICMR
Shuiying Liao, Yujuan Ding, P. Y. Mok, Qiushi Huang, Jialun Cao
2024 C conf
SDEFL: A Lightweight Fault Detection and Localization Method for Deep Neural Networks.
APSEC
Bo Yang, Jiawei Hu, Jialun Cao
2024 A* conf
Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation.
ASE
Zongze Jiang, Ming Wen, Jialun Cao, Xuanhua Shi, Hai Jin
2023 J jnl
A study on Prompt Design, Advantages and Limitations of ChatGPT for Deep Learning Program Repair.
CoRR
Jialun Cao, Meiziniu Li, Ming Wen, Shing-Chi Cheung
2023 J jnl
COMET: Coverage-guided Model Generation For Deep Learning Library Testing.
ACM Trans. Softw. Eng. Methodol.
Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, Shing-Chi Cheung
2023 — conf
Testing Coreference Resolution Systems without Labeled Test Sets.
ESEC/SIGSOFT FSE
Jialun Cao, Yaojie Lu, Ming Wen, Shing-Chi Cheung
2023 — conf
Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems.
ESEC/SIGSOFT FSE
Xiaohu Du, Xiao Chen, Jialun Cao, Ming Wen, Shing-Chi Cheung, Hai Jin
2022 A* conf
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs.
ICSE
Jialun Cao, Meiziniu Li, Xiao Chen, Ming Wen, Yongqiang Tian, Bo Wu, Shing-Chi Cheung
2022 J jnl
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs.
CoRR
Jialun Cao, Meiziniu Li, Xiao Chen, Ming Wen, Yongqiang Tian, Bo Wu, Shing-Chi Cheung
2022 J jnl
MEMO: Coverage-guided Model Generation For Deep Learning Library Testing.
CoRR
Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, Shing-Chi Cheung
2022 A* conf
RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix.
USENIX Security Symposium
Yeting Li, Yecheng Sun, Zhiwu Xu, Jialun Cao, Yuekang Li, Rongchen Li, Haiming Chen, Shing-Chi Cheung, Yang Liu, Yang Xiao
2022 J jnl
SemMT: A Semantic-Based Testing Approach for Machine Translation Systems.
ACM Trans. Softw. Eng. Methodol.
Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung, Haiming Chen
2021 A* conf
ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection.
USENIX Security Symposium
Yeting Li, Zixuan Chen, Jialun Cao, Zhiwu Xu, Qiancheng Peng, Haiming Chen, Liyuan Chen, Shing-Chi Cheung
2021 A* conf
TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair.
ICSE
Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung
2020 A* conf
FlashRegex: Deducing Anti-ReDoS Regexes from Examples.
ASE
Yeting Li, Zhiwu Xu, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao
2020 A* conf
FlashSchema: Achieving High Quality XML Schemas with Powerful Inference Algorithms and Large-scale Schema Data.
ICDE
Yeting Li, Jialun Cao, Haiming Chen, Tingjian Ge, Zhiwu Xu, Qiancheng Peng
2020 J jnl
SemMT: A Semantic-based Testing Approach for Machine Translation Systems.
CoRR
Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung
2020 J jnl
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair.
CoRR
Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung
2019 C conf
A Learning-Based Framework for Automatic Parameterized Verification.
ICCD
Yongjian Li, Jialun Cao, Jun Pang
2019 — conf
Learning k-Occurrence Regular Expressions with Interleaving.
DASFAA (2)
Yeting Li, Xiaolan Zhang, Jialun Cao, Haiming Chen, Chong Gao
2018 C conf
An Automatic Parameterized Verification of FLASH Cache Coherence Protocol.
QRS
Yongjian Li, Jialun Cao, Kaiqiang Duan
2018 A* conf
L-CMP: an automatic learning-based parameterized verification tool.
ASE
Jialun Cao, Yongjian Li, Jun Pang