Tao Xie

ORCID

Publication Activity (10 Years)

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

Top Venues

Softw. Test. Verification Reliab.

CoRR

ESEC/SIGSOFT FSE

ASE

Publications

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)
Yves Le Traon, Tao Xie
Test case prioritization and mutation testing. Softw. Test. Verification Reliab. 34 (1) (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)
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)
Linyi Li, Zhenwen Li, Weijie Zhang, Jun Zhou, Pengcheng Wang, Jing Wu, Guanghua He, Xia Zeng, Yuetang Deng, Tao Xie
Clustering test steps in natural language toward automating test automation. ESEC/SIGSOFT FSE (2020)
Zhenpeng Chen, Yanbin Cao, Yuanqiang Liu, Haoyu Wang, Tao Xie, Xuanzhe Liu
A comprehensive study on challenges in deploying deep learning based software. ESEC/SIGSOFT FSE (2020)
Robert M. Hierons, Tao Xie
Peer Reviewing in Software Engineering: Perspectives from STVR Co-Editors-in-Chief. ACM SIGSOFT Softw. Eng. Notes 45 (4) (2020)
Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell
A large-scale longitudinal study of flaky tests. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Anita D. Carleton, Erin Harper, Michael R. Lyu, Sigrid Eldh, Tao Xie, Tim Menzies
Expert Perspectives on AI. IEEE Softw. 37 (4) (2020)
Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Raghu Kacker, D. Richard Kuhn, Tao Xie, David Chenho Kung
A Combinatorial Testing-Based Approach to Fault Localization. IEEE Trans. Software Eng. 46 (6) (2020)
Benjamin Andow, Samin Yaseer Mahmud, Wenyu Wang, Justin Whitaker, William Enck, Bradley Reaves, Kapil Singh, Tao Xie
PolicyLint: Investigating Internal Privacy Policy Contradictions on Google Play. USENIX Security Symposium (2019)
Hao Yu, Wing Lam, Long Chen, Ge Li, Tao Xie, Qianxiang Wang
Neural detection of semantic code clones via tree-based convolution. ICPC (2019)
Chen Zhi, Shuiguang Deng, Jianwei Yin, Min Fu, Hai Zhu, Yuanping Li, Tao Xie
Quality Assessment for Large-Scale Industrial Software Systems: Experience Report at Alibaba. APSEC (2019)
Tiancheng Jin, Qingshun Wang, Lihua Xu, Chunmei Pan, Liang Dou, Haifeng Qian, Liang He, Tao Xie
FinExpert: domain-specific test generation for FinTech systems. ESEC/SIGSOFT FSE (2019)
Wing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie
iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests. ICST (2019)
August Shi, Wing Lam, Reed Oei, Tao Xie, Darko Marinov
iFixFlakies: a framework for automatically fixing order-dependent flaky tests. ESEC/SIGSOFT FSE (2019)
Chen Zhi, Jianwei Yin, Shuiguang Deng, Maoxin Ye, Min Fu, Tao Xie
An Exploratory Study of Logging Configuration Practice in Java. ICSME (2019)
Wujie Zheng, Wenyu Wang, Dian Liu, Changrong Zhang, Qinsong Zeng, Yuetang Deng, Wei Yang, Pinjia He, Tao Xie
Testing untestable neural machine translation: an industrial case. ICSE (Companion Volume) (2019)

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

Publication Activity (10 Years)

Top Topics

Top Venues

Tao Xie