Tao Xie

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 179

Top Venues

Softw. Test. Verification Reliab.

CoRR

ESEC/SIGSOFT FSE

ASE

Publications

Xinglu Pan, Chenxiao Liu, Yanzhen Zou, Tao Xie, Bing Xie
MESIA: Understanding and Leveraging Supplementary Nature of Method-level Comments for Automatic Comment Generation. ICPC (2024)
Yves Le Traon, Tao Xie
Investigating fault injection techniques in hardware-based deep neural networks and mutation-based fault localization. Softw. Test. Verification Reliab. 34 (4) (2024)
Xinglu Pan, Chenxiao Liu, Yanzhen Zou, Tao Xie, Bing Xie
MESIA: Understanding and Leveraging Supplementary Nature of Method-level Comments for Automatic Comment Generation. CoRR (2024)
Zhenwen Li, Tao Xie
Using LLM to select the right SQL Query from candidates. CoRR (2024)
Yves Le Traon, Tao Xie
Bud hunting with directed fuzz testing and source code vulnerability detection with advanced graph neural networks. Softw. Test. Verification Reliab. 34 (2) (2024)
Dong Chen, Shaoxin Lin, Muhan Zeng, Daoguang Zan, Jian-Gang Wang, Anton Cheshkov, Jun Sun, Hao Yu, Guoliang Dong, Artem Aliev, Jie Wang, Xiao Cheng, Guangtai Liang, Yuchi Ma, Pan Bian, Tao Xie, Qianxiang Wang
CodeR: Issue Resolving with Multi-Agent and Task Graphs. CoRR (2024)
Yves Le Traon, Tao Xie
Test case prioritization and mutation testing. Softw. Test. Verification Reliab. 34 (1) (2024)
Yves Le Traon, Tao Xie
Test code evolution and mutation testing. Softw. Test. Verification Reliab. 34 (3) (2024)
Cunchen Hu, Heyang Huang, Junhao Hu, Jiang Xu, Xusheng Chen, Tao Xie, Chenxi Wang, Sa Wang, Yungang Bao, Ninghui Sun, Yizhou Shan
MemServe: Context Caching for Disaggregated LLM Serving with Elastic Memory Pool. CoRR (2024)
Tianyu Chen, Lin Li, ZhuLiuchuan ZhuLiuchuan, Zongyang Li, Xueqing Liu, Guangtai Liang, Qianxiang Wang, Tao Xie
VulLibGen: Generating Names of Vulnerability-Affected Packages via a Large Language Model. ACL (1) (2024)
Yibo He, Jiaming Huang, Hao Yu, Tao Xie
An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Yakun Zhang, Wenjie Zhang, Dezhi Ran, Qihao Zhu, Chengfeng Dou, Dan Hao, Tao Xie, Lu Zhang
Learning-based Widget Matching for Migrating GUI Test Cases. ICSE (2024)
Dezhi Ran, Yingjie Fu, Yibo He, Tianyu Chen, Xing Tang, Tao Xie
Path Toward Elderly Friendly Mobile Apps. Computer 57 (6) (2024)
Dezhi Ran, Mengzhou Wu, Wei Yang, Tao Xie
Foundation Model Engineering: Engineering Foundation Models Just as Engineering Software. CoRR (2024)
Xuanwen Ding, Qingshun Wang, Dan Liu, Lihua Xu, Jun Xiao, Bojun Zhang, Xue Li, Liang Dou, Liang He, Tao Xie
FinHunter: Improved Search-Based Test Generation for Structural Testing of FinTech Systems. SIGSOFT FSE Companion (2024)
Yves Le Traon, Tao Xie
Unsafe code detection in Rust and metamorphic testing of autonomous driving systems. Softw. Test. Verification Reliab. 34 (5) (2024)
Linyi Li, Shijie Geng, Zhenwen Li, Yibo He, Hao Yu, Ziyue Hua, Guanghan Ning, Siwei Wang, Tao Xie, Hongxia Yang
InfiCoder-Eval: Systematically Evaluating the Question-Answering Capabilities of Code Large Language Models. CoRR (2024)
Jie Zhu, Leye Wang, Xiao Han, Anmin Liu, Tao Xie
Safety and Performance, Why Not Both? Bi-Objective Optimized Model Compression Against Heterogeneous Attacks Toward AI Software Deployment. IEEE Trans. Software Eng. 50 (3) (2024)
Yves Le Traon, Tao Xie
Model-based testing. Softw. Test. Verification Reliab. 33 (2) (2023)
Chaozheng Wang, Junhao Hu, Cuiyun Gao, Yu Jin, Tao Xie, Hailiang Huang, Zhenyu Lei, Yuetang Deng
How Practitioners Expect Code Completion? ESEC/SIGSOFT FSE (2023)
Tianyu Chen, Lin Li, Liuchuan Zhu, Zongyang Li, Guangtai Liang, Ding Li, Qianxiang Wang, Tao Xie
VulLibGen: Identifying Vulnerable Third-Party Libraries via Generative Pre-Trained Model. CoRR (2023)
Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. ICSE (2023)
Yi Liu, Yun Ma, Xusheng Xiao, Tao Xie, Xuanzhe Liu
LegoDroid: flexible Android app decomposition and instant installation. Sci. China Inf. Sci. 66 (4) (2023)
Ziyue Hua, Wei Lin, Luyao Ren, Zongyang Li, Lu Zhang, Wenpin Jiao, Tao Xie
GDsmith: Detecting Bugs in Cypher Graph Database Engines. ISSTA (2023)
Yves Le Traon, Tao Xie
Combinatorial testing and machine learning for automated test generation. Softw. Test. Verification Reliab. 33 (4) (2023)
Yihan Kong, Jing Li, Ting Xiong, Tao Xie
EVONChain: a bi-tiered public blockchain network architecture. Peer Peer Netw. Appl. 16 (6) (2023)
Yves Le Traon, Tao Xie
Model-based testing, test case prioritization and testing of virtual reality applications. Softw. Test. Verification Reliab. 33 (8) (2023)
Linyi Li, Tao Xie, Bo Li
SoK: Certified Robustness for Deep Neural Networks. SP (2023)
Yves Le Traon, Tao Xie
Test infrastructure and environment. Softw. Test. Verification Reliab. 33 (3) (2023)
Tianyu Chen, Lin Li, Bingjie Shan, Guangtai Liang, Ding Li, Qianxiang Wang, Tao Xie
Identifying Vulnerable Third-Party Libraries from Textual Descriptions of Vulnerabilities and Libraries. CoRR (2023)
Zhenwen Li, Jian-Guang Lou, Tao Xie
Data Transformation to Construct a Dataset for Generating Entity-Relationship Model from Natural Language. CoRR (2023)
Hao Yu, Bo Shen, Dezhi Ran, Jiaxin Zhang, Qi Zhang, Yuchi Ma, Guangtai Liang, Ying Li, Tao Xie, Qianxiang Wang
CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models. CoRR (2023)
Tao Xie, Wei-Dong Zhang, Yibo Zhang, Zahoor Ahmed, Yufei Tang
Marine Current Turbine Multifault Diagnosis Based on Optimization Resampled Modulus Feature and 1-D-CNN. IEEE Trans. Instrum. Meas. 72 (2023)
Jingling Sun, Ting Su, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie, Zhendong Su
Characterizing and Finding System Setting-Related Defects in Android Apps. IEEE Trans. Software Eng. 49 (4) (2023)
Yves Le Traon, Tao Xie
Deep neural network supervision and data flow testing. Softw. Test. Verification Reliab. 33 (6) (2023)
Junhao Hu, Chaozheng Wang, Hailiang Huang, Huang Luo, Yu Jin, Yuetang Deng, Tao Xie
Predicting Compilation Resources for Adaptive Build in an Industrial Setting. ASE (2023)
Yves Le Traon, Tao Xie
In vivo testing and integration of proving and testing. Softw. Test. Verification Reliab. 33 (7) (2023)
Yves Le Traon, Tao Xie
Quality assurance for Internet of Things and speech recognition systems. Softw. Test. Verification Reliab. 33 (5) (2023)
Yves Le Traon, Tao Xie
Fuzz testing for digital TV receivers and multitasking control software verification. Softw. Test. Verification Reliab. 33 (1) (2023)
Luyao Ren, Ziheng Wang, Yingfei Xiong, Li Zhang, Guoyue Jiang, Tao Xie
Effective Random Test Generation for Deep Learning Compilers. CoRR (2023)
Yihan Kong, Qinyang Chen, Jing Li, Ting Xiong, Tao Xie
EVONChain: A Public Blockchain Architecture with Bi-tiered Network for Edge Computing. CSCloud/EdgeCom (2023)
Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. CoRR (2023)
Tianyu Chen, Lin Li, Taotao Qian, Zeyu Wang, Guangtai Liang, Ding Li, Qianxiang Wang, Tao Xie
Identifying Vulnerability Patches by Comprehending Code Commits with Comprehensive Change Contexts. CoRR (2023)
Dezhi Ran, Hao Wang, Wenyu Wang, Tao Xie
Badge: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing. ICSE (2023)
Chaozheng Wang, Junhao Hu, Cuiyun Gao, Yu Jin, Tao Xie, Hailiang Huang, Zhenyu Lei, Yuetang Deng
Practitioners' Expectations on Code Completion. CoRR (2023)
Linyi Li, Jiawei Zhang, Tao Xie, Bo Li
Double Sampling Randomized Smoothing. CoRR (2022)
Yves Le Traon, Tao Xie
Integration testing and metamorphic testing. Softw. Test. Verification Reliab. 32 (4) (2022)
Zhuolin Yang, Linyi Li, Xiaojun Xu, Bhavya Kailkhura, Tao Xie, Bo Li
On the Certified Robustness for Ensemble Models and Beyond. ICLR (2022)
Dezhi Ran, Zongyang Li, Chenxu Liu, Wenyu Wang, Weizhi Meng, Xionglin Wu, Hui Jin, Jing Cui, Xing Tang, Tao Xie
Automated Visual Testing for Mobile Apps in an Industrial Setting. ICSE (SEIP) (2022)
Robert M. Hierons, Tao Xie
Combinatorial testing and model-based testing. Softw. Test. Verification Reliab. 32 (2) (2022)
Linyi Li, Jiawei Zhang, Tao Xie, Bo Li
Double Sampling Randomized Smoothing. ICML (2022)
Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell
A Large-Scale Longitudinal Study of Flaky Tests. Software Engineering (2022)
Hao Yu, Yiling Lou, Ke Sun, Dezhi Ran, Tao Xie, Dan Hao, Ying Li, Ge Li, Qianxiang Wang
Automated Assertion Generation via Information Retrieval and Its Integration with Deep learning. ICSE (2022)
Yunfan Zhang, Ruidong Zhu, Yingfei Xiong, Tao Xie
Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification. ASE (2022)
Hao Yu, Xing Hu, Ge Li, Ying Li, Qianxiang Wang, Tao Xie
Assessing and Improving an Evaluation Dataset for Detecting Semantic Code Clones via Deep Learning. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Anjiang Wei, Pu Yi, Zhengxi Li, Tao Xie, Darko Marinov, Wing Lam
Preempting Flaky Tests via Non-Idempotent-Outcome Tests. ICSE (2022)
Yves Le Traon, Tao Xie
Combinatorial testing and model checking. Softw. Test. Verification Reliab. 32 (6) (2022)
Wei Lin, Lu Zhang, Haotian Zhang, Kailai Shao, Mingming Zhang, Tao Xie
TaintSQL: Dynamically Tracking Fine-Grained Implicit Flows for SQL Statements. ISSRE (2022)
Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Wenhai Li, Dan Ding
Delta Debugging Microservice Systems with Parallel Optimization. IEEE Trans. Serv. Comput. 15 (1) (2022)
Robert M. Hierons, Tao Xie
Model checking, testing and debugging. Softw. Test. Verification Reliab. 32 (1) (2022)
Zhenwen Li, Jiaqi Guo, Qian Liu, Jian-Guang Lou, Tao Xie
Exploring the Secrets Behind the Learning Difficulty of Meaning Representations for Semantic Parsing. EMNLP (2022)
Pu Yi, Hao Wang, Tao Xie, Darko Marinov, Wing Lam
A Theoretical Analysis of Random Regression Test Prioritization. TACAS (2) (2022)
Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
NL2Viz: natural language to visualization via constrained syntax-guided synthesis. ESEC/SIGSOFT FSE (2022)
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). GECCO Companion (2022)
Robert M. Hierons, Tao Xie
Metamorphic testing and test automation. Softw. Test. Verification Reliab. 32 (3) (2022)
Bowen Li, Xin Peng, Qilin Xiang, Hanzhang Wang, Tao Xie, Jun Sun, Xuanzhe Liu
Enjoy your observability: an industrial survey of microservice tracing and analysis. Empir. Softw. Eng. 27 (1) (2022)
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su
Understanding and finding system setting-related defects in Android apps. ISSTA (2021)
Pu Yi, Anjiang Wei, Wing Lam, Tao Xie, Darko Marinov
Finding Polluter Tests Using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 46 (3) (2021)
Zhuolin Yang, Linyi Li, Xiaojun Xu, Bhavya Kailkhura, Tao Xie, Bo Li
On the Certified Robustness for Ensemble Models and Beyond. CoRR (2021)
Yingjie Fu, Jonathan Osei-Owusu, Angello Astorga, Zirui Neil Zhao, Wei Zhang, Tao Xie
PaCon: a symbolic analysis approach for tactic-oriented clustering of programming submissions. SPLASH-E (2021)
Robert M. Hierons, Tao Xie
Property generation/verification and empirical studies. Softw. Test. Verification Reliab. 31 (8) (2021)
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. ASE (2021)
Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Wenhai Li, Dan Ding
Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study. IEEE Trans. Software Eng. 47 (2) (2021)
Wenyu Wang, Wing Lam, Tao Xie
An infrastructure approach to improving effectiveness of Android UI testing tools. ISSTA (2021)
Robert M. Hierons, Tao Xie
Adaptive or embedded software testing and mutation testing. Softw. Test. Verification Reliab. 31 (7) (2021)
Wenyu Wang, Wei Yang, Tianyin Xu, Tao Xie
Speculating Ineffective UI Exploration via Trace Analysis. CoRR (2021)
Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, Tao Xie
Synthesizing contracts correct modulo a test generator. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Ting Xiong, Tao Xie, Jin Xie, Xiaochun Luo
ORIC: A Self-Adjusting Blockchain Protocol with High Throughput. ISPA/BDCloud/SocialCom/SustainCom (2021)
Wenyu Wang, Wei Yang, Tianyin Xu, Tao Xie
Vet: identifying and avoiding UI exploration tarpits. ESEC/SIGSOFT FSE (2021)
Linyi Li, Maurice Weber, Xiaojun Xu, Luka Rimanic, Bhavya Kailkhura, Tao Xie, Ce Zhang, Bo Li
TSS: Transformation-Specific Smoothing for Robustness Certification. CCS (2021)
Anjiang Wei, Pu Yi, Tao Xie, Darko Marinov, Wing Lam
Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests. TACAS (1) (2021)
Robert M. Hierons, Tao Xie
Editorial: Testing, Debugging, and Defect Prediction. Softw. Test. Verification Reliab. 31 (5) (2021)
Robert M. Hierons, Tao Xie
Editorial: Verification, reliability and performance. Softw. Test. Verification Reliab. 31 (6) (2021)
Qingshun Wang, Lihua Xu, Jun Xiao, Qi Guo, Haotian Zhang, Liang Dou, Liang He, Tao Xie
FinFuzzer: One Step Further in Fuzzing Fintech Systems. ASE (2021)
Robert M. Hierons, Tao Xie
Working Across Boundaries. Softw. Test. Verification Reliab. 30 (3) (2020)
Qun Xia, Zhongzhu Zhou, Zhihao Li, Bin Xu, Wei Zou, Zishun Chen, Huafeng Ma, Gangqiang Liang, Haochuan Lu, Shiyu Guo, Ting Xiong, Yuetang Deng, Tao Xie
JSidentify: a hybrid framework for detecting plagiarism among JavaScript code in online mini games. ICSE (SEIP) (2020)
Linyi Li, Maurice Weber, Xiaojun Xu, Luka Rimanic, Tao Xie, Ce Zhang, Bo Li
Provable Robust Learning Based on Transformation-Specific Smoothing. CoRR (2020)
Tao Xie, Zhi Jin, Xuandong Li, Gang Huang, Hausi A. Müller, Jun Pang, Li-Jun Zhang
Preface. J. Comput. Sci. Technol. 35 (6) (2020)
Linyi Li, Xiangyu Qi, Tao Xie, Bo Li
SoK: Certified Robustness for Deep Neural Networks. CoRR (2020)
Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu
CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software. IEEE Trans. Reliab. 69 (1) (2020)
Zhenpeng Chen, Yanbin Cao, Yuanqiang Liu, Haoyu Wang, Tao Xie, Xuanzhe Liu
Understanding Challenges in Deploying Deep Learning Based Software: An Empirical Study. CoRR (2020)
Jiaqi Guo, Qian Liu, Jian-Guang Lou, Zhenwen Li, Xueqing Liu, Tao Xie, Ting Liu
Benchmarking Meaning Representations in Neural Semantic Parsing. EMNLP (1) (2020)
Shudi Shao, Zhengyi Qiu, Xiao Yu, Wei Yang, Guoliang Jin, Tao Xie, Xintao Wu
Database-Access Performance Antipatterns in Database-Backed Web Applications. ICSME (2020)
Anita D. Carleton, Erin Harper, Tim Menzies, Tao Xie, Sigrid Eldh, Michael R. Lyu
The AI Effect: Working at the Intersection of AI and SE. IEEE Softw. 37 (4) (2020)
Liia Butler, Geoffrey Challen, Tao Xie
Data-Driven Investigation into Variants of Code Writing Questions. CSEE&T (2020)
Robert M. Hierons, Tao Xie
Conference Virtualization. Softw. Test. Verification Reliab. 30 (4-5) (2020)
Robert M. Hierons, Tao Xie
On automation in software engineering. Softw. Test. Verification Reliab. 30 (6) (2020)
Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie
Detecting numerical bugs in neural network architectures. ESEC/SIGSOFT FSE (2020)
Xiaofeng Guo, Xin Peng, Hanzhang Wang, Wanxue Li, Huai Jiang, Dan Ding, Tao Xie, Liangfei Su
Graph-based trace analysis for microservice architecture understanding and problem diagnosis. ESEC/SIGSOFT FSE (2020)
Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, Tao Xie
Dependent-test-aware regression testing techniques. ISSTA (2020)

Tao Xie.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tao Xie