default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTao Xie 0001
Person information
- affiliation: Peking University, School of Electronics Engineering and Computer Science, Department of Computer Science and Technology, China
- affiliation: University of Illinois at Urbana-Champaign, Department of Computer Science, IL, USA
- affiliation: North Carolina State University, Department of Computer Science, Raleigh, NC, USA
- affiliation: University of Washington, Department of Computer Science and Engineering, Seattle, WA, USA
Other persons with the same name
- Tao Xie — disambiguation page
- Tao Xie 0002
![[0000-0001-7658-6587]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0001-7658-6587")
— Institute for Systems Biology, Seattle, WA, USA - Tao Xie 0003 — Fudan University
- Tao Xie 0004 — San Diego State University, CA, USA
- Tao Xie 0005 — National University of Defense Technology, Institute of Automation, Changsha, China
- Tao Xie 0006 — Fraunhofer Institute for Production Technology (IPT), Paderborn, Germany (and 1 more)
- Tao Xie 0007 — Southwest University, Faculty of Education, Chongqing, China (and 1 more)
- Tao Xie 0008 — National University of Defense Technology, School of Electronic Science and Engineering, Changsha, China
- Tao Xie 0009 — Shanghai Jiao Tong University, Shanghai, China (and 1 more)
- Tao Xie 0010 — Harbin Institute of Technology, State Key Laboratory of Robotics and System, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j101]Dezhi Ran, Yingjie Fu, Yibo He, Tianyu Chen, Xing Tang, Tao Xie:
Path Toward Elderly Friendly Mobile Apps. Computer 57(6): 29-39 (2024)- [j100]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): 1750-1771 (2024) - [j99]Yves Le Traon, Tao Xie:
Test case prioritization and mutation testing. Softw. Test. Verification Reliab. 34(1) (2024) - [j98]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) - [j97]Yves Le Traon, Tao Xie:
Test code evolution and mutation testing. Softw. Test. Verification Reliab. 34(3) (2024) - [j96]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) - [j95]Yves Le Traon, Tao Xie:
Unsafe code detection in Rust and metamorphic testing of autonomous driving systems. Softw. Test. Verification Reliab. 34(5) (2024) - [j94]Yves Le Traon, Tao Xie:
Fault tolerance and metamorphic relation prediction. Softw. Test. Verification Reliab. 34(6) (2024) - [j93]Yves Le Traon, Tao Xie:
Metamorphic Testing and Web Element Localization. Softw. Test. Verification Reliab. 34(7) (2024) - [j92]Yves Le Traon, Tao Xie:
DNN Testing, Regression Testing and Software Reliability Prediction. Softw. Test. Verification Reliab. 34(8) (2024) - [j91]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): 376-390 (2024) - [c268]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: 9767-9780 - [c267]Hao Yu, Bo Shen, Dezhi Ran, Jiaxin Zhang, Qi Zhang, Yuchi Ma, Guangtai Liang, Ying Li, Qianxiang Wang, Tao Xie:
CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models. ICSE 2024: 37:1-37:12 - [c266]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: 69:1-69:13 - [c265]Pengcheng Fang, Peng Gao, Yun Peng, Qingzhao Zhang, Tao Xie, Dawn Song, Prateek Mittal, Sanjeev R. Kulkarni, Zhuotao Liu, Xusheng Xiao:
VFIX: Facilitating Software Maintenance of Smart Contracts via Automatically Fixing Vulnerabilities. ICSME 2024: 13-24 - [c264]Hao Wang, Pu (Luke) Yi, Jeremias Parladorio, Wing Lam, Darko Marinov, Tao Xie:
Hierarchy-Aware Regression Test Prioritization. ISSRE 2024: 343-354 - [c263]Dezhi Ran, Hao Wang, Zihe Song, Mengzhou Wu, Yuan Cao, Ying Zhang, Wei Yang, Tao Xie:
Guardian: A Runtime Framework for LLM-Based UI Exploration. ISSTA 2024: 958-970 - [c262]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: 74-86 - [c261]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: 10-20 - [i43]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. CoRR abs/2401.00996 (2024) - [i42]Zhenwen Li, Tao Xie:
Using LLM to select the right SQL Query from candidates. CoRR abs/2401.02115 (2024) - [i41]Luyao Ren, Xing Zhang, Ziyue Hua, Yanyan Jiang, Xiao He, Tao Xie:
Validity-Preserving Delta Debugging via Generator. CoRR abs/2402.04623 (2024) - [i40]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 abs/2403.17357 (2024) - [i39]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 abs/2404.07940 (2024) - [i38]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 abs/2406.01304 (2024) - [i37]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 abs/2406.17565 (2024) - [i36]Dezhi Ran, Mengzhou Wu, Wei Yang, Tao Xie:
Foundation Model Engineering: Engineering Foundation Models Just as Engineering Software. CoRR abs/2407.08176 (2024) - [i35]Daoguang Zan, Zhirong Huang, Ailun Yu, Shaoxin Lin, Yifan Shi, Wei Liu, Dong Chen, Zongshuai Qi, Hao Yu, Lei Yu, Dezhi Ran, Muhan Zeng, Bo Shen, Pan Bian, Guangtai Liang, Bei Guan, Pengjie Huang, Tao Xie, Yongji Wang, Qianxiang Wang:
SWE-bench-java: A GitHub Issue Resolving Benchmark for Java. CoRR abs/2408.14354 (2024) - [i34]Mengzhou Wu, Hao Wang, Jun Ren, Yuan Cao, Yuetong Li, Alex Jiang, Dezhi Ran, Yitao Hu, Wei Yang, Tao Xie:
Skill-Adpative Imitation Learning for UI Test Reuse. CoRR abs/2409.13311 (2024) - [i33]Shang Ma, Chaoran Chen, Shao Yang, Shifu Hou, Toby Jia-Jun Li, Xusheng Xiao, Tao Xie, Yanfang Ye:
Careful About What App Promotion Ads Recommend! Detecting and Explaining Malware Promotion via App Promotion Graph. CoRR abs/2410.07588 (2024) - [i32]Junhao Hu, Wenrui Huang, Haoyi Wang, Weidong Wang, Tiancheng Hu, Qin Zhang, Hao Feng, Xusheng Chen, Yizhou Shan, Tao Xie:
EPIC: Efficient Position-Independent Context Caching for Serving Large Language Models. CoRR abs/2410.15332 (2024) - [i31]Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu K. Lahiri, Tao Xie, Lidong Zhou:
Automated Proof Generation for Rust Code via Self-Evolution. CoRR abs/2410.15756 (2024) - [i30]Yingjie Fu, Bozhou Li, Linyi Li, Wentao Zhang, Tao Xie:
The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-based Code Generation. CoRR abs/2411.06774 (2024) - 2023
- [j90]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) - [j89]Yihan Kong, Jing Li, Ting Xiong, Tao Xie:
EVONChain: a bi-tiered public blockchain network architecture. Peer Peer Netw. Appl. 16(6): 2892-2914 (2023) - [j88]Yves Le Traon, Tao Xie:
Fuzz testing for digital TV receivers and multitasking control software verification. Softw. Test. Verification Reliab. 33(1) (2023) - [j87]Yves Le Traon, Tao Xie:
Model-based testing. Softw. Test. Verification Reliab. 33(2) (2023) - [j86]Yves Le Traon, Tao Xie:
Test infrastructure and environment. Softw. Test. Verification Reliab. 33(3) (2023) - [j85]Yves Le Traon, Tao Xie:
Combinatorial testing and machine learning for automated test generation. Softw. Test. Verification Reliab. 33(4) (2023) - [j84]Yves Le Traon, Tao Xie:
Quality assurance for Internet of Things and speech recognition systems. Softw. Test. Verification Reliab. 33(5) (2023) - [j83]Yves Le Traon, Tao Xie:
Deep neural network supervision and data flow testing. Softw. Test. Verification Reliab. 33(6) (2023) - [j82]Yves Le Traon, Tao Xie:
In vivo testing and integration of proving and testing. Softw. Test. Verification Reliab. 33(7) (2023) - [j81]Yves Le Traon, Tao Xie:
Model-based testing, test case prioritization and testing of virtual reality applications. Softw. Test. Verification Reliab. 33(8) (2023) - [j80]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): 2941-2963 (2023) - [c260]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: 247-253 - [c259]Dezhi Ran, Hao Wang, Wenyu Wang, Tao Xie:
Badge: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing. ICSE 2023: 894-905 - [c258]Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie:
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. ICSE 2023: 1827-1839 - [c257]Ziyue Hua, Wei Lin, Luyao Ren, Zongyang Li, Lu Zhang, Wenpin Jiao, Tao Xie:
GDsmith: Detecting Bugs in Cypher Graph Database Engines. ISSTA 2023: 163-174 - [c256]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: 1808-1813 - [c255]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: 1294-1306 - [c254]Linyi Li, Tao Xie, Bo Li:
SoK: Certified Robustness for Deep Neural Networks. SP 2023: 1289-1310 - [i29]Chaozheng Wang, Junhao Hu, Cuiyun Gao, Yu Jin, Tao Xie, Hailiang Huang, Zhenyu Lei, Yuetang Deng:
Practitioners' Expectations on Code Completion. CoRR abs/2301.03846 (2023) - [i28]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 abs/2302.00288 (2023) - [i27]Luyao Ren, Ziheng Wang, Yingfei Xiong, Li Zhang, Guoyue Jiang, Tao Xie:
Effective Random Test Generation for Deep Learning Compilers. CoRR abs/2302.00842 (2023) - [i26]Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie:
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. CoRR abs/2302.06086 (2023) - [i25]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 abs/2307.08206 (2023) - [i24]Pengcheng Fang, Peng Gao, Yun Peng, Qingzhao Zhang, Tao Xie, Dawn Song, Prateek Mittal, Sanjeev R. Kulkarni, Zhuotao Liu, Xusheng Xiao:
CONTRACTFIX: A Framework for Automatically Fixing Vulnerabilities in Smart Contracts. CoRR abs/2307.08912 (2023) - [i23]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 abs/2308.04662 (2023) - [i22]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 abs/2310.02530 (2023) - [i21]Li Li, Xiang Gao, Hailong Sun, Chunming Hu, Xiaoyu Sun, Haoyu Wang, Haipeng Cai, Ting Su, Xiapu Luo, Tegawendé F. Bissyandé, Jacques Klein, John C. Grundy, Tao Xie, Haibo Chen, Huaimin Wang:
Software Engineering for OpenHarmony: A Research Roadmap. CoRR abs/2311.01311 (2023) - [i20]Zhenwen Li, Jian-Guang Lou, Tao Xie:
Data Transformation to Construct a Dataset for Generating Entity-Relationship Model from Natural Language. CoRR abs/2312.13694 (2023) - 2022
- [j79]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): 25 (2022) - [j78]Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li:
Preface. J. Comput. Sci. Technol. 37(1): 1-3 (2022) - [j77]Robert M. Hierons, Tao Xie:
Model checking, testing and debugging. Softw. Test. Verification Reliab. 32(1) (2022) - [j76]Robert M. Hierons, Tao Xie:
Combinatorial testing and model-based testing. Softw. Test. Verification Reliab. 32(2) (2022) - [j75]Robert M. Hierons, Tao Xie:
Metamorphic testing and test automation. Softw. Test. Verification Reliab. 32(3) (2022) - [j74]Yves Le Traon, Tao Xie:
Integration testing and metamorphic testing. Softw. Test. Verification Reliab. 32(4) (2022) - [j73]Yves Le Traon, Tao Xie:
Combinatorial testing and model checking. Softw. Test. Verification Reliab. 32(6) (2022) - [j72]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): 62:1-62:25 (2022) - [j71]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): 16-29 (2022) - [c253]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: 3616-3625 - [c252]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: 33-34 - [c251]Zhuolin Yang, Linyi Li, Xiaojun Xu, Bhavya Kailkhura, Tao Xie, Bo Li:
On the Certified Robustness for Ensemble Models and Beyond. ICLR 2022 - [c250]Linyi Li, Jiawei Zhang, Tao Xie, Bo Li:
Double Sampling Randomized Smoothing. ICML 2022: 13163-13208 - [c249]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: 55-64 - [c248]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: 163-174 - [c247]Anjiang Wei, Pu Yi, Zhengxi Li, Tao Xie, Darko Marinov, Wing Lam:
Preempting Flaky Tests via Non-Idempotent-Outcome Tests. ICSE 2022: 1730-1742 - [c246]Wei Lin, Lu Zhang, Haotian Zhang, Kailai Shao, Mingming Zhang, Tao Xie:
TaintSQL: Dynamically Tracking Fine-Grained Implicit Flows for SQL Statements. ISSRE 2022: 1-12 - [c245]Yunfan Zhang, Ruidong Zhu, Yingfei Xiong, Tao Xie:
Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification. ASE 2022: 38:1-38:12 - [c244]Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell:
A Large-Scale Longitudinal Study of Flaky Tests. Software Engineering 2022: 57-59 - [c243]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: 972-983 - [c242]Pu Yi, Hao Wang, Tao Xie, Darko Marinov, Wing Lam:
A Theoretical Analysis of Random Regression Test Prioritization. TACAS (2) 2022: 217-235 - [i19]Linyi Li, Jiawei Zhang, Tao Xie, Bo Li:
Double Sampling Randomized Smoothing. CoRR abs/2206.07912 (2022) - [i18]Wei Lin, Ziyue Hua, Luyao Ren, Zongyang Li, Lu Zhang, Tao Xie:
GDsmith: Detecting Bugs in Graph Database Engines. CoRR abs/2206.08530 (2022) - 2021
- [j70]Tao Xie, Shengchao Qin, Wenhui Zhang:
Preface. J. Comput. Sci. Technol. 36(6): 1229-1230 (2021) - [j69]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): 1-27 (2021) - [j68]Pu Yi, Anjiang Wei, Wing Lam, Tao Xie, Darko Marinov:
Finding Polluter Tests Using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 46(3): 37-41 (2021) - [j67]Robert M. Hierons, Tao Xie:
Editorial: Testing, Debugging, and Defect Prediction. Softw. Test. Verification Reliab. 31(5) (2021) - [j66]Robert M. Hierons, Tao Xie:
Editorial: Verification, reliability and performance. Softw. Test. Verification Reliab. 31(6) (2021) - [j65]Robert M. Hierons, Tao Xie:
Adaptive or embedded software testing and mutation testing. Softw. Test. Verification Reliab. 31(7) (2021) - [j64]Robert M. Hierons, Tao Xie:
Property generation/verification and empirical studies. Softw. Test. Verification Reliab. 31(8) (2021) - [j63]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): 243-260 (2021) - [c241]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: 535-557 - [c240]Ting Xiong, Tao Xie, Jin Xie, Xiaochun Luo:
ORIC: A Self-Adjusting Blockchain Protocol with High Throughput. ISPA/BDCloud/SocialCom/SustainCom 2021: 1422-1434 - [c239]Wenyu Wang, Wing Lam, Tao Xie:
An infrastructure approach to improving effectiveness of Android UI testing tools. ISSTA 2021: 165-176 - [c238]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: 204-215 - [c237]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: 279-291 - [c236]Hanzhang Wang, Zhengkai Wu, Huai Jiang, Yichao Huang, Jiamu Wang, Selçuk Köprü, Tao Xie:
Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial Settings. ASE 2021: 419-429 - [c235]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: 1111-1115 - [c234]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: 32-42 - [c233]Wenyu Wang, Wei Yang, Tianyin Xu, Tao Xie:
Vet: identifying and avoiding UI exploration tarpits. ESEC/SIGSOFT FSE 2021: 83-94 - [c232]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: 270-287 - [i17]Wenyu Wang, Wei Yang, Tianyin Xu, Tao Xie:
Speculating Ineffective UI Exploration via Trace Analysis. CoRR abs/2102.06377 (2021) - [i16]Qilin Xiang, Xin Peng, Chuan He, Hanzhang Wang, Tao Xie, Dewei Liu, Gang Zhang, Yuanfang Cai:
No Free Lunch: Microservice Practices Reconsidered in Industry. CoRR abs/2106.07321 (2021) - [i15]Zhuolin Yang, Linyi Li, Xiaojun Xu, Bhavya Kailkhura, Tao Xie, Bo Li:
On the Certified Robustness for Ensemble Models and Beyond. CoRR abs/2107.10873 (2021) - [i14]Hanzhang Wang, Zhengkai Wu, Huai Jiang, Yichao Huang, Jiamu Wang, Selçuk Köprü, Tao Xie:
Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial Settings. CoRR abs/2108.00344 (2021) - 2020
- [j62]Tao Xie, Zhi Jin, Xuandong Li, Gang Huang, Hausi A. Müller, Jun Pang, Lijun Zhang:
Preface. J. Comput. Sci. Technol. 35(6): 1231-1233 (2020) - [j61]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): 202:1-202:29 (2020) - [j60]Robert M. Hierons, Tao Xie:
Peer Reviewing in Software Engineering: Perspectives from STVR Co-Editors-in-Chief. ACM SIGSOFT Softw. Eng. Notes 45(4): 18 (2020) - [j59]