Tao Xie - RankMe

467 papers A* 89A 53B 18C 5Misc 1Journal 174Unranked 119

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An Empirical Study and Theoretical Explanation on Task-Level Model-Merging Collapse. CoRR Yuan Cao, Dezhi Ran, Yuzhe Guo, Mengzhou Wu, Simin Chen, Linyi Li, Wei Yang, Tao Xie
2026	J	`jnl`	GUI-GENESIS: Automated Synthesis of Efficient Environments with Verifiable Rewards for GUI Agent Post-Training. CoRR Yuan Cao, Dezhi Ran, Mengzhou Wu, Yuzhe Guo, Xin Chen, Ang Li, Gang Cao, Gong Zhi, Hao Yu, Linyi Li, Wei Yang, Tao Xie
2026	J	`jnl`	Hummingbird: SLO-Oriented GPU Preemption at Microsecond-scale. CoRR Tiancheng Hu, Chenxi Wang, Ting Cao, Jin Qin, Lei Chen, Xinyu Xiao, Junhao Hu, Hongliang Tian, Shoumeng Yan, Huimin Cui, Quan Chen, Tao Xie
2026	J	`jnl`	Judge: Effective State Abstraction for Guiding Automated Web GUI Testing. ACM Trans. Softw. Eng. Methodol. Chenxu Liu, Junheng Wang, Wei Yang, Ying Zhang, Tao Xie
2026	J	`jnl`	Lil: Less is Less When Applying Post-Training Sparse-Attention Algorithms in Long-Decode Stage. CoRR Junhao Hu, Fangze Li, Mingtao Xu, Feifan Meng, Shiju Zhao, Tiancheng Hu, Ting Peng, Anmin Liu, Wenrui Huang, Chenxu Liu, Ziyue Hua, Tao Xie
2026	J	`jnl`	Software Engineering for OpenHarmony: A Research Roadmap. ACM Comput. Surv. Li Li, Xiang Gao, Hailong Sun, Chunming Hu, Carolyn Sun, Haoyu Wang, Haipeng Cai, Ting Su, Xiapu Luo, Tegawendé F. Bissyandé, Jacques Klein, John C. Grundy, Tao Xie, Haibo Chen, Huaimin Wang
2026	J	`jnl`	Synthesizing File-Level Data for Unit Test Generation with Chain-of-Thoughts via Self-Debugging. CoRR Ziyue Hua, Tianyu Chen, Yeyun Gong, Shuai Lu, Peng Cheng, Qinglin Zhu, Yibo He, Yingjie Fu, Wenpin Jiao, Wei Yang, Tao Xie
2026	J	`jnl`	WebCoderBench: Benchmarking Web Application Generation with Comprehensive and Interpretable Evaluation Metrics. CoRR Chenxu Liu, Yingjie Fu, Wei Yang, Ying Zhang, Tao Xie
2025	J	`jnl`	An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models. CoRR Dezhi Ran, Mengzhou Wu, Yuan Cao, Assaf Marron, David Harel, Tao Xie
2025	J	`jnl`	An infrastructure software perspective toward computation offloading between executable specifications and foundation models. Sci. China Inf. Sci. Dezhi Ran, Mengzhou Wu, Yuan Cao, Assaf Marron, David Harel, Tao Xie
2025	J	`jnl`	AppForge: From Assistant to Independent Developer - Are GPTs Ready for Software Development? CoRR Dezhi Ran, Yuan Cao, Mengzhou Wu, Simin Chen, Yuzhe Guo, Jun Ren, Zihe Song, Hao Yu, Jialei Wei, Linyi Li, Wei Yang, Baishakhi Ray, Tao Xie
2025	A*	`conf`	Automated Proof Generation for Rust Code via Self-Evolution. ICLR 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
2025	A*	`conf`	Benchmarking Large Language Models Under Data Contamination: A Survey from Static to Dynamic Evaluation. EMNLP Simin Chen, Yiming Chen, Zexin Li, Yifan Jiang, Zhongwei Wan, Yixin He, Dezhi Ran, Tianle Gu, Haizhou Li, Tao Xie, Baishakhi Ray
2025	J	`jnl`	Beyond Pass or Fail: A Multi-dimensional Benchmark for Mobile UI Navigation. CoRR Dezhi Ran, Mengzhou Wu, Hao Yu, Yuetong Li, Jun Ren, Yuan Cao, Xia Zeng, Haochuan Lu, Zexin Xu, Mengqian Xu, Ting Su, Liangchao Yao, Ting Xiong, Wei Yang, Yuetang Deng, Assaf Marron, David Harel, Tao Xie
2025	A*	`conf`	Careful About What App Promotion Ads Recommend! Detecting and Explaining Malware Promotion via App Promotion Graph. NDSS Shang Ma, Chaoran Chen, Shao Yang, Shifu Hou, Toby Jia-Jun Li, Xusheng Xiao, Tao Xie, Yanfang Ye
2025	J	`jnl`	Data and System Perspectives of Sustainable Artificial Intelligence. CoRR Tao Xie, David Harel, Dezhi Ran, Zhenwen Li, Maoliang Li, Zhi Yang, Leye Wang, Xiang Chen, Ying Zhang, Wentao Zhang, Meng Li, Chen Zhang, Linyi Li, Assaf Marron
2025	J	`jnl`	DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model. CoRR Hao Yu, Tianyu Chen, Jiaming Huang, Zongyang Li, Dezhi Ran, Xinyu Wang, Ying Li, Assaf Marron, David Harel, Yuan Xie, Tao Xie
2025	A	`conf`	Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories. ECOOP Tianyu Chen, Zeyu Wang, Lin Li, Ding Li, Zongyang Li, Xiaoning Chang, Pan Bian, Guangtai Liang, Qianxiang Wang, Tao Xie
2025	A*	`conf`	EPIC: Efficient Position-Independent Caching for Serving Large Language Models. ICML Junhao Hu, Wenrui Huang, Weidong Wang, Haoyi Wang, Tiancheng Hu, Qin Zhang, Hao Feng, Xusheng Chen, Yizhou Shan, Tao Xie
2025	J	`jnl`	Effective random test generation for deep learning compilers. Sci. China Inf. Sci. Luyao Ren, Ziheng Wang, Li Zhang, Guoyue Jiang, Yingfei Xiong, Tao Xie
2025	J	`jnl`	Efficient Long-Decoding Inference with Reasoning-Aware Attention Sparsity. CoRR Junhao Hu, Wenrui Huang, Weidong Wang, Zhenwen Li, Tiancheng Hu, Zhixia Liu, Xusheng Chen, Tao Xie, Yizhou Shan
2025	—	`conf`	Efficient and Robust Security-Patch Localization for Disclosed OSS Vulnerabilities with Fine-Tuned LLMs in an Industrial Setting. SIGSOFT FSE Companion Dezhi Ran, Lin Li, Liuchuan Zhu, Yuan Cao, Landelong Zhao, Xin Tan, Guangtai Liang, Qianxiang Wang, Tao Xie
2025	A*	`conf`	Element-Aware Fine-Tuning of Vision-Language Models for Cost-Efficient GUI Testing in an Industrial Setting. ASE Mengzhou Wu, Yuzhe Guo, Yuan Cao, Haochuan Lu, Hengyu Zhang, Xia Zeng, Liangchao Yao, Yuetang Deng, Dezhi Ran, Wei Yang, Tao Xie
2025	J	`jnl`	Foundation Model Engineering: Engineering Foundation Models Just as Engineering Software. ACM Trans. Softw. Eng. Methodol. Dezhi Ran, Mengzhou Wu, Wei Yang, Tao Xie
2025	J	`jnl`	From User Interface to Agent Interface: Efficiency Optimization of UI Representations for LLM Agents. CoRR Dezhi Ran, Zhi Gong, Yuzhe Guo, Mengzhou Wu, Yuan Cao, Haochuan Lu, Hengyu Zhang, Xia Zeng, Gang Cao, Liangchao Yao, Yuetang Deng, Wei Yang, Tao Xie
2025	J	`jnl`	Identifying Affected Third-Party Java Libraries from Textual Descriptions of Vulnerabilities and Libraries. ACM Trans. Softw. Eng. Methodol. Tianyu Chen, Lin Li, Bingjie Shan, Guangtai Liang, Ding Li, Qianxiang Wang, Tao Xie
2025	J	`jnl`	JSimpo: Structural Deobfuscation of JavaScript Programs. ACM Trans. Softw. Eng. Methodol. Tianyu Chen, Ding Li, Ying Zhang, Tao Xie
2025	J	`jnl`	KernelBand: Boosting LLM-based Kernel Optimization with a Hierarchical and Hardware-aware Multi-armed Bandit. CoRR Dezhi Ran, Shuxiao Xie, Mingfang Ji, Ziyue Hua, Mengzhou Wu, Yuan Cao, Yuzhe Guo, Hao Yu, Linyi Li, Yitao Hu, Tao Xie
2025	J	`jnl`	LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators. CoRR Yuchen Liu, Junhao Hu, Yingdi Shan, Ge Li, Yanzhen Zou, Yihong Dong, Tao Xie
2025	J	`jnl`	LogLabeler: Towards Effective Acquisition of Log Labels in Industrial Log-Based Analysis. IEEE Trans. Serv. Comput. Zongyang Li, Qinglong Wang, Shangming Cai, Zheng Liu, Tao Ma, Wei Yang, Ying Li, Tao Xie
2025	J	`jnl`	Medusa: A Framework for Collaborative Development of Foundation Models with Automated Parameter Ownership Assignment. Proc. ACM Softw. Eng. Dezhi Ran, Yuan Cao, Yuzhe Guo, Yuetong Li, Mengzhou Wu, Simin Chen, Wei Yang, Tao Xie
2025	A*	`conf`	Orthrus: Efficient and Timely Detection of Silent User Data Corruption in the Cloud with Resource-Adaptive Computation Validation. SOSP Chenxiao Liu, Zhenting Zhu, Quanxi Li, Yanwen Xia, Yifan Qiao, Xiangyun Deng, Youyou Lu, Tao Xie, Huimin Cui, Zidong Du, Harry Xu, Chenxi Wang
2025	A*	`conf`	Practical Escape of Exploration Tarpits for Mini-Game Testing in an Industrial Setting. ASE Yuan Cao, Dezhi Ran, Haochuan Lu, Chao Guo, Xuran Hao, Zhuoru Chen, Ting Xiong, Yuetang Deng, Tao Xie
2025	A*	`conf`	RVISmith: Fuzzing Compilers for RVV Intrinsics. CCS Yibo He, Cunjian Huang, Xianmiao Qu, Hongdeng Chen, Wei Yang, Tao Xie
2025	J	`jnl`	RVISmith: Fuzzing Compilers for RVV Intrinsics. CoRR Yibo He, Cunjian Huang, Xianmiao Qu, Hongdeng Chen, Wei Yang, Tao Xie
2025	J	`jnl`	Recent Advances in Large Langauge Model Benchmarks against Data Contamination: From Static to Dynamic Evaluation. CoRR Simin Chen, Yiming Chen, Zexin Li, Yifan Jiang, Zhongwei Wan, Yixin He, Dezhi Ran, Tianle Gu, Haizhou Li, Tao Xie, Baishakhi Ray
2025	J	`jnl`	SimdBench: Benchmarking Large Language Models for SIMD-Intrinsic Code Generation. CoRR Yibo He, Shuoran Zhao, Jiaming Huang, Yingjie Fu, Hao Yu, Cunjian Huang, Tao Xie
2025	—	`conf`	TaOPT: Tool-Agnostic Optimization of Parallelized Automated Mobile UI Testing. ASPLOS (2) Dezhi Ran, Zihe Song, Wenyu Wang, Wei Yang, Tao Xie
2025	J	`jnl`	Temac: Multi-Agent Collaboration for Automated Web GUI Testing. CoRR Chenxu Liu, Zhiyu Gu, Guoquan Wu, Ying Zhang, Jun Wei, Tao Xie
2025	J	`jnl`	Text2SQL-Flow: A Robust SQL-Aware Data Augmentation Framework for Text-to-SQL. CoRR Qifeng Cai, Hao Liang, Chang Xu, Tao Xie, Wentao Zhang, Bin Cui
2025	J	`jnl`	The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-Based Code Generation. Proc. ACM Softw. Eng. Yingjie Fu, Bozhou Li, Linyi Li, Wentao Zhang, Tao Xie
2025	J	`jnl`	Validity-Preserving Delta Debugging via Generator Trace Reduction. ACM Trans. Softw. Eng. Methodol. Luyao Ren, Xing Zhang, Ziyue Hua, Yanyan Jiang, Xiao He, Yingfei Xiong, Tao Xie
2025	J	`jnl`	Wenwang: Toward Effectively Generating Code Beyond Standalone Functions via Generative Pre-trained Models. ACM Trans. Softw. Eng. Methodol. Hao Yu, Bo Shen, Jiaxin Zhang, Shaoxin Lin, Lin Li, Guangtai Liang, Ying Li, Qianxiang Wang, Tao Xie
2024	J	`jnl`	An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation. Proc. ACM Softw. Eng. Yibo He, Jiaming Huang, Hao Yu, Tao Xie
2024	J	`jnl`	Automated Proof Generation for Rust Code via Self-Evolution. CoRR 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
2024	J	`jnl`	Bud hunting with directed fuzz testing and source code vulnerability detection with advanced graph neural networks. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2024	J	`jnl`	Careful About What App Promotion Ads Recommend! Detecting and Explaining Malware Promotion via App Promotion Graph. CoRR Shang Ma, Chaoran Chen, Shao Yang, Shifu Hou, Toby Jia-Jun Li, Xusheng Xiao, Tao Xie, Yanfang Ye
2024	J	`jnl`	CodeR: Issue Resolving with Multi-Agent and Task Graphs. CoRR 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
2024	A*	`conf`	CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models. ICSE Hao Yu, Bo Shen, Dezhi Ran, Jiaxin Zhang, Qi Zhang, Yuchi Ma, Guangtai Liang, Ying Li, Qianxiang Wang, Tao Xie
2024	J	`jnl`	DNN Testing, Regression Testing and Software Reliability Prediction. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2024	J	`jnl`	EPIC: Efficient Position-Independent Context Caching for Serving Large Language Models. CoRR Junhao Hu, Wenrui Huang, Haoyi Wang, Weidong Wang, Tiancheng Hu, Qin Zhang, Hao Feng, Xusheng Chen, Yizhou Shan, Tao Xie
2024	J	`jnl`	Fault tolerance and metamorphic relation prediction. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2024	—	`conf`	FinHunter: Improved Search-Based Test Generation for Structural Testing of FinTech Systems. SIGSOFT FSE Companion Xuanwen Ding, Qingshun Wang, Dan Liu, Lihua Xu, Jun Xiao, Bojun Zhang, Xue Li, Liang Dou, Liang He, Tao Xie
2024	J	`jnl`	Foundation Model Engineering: Engineering Foundation Models Just as Engineering Software. CoRR Dezhi Ran, Mengzhou Wu, Wei Yang, Tao Xie
2024	A	`conf`	Guardian: A Runtime Framework for LLM-Based UI Exploration. ISSTA Dezhi Ran, Hao Wang, Zihe Song, Mengzhou Wu, Yuan Cao, Ying Zhang, Wei Yang, Tao Xie
2024	A	`conf`	Hierarchy-Aware Regression Test Prioritization. ISSRE Hao Wang, Pu (Luke) Yi, Jeremias Parladorio, Wing Lam, Darko Marinov, Tao Xie
2024	A*	`conf`	InfiBench: Evaluating the Question-Answering Capabilities of Code Large Language Models. NeurIPS Linyi Li, Shijie Geng, Zhenwen Li, Yibo He, Hao Yu, Ziyue Hua, Guanghan Ning, Siwei Wang, Tao Xie, Hongxia Yang
2024	J	`jnl`	InfiCoder-Eval: Systematically Evaluating the Question-Answering Capabilities of Code Large Language Models. CoRR Linyi Li, Shijie Geng, Zhenwen Li, Yibo He, Hao Yu, Ziyue Hua, Guanghan Ning, Siwei Wang, Tao Xie, Hongxia Yang
2024	J	`jnl`	Investigating fault injection techniques in hardware-based deep neural networks and mutation-based fault localization. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2024	A*	`conf`	Learning-based Widget Matching for Migrating GUI Test Cases. ICSE Yakun Zhang, Wenjie Zhang, Dezhi Ran, Qihao Zhu, Chengfeng Dou, Dan Hao, Tao Xie, Lu Zhang
2024	A	`conf`	MESIA: Understanding and Leveraging Supplementary Nature of Method-level Comments for Automatic Comment Generation. ICPC Xinglu Pan, Chenxiao Liu, Yanzhen Zou, Tao Xie, Bing Xie
2024	J	`jnl`	MESIA: Understanding and Leveraging Supplementary Nature of Method-level Comments for Automatic Comment Generation. CoRR Xinglu Pan, Chenxiao Liu, Yanzhen Zou, Tao Xie, Bing Xie
2024	J	`jnl`	MemServe: Context Caching for Disaggregated LLM Serving with Elastic Memory Pool. CoRR Cunchen Hu, Heyang Huang, Junhao Hu, Jiang Xu, Xusheng Chen, Tao Xie, Chenxi Wang, Sa Wang, Yungang Bao, Ninghui Sun, Yizhou Shan
2024	J	`jnl`	Metamorphic Testing and Web Element Localization. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2024	J	`jnl`	Path Toward Elderly Friendly Mobile Apps. Computer Dezhi Ran, Yingjie Fu, Yibo He, Tianyu Chen, Xing Tang, Tao Xie
2024	J	`jnl`	SWE-bench-java: A GitHub Issue Resolving Benchmark for Java. CoRR 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
2024	J	`jnl`	Safety and Performance, Why Not Both? Bi-Objective Optimized Model Compression Against Heterogeneous Attacks Toward AI Software Deployment. IEEE Trans. Software Eng. Jie Zhu, Leye Wang, Xiao Han, Anmin Liu, Tao Xie
2024	J	`jnl`	Safety and Performance, Why Not Both? Bi-Objective Optimized Model Compression against Heterogeneous Attacks Toward AI Software Deployment. CoRR Jie Zhu, Leye Wang, Xiao Han, Anmin Liu, Tao Xie
2024	J	`jnl`	Skill-Adpative Imitation Learning for UI Test Reuse. CoRR Mengzhou Wu, Hao Wang, Jun Ren, Yuan Cao, Yuetong Li, Alex Jiang, Dezhi Ran, Yitao Hu, Wei Yang, Tao Xie
2024	J	`jnl`	Test case prioritization and mutation testing. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2024	J	`jnl`	Test code evolution and mutation testing. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2024	J	`jnl`	The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-based Code Generation. CoRR Yingjie Fu, Bozhou Li, Linyi Li, Wentao Zhang, Tao Xie
2024	J	`jnl`	Unsafe code detection in Rust and metamorphic testing of autonomous driving systems. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2024	J	`jnl`	Using LLM to select the right SQL Query from candidates. CoRR Zhenwen Li, Tao Xie
2024	A	`conf`	VFIX: Facilitating Software Maintenance of Smart Contracts via Automatically Fixing Vulnerabilities. ICSME Pengcheng Fang, Peng Gao, Yun Peng, Qingzhao Zhang, Tao Xie, Dawn Song, Prateek Mittal, Sanjeev R. Kulkarni, Zhuotao Liu, Xusheng Xiao
2024	J	`jnl`	Validity-Preserving Delta Debugging via Generator. CoRR Luyao Ren, Xing Zhang, Ziyue Hua, Yanyan Jiang, Xiao He, Tao Xie
2024	—	`conf`	VulLibGen: Generating Names of Vulnerability-Affected Packages via a Large Language Model. ACL (1) Tianyu Chen, Lin Li, ZhuLiuchuan ZhuLiuchuan, Zongyang Li, Xueqing Liu, Guangtai Liang, Qianxiang Wang, Tao Xie
2023	A*	`conf`	Badge: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing. ICSE Dezhi Ran, Hao Wang, Wenyu Wang, Tao Xie
2023	J	`jnl`	CONTRACTFIX: A Framework for Automatically Fixing Vulnerabilities in Smart Contracts. CoRR Pengcheng Fang, Peng Gao, Yun Peng, Qingzhao Zhang, Tao Xie, Dawn Song, Prateek Mittal, Sanjeev R. Kulkarni, Zhuotao Liu, Xusheng Xiao
2023	J	`jnl`	Characterizing and Finding System Setting-Related Defects in Android Apps. IEEE Trans. Software Eng. Jingling Sun, Ting Su, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie, Zhendong Su
2023	J	`jnl`	CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models. CoRR Hao Yu, Bo Shen, Dezhi Ran, Jiaxin Zhang, Qi Zhang, Yuchi Ma, Guangtai Liang, Ying Li, Tao Xie, Qianxiang Wang
2023	J	`jnl`	Combinatorial testing and machine learning for automated test generation. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2023	J	`jnl`	Data Transformation to Construct a Dataset for Generating Entity-Relationship Model from Natural Language. CoRR Zhenwen Li, Jian-Guang Lou, Tao Xie
2023	J	`jnl`	Deep neural network supervision and data flow testing. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2023	—	`conf`	EVONChain: A Public Blockchain Architecture with Bi-tiered Network for Edge Computing. CSCloud/EdgeCom Yihan Kong, Qinyang Chen, Jing Li, Ting Xiong, Tao Xie
2023	J	`jnl`	EVONChain: a bi-tiered public blockchain network architecture. Peer Peer Netw. Appl. Yihan Kong, Jing Li, Ting Xiong, Tao Xie
2023	J	`jnl`	Effective Random Test Generation for Deep Learning Compilers. CoRR Luyao Ren, Ziheng Wang, Yingfei Xiong, Li Zhang, Guoyue Jiang, Tao Xie
2023	J	`jnl`	Fuzz testing for digital TV receivers and multitasking control software verification. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2023	A	`conf`	GDsmith: Detecting Bugs in Cypher Graph Database Engines. ISSTA Ziyue Hua, Wei Lin, Luyao Ren, Zongyang Li, Lu Zhang, Wenpin Jiao, Tao Xie
2023	—	`conf`	How Practitioners Expect Code Completion? ESEC/SIGSOFT FSE Chaozheng Wang, Junhao Hu, Cuiyun Gao, Yu Jin, Tao Xie, Hailiang Huang, Zhenyu Lei, Yuetang Deng
2023	J	`jnl`	Identifying Vulnerability Patches by Comprehending Code Commits with Comprehensive Change Contexts. CoRR Tianyu Chen, Lin Li, Taotao Qian, Zeyu Wang, Guangtai Liang, Ding Li, Qianxiang Wang, Tao Xie
2023	J	`jnl`	Identifying Vulnerable Third-Party Libraries from Textual Descriptions of Vulnerabilities and Libraries. CoRR Tianyu Chen, Lin Li, Bingjie Shan, Guangtai Liang, Ding Li, Qianxiang Wang, Tao Xie
2023	J	`jnl`	In vivo testing and integration of proving and testing. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2023	J	`jnl`	LegoDroid: flexible Android app decomposition and instant installation. Sci. China Inf. Sci. Yi Liu, Yun Ma, Xusheng Xiao, Tao Xie, Xuanzhe Liu
2023	J	`jnl`	Model-based testing, test case prioritization and testing of virtual reality applications. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2023	J	`jnl`	Model-based testing. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2023	J	`jnl`	Practitioners' Expectations on Code Completion. CoRR Chaozheng Wang, Junhao Hu, Cuiyun Gao, Yu Jin, Tao Xie, Hailiang Huang, Zhenyu Lei, Yuetang Deng
2023	A*	`conf`	Predicting Compilation Resources for Adaptive Build in an Industrial Setting. ASE Junhao Hu, Chaozheng Wang, Hailiang Huang, Huang Luo, Yu Jin, Yuetang Deng, Tao Xie
2023	J	`jnl`	Quality assurance for Internet of Things and speech recognition systems. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2023	A*	`conf`	Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. ICSE Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie
2023	J	`jnl`	Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. CoRR Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie
2023	A*	`conf`	SoK: Certified Robustness for Deep Neural Networks. SP Linyi Li, Tao Xie, Bo Li
2023	J	`jnl`	Software Engineering for OpenHarmony: A Research Roadmap. CoRR 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
2023	J	`jnl`	Test infrastructure and environment. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2023	J	`jnl`	VulLibGen: Identifying Vulnerable Third-Party Libraries via Generative Pre-Trained Model. CoRR Tianyu Chen, Lin Li, Liuchuan Zhu, Zongyang Li, Guangtai Liang, Ding Li, Qianxiang Wang, Tao Xie
2022	C	`conf`	A Large-Scale Longitudinal Study of Flaky Tests. Software Engineering Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell
2022	—	`conf`	A Theoretical Analysis of Random Regression Test Prioritization. TACAS (2) Pu Yi, Hao Wang, Tao Xie, Darko Marinov, Wing Lam
2022	J	`jnl`	Assessing and Improving an Evaluation Dataset for Detecting Semantic Code Clones via Deep Learning. ACM Trans. Softw. Eng. Methodol. Hao Yu, Xing Hu, Ge Li, Ying Li, Qianxiang Wang, Tao Xie
2022	A*	`conf`	Automated Assertion Generation via Information Retrieval and Its Integration with Deep learning. ICSE Hao Yu, Yiling Lou, Ke Sun, Dezhi Ran, Tao Xie, Dan Hao, Ying Li, Ge Li, Qianxiang Wang
2022	—	`conf`	Automated Visual Testing for Mobile Apps in an Industrial Setting. ICSE (SEIP) Dezhi Ran, Zongyang Li, Chenxu Liu, Wenyu Wang, Weizhi Meng, Xionglin Wu, Hui Jin, Jing Cui, Xing Tang, Tao Xie
2022	J	`jnl`	Combinatorial testing and model checking. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2022	J	`jnl`	Combinatorial testing and model-based testing. Softw. Test. Verification Reliab. Robert M. Hierons, Tao Xie
2022	J	`jnl`	Delta Debugging Microservice Systems with Parallel Optimization. IEEE Trans. Serv. Comput. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, WenHai Li, Dan Ding
2022	A*	`conf`	Double Sampling Randomized Smoothing. ICML Linyi Li, Jiawei Zhang, Tao Xie, Bo Li
2022	J	`jnl`	Double Sampling Randomized Smoothing. CoRR Linyi Li, Jiawei Zhang, Tao Xie, Bo Li
2022	A*	`conf`	Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification. ASE Yunfan Zhang, Ruidong Zhu, Yingfei Xiong, Tao Xie
2022	J	`jnl`	Enjoy your observability: an industrial survey of microservice tracing and analysis. Empir. Softw. Eng. Bowen Li, Xin Peng, Qilin Xiang, Hanzhang Wang, Tao Xie, Jun Sun, Xuanzhe Liu
2022	A*	`conf`	Exploring the Secrets Behind the Learning Difficulty of Meaning Representations for Semantic Parsing. EMNLP Zhenwen Li, Jiaqi Guo, Qian Liu, Jian-Guang Lou, Tao Xie
2022	J	`jnl`	GDsmith: Detecting Bugs in Graph Database Engines. CoRR Wei Lin, Ziyue Hua, Luyao Ren, Zongyang Li, Lu Zhang, Tao Xie
2022	J	`jnl`	Integration testing and metamorphic testing. Softw. Test. Verification Reliab. Yves Le Traon, Tao Xie
2022	J	`jnl`	Metamorphic testing and test automation. Softw. Test. Verification Reliab. Robert M. Hierons, Tao Xie
2022	J	`jnl`	Model checking, testing and debugging. Softw. Test. Verification Reliab. Robert M. Hierons, Tao Xie
2022	—	`conf`	NL2Viz: natural language to visualization via constrained syntax-guided synthesis. ESEC/SIGSOFT FSE Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
2022	A*	`conf`	On the Certified Robustness for Ensemble Models and Beyond. ICLR Zhuolin Yang, Linyi Li, Xiaojun Xu, Bhavya Kailkhura, Tao Xie, Bo Li
2022	A*	`conf`	Preempting Flaky Tests via Non-Idempotent-Outcome Tests. ICSE Anjiang Wei, Pu Yi, Zhengxi Li, Tao Xie, Darko Marinov, Wing Lam
2022	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li
2022	A	`conf`	TaintSQL: Dynamically Tracking Fine-Grained Implicit Flows for SQL Statements. ISSRE Wei Lin, Lu Zhang, Haotian Zhang, Kailai Shao, Mingming Zhang, Tao Xie
2022	—	`conf`	Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). GECCO Companion Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
2021	J	`jnl`	Adaptive or embedded software testing and mutation testing. Softw. Test. Verification Reliab. Robert M. Hierons, Tao Xie
2021	A	`conf`	An infrastructure approach to improving effectiveness of Android UI testing tools. ISSTA Wenyu Wang, Wing Lam, Tao Xie
2021	J	`jnl`	Editorial: Testing, Debugging, and Defect Prediction. Softw. Test. Verification Reliab. Robert M. Hierons, Tao Xie
2021	J	`jnl`	Editorial: Verification, reliability and performance. Softw. Test. Verification Reliab. Robert M. Hierons, Tao Xie
2021	J	`jnl`	Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study. IEEE Trans. Software Eng. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, WenHai Li, Dan Ding
2021	A*	`conf`	FinFuzzer: One Step Further in Fuzzing Fintech Systems. ASE Qingshun Wang, Lihua Xu, Jun Xiao, Qi Guo, Haotian Zhang, Liang Dou, Liang He, Tao Xie
2021	J	`jnl`	Finding Polluter Tests Using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes Pu Yi, Anjiang Wei, Wing Lam, Tao Xie, Darko Marinov
2021	A*	`conf`	Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial Settings. ASE Hanzhang Wang, Zhengkai Wu, Huai Jiang, Yichao Huang, Jiamu Wang, Selçuk Köprü, Tao Xie
2021	J	`jnl`	Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial Settings. CoRR Hanzhang Wang, Zhengkai Wu, Huai Jiang, Yichao Huang, Jiamu Wang, Selçuk Köprü, Tao Xie
2021	J	`jnl`	No Free Lunch: Microservice Practices Reconsidered in Industry. CoRR Qilin Xiang, Xin Peng, Chuan He, Hanzhang Wang, Tao Xie, Dewei Liu, Gang Zhang, Yuanfang Cai
2021	—	`conf`	ORIC: A Self-Adjusting Blockchain Protocol with High Throughput. ISPA/BDCloud/SocialCom/SustainCom Ting Xiong, Tao Xie, Jin Xie, Xiaochun Luo
2021	J	`jnl`	On the Certified Robustness for Ensemble Models and Beyond. CoRR Zhuolin Yang, Linyi Li, Xiaojun Xu, Bhavya Kailkhura, Tao Xie, Bo Li
2021	—	`conf`	PaCon: a symbolic analysis approach for tactic-oriented clustering of programming submissions. SPLASH-E Yingjie Fu, Jonathan Osei-Owusu, Angello Astorga, Zirui Neil Zhao, Wei Zhang, Tao Xie
2021	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, Shengchao Qin, Wenhui Zhang
2021	—	`conf`	Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests. TACAS (1) Anjiang Wei, Pu Yi, Tao Xie, Darko Marinov, Wing Lam
2021	J	`jnl`	Property generation/verification and empirical studies. Softw. Test. Verification Reliab. Robert M. Hierons, Tao Xie
2021	J	`jnl`	Speculating Ineffective UI Exploration via Trace Analysis. CoRR Wenyu Wang, Wei Yang, Tianyin Xu, Tao Xie
2021	J	`jnl`	Synthesizing contracts correct modulo a test generator. Proc. ACM Program. Lang. Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, Tao Xie
2021	A*	`conf`	TSS: Transformation-Specific Smoothing for Robustness Certification. CCS Linyi Li, Maurice Weber, Xiaojun Xu, Luka Rimanic, Bhavya Kailkhura, Tao Xie, Ce Zhang, Bo Li
2021	A*	`conf`	Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. ASE Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
2021	A	`conf`	Understanding and finding system setting-related defects in Android apps. ISSTA Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su
2021	—	`conf`	Vet: identifying and avoiding UI exploration tarpits. ESEC/SIGSOFT FSE Wenyu Wang, Wei Yang, Tianyin Xu, Tao Xie
2020	J	`jnl`	A Combinatorial Testing-Based Approach to Fault Localization. IEEE Trans. Software Eng. Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Raghu Kacker, D. Richard Kuhn, Tao Xie, David Chenho Kung
2020	—	`conf`	A comprehensive study on challenges in deploying deep learning based software. ESEC/SIGSOFT FSE Zhenpeng Chen, Yanbin Cao, Yuanqiang Liu, Haoyu Wang, Tao Xie, Xuanzhe Liu
2020	J	`jnl`	A large-scale longitudinal study of flaky tests. Proc. ACM Program. Lang. Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell
2020	—	`conf`	Benchmarking Meaning Representations in Neural Semantic Parsing. EMNLP (1) Jiaqi Guo, Qian Liu, Jian-Guang Lou, Zhenwen Li, Xueqing Liu, Tao Xie, Ting Liu
2020	—	`conf`	Clustering test steps in natural language toward automating test automation. ESEC/SIGSOFT FSE Linyi Li, Zhenwen Li, Weijie Zhang, Jun Zhou, Pengcheng Wang, Jing Wu, Guanghua He, Xia Zeng, Yuetang Deng, Tao Xie
2020	J	`jnl`	CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software. IEEE Trans. Reliab. Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu
2020	J	`jnl`	Conference Virtualization. Softw. Test. Verification Reliab. Robert M. Hierons, Tao Xie
2020	—	`conf`	Data-Driven Investigation into Variants of Code Writing Questions. CSEE&T Liia Butler, Geoffrey Challen, Tao Xie
2020	A	`conf`	Database-Access Performance Antipatterns in Database-Backed Web Applications. ICSME Shudi Shao, Zhengyi Qiu, Xiao Yu, Wei Yang, Guoliang Jin, Tao Xie, Xintao Wu
2020	A	`conf`	Dependent-test-aware regression testing techniques. ISSTA Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, Tao Xie
2020	—	`conf`	Detecting numerical bugs in neural network architectures. ESEC/SIGSOFT FSE Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie
2020	J	`jnl`	Expert Perspectives on AI. IEEE Softw. Anita D. Carleton, Erin Harper, Michael R. Lyu, Sigrid Eldh, Tao Xie, Tim Menzies
2020	—	`conf`	Graph-based trace analysis for microservice architecture understanding and problem diagnosis. ESEC/SIGSOFT FSE Xiaofeng Guo, Xin Peng, Hanzhang Wang, Wanxue Li, Huai Jiang, Dan Ding, Tao Xie, Liangfei Su
2020	—	`conf`	JSidentify: a hybrid framework for detecting plagiarism among JavaScript code in online mini games. ICSE (SEIP) 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
2020	J	`jnl`	On automation in software engineering. Softw. Test. Verification Reliab. Robert M. Hierons, Tao Xie
2020	J	`jnl`	Peer Reviewing in Software Engineering: Perspectives from STVR Co-Editors-in-Chief. ACM SIGSOFT Softw. Eng. Notes Robert M. Hierons, Tao Xie
2020	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, Zhi Jin, Xuandong Li, Gang Huang, Hausi A. Müller, Jun Pang, Lijun Zhang
2020	J	`jnl`	Provable Robust Learning Based on Transformation-Specific Smoothing. CoRR Linyi Li, Maurice Weber, Xiaojun Xu, Luka Rimanic, Tao Xie, Ce Zhang, Bo Li
2020	J	`jnl`	SoK: Certified Robustness for Deep Neural Networks. CoRR Linyi Li, Xiangyu Qi, Tao Xie, Bo Li
2020	J	`jnl`	The AI Effect: Working at the Intersection of AI and SE. IEEE Softw. Anita D. Carleton, Erin Harper, Tim Menzies, Tao Xie, Sigrid Eldh, Michael R. Lyu
2020	J	`jnl`	Understanding Challenges in Deploying Deep Learning Based Software: An Empirical Study. CoRR Zhenpeng Chen, Yanbin Cao, Yuanqiang Liu, Haoyu Wang, Tao Xie, Xuanzhe Liu
2020	J	`jnl`	Working Across Boundaries. Softw. Test. Verification Reliab. Robert M. Hierons, Tao Xie
2019	A	`conf`	An Exploratory Study of Logging Configuration Practice in Java. ICSME Chen Zhi, Jianwei Yin, Shuiguang Deng, Maoxin Ye, Min Fu, Tao Xie
2019	—	`conf`	Detecting Failures of Neural Machine Translation in the Absence of Reference Translations. DSN (Industry Track) Wenyu Wang, Wujie Zheng, Dian Liu, Changrong Zhang, Qinsong Zeng, Yuetang Deng, Wei Yang, Pinjia He, Tao Xie
2019	—	`conf`	FinExpert: domain-specific test generation for FinTech systems. ESEC/SIGSOFT FSE Tiancheng Jin, Qingshun Wang, Lihua Xu, Chunmei Pan, Liang Dou, Haifeng Qian, Liang He, Tao Xie
2019	A*	`conf`	Grading-Based Test Suite Augmentation. ASE Jonathan Osei-Owusu, Angello Astorga, Liia Butler, Tao Xie, Geoffrey Challen
2019	—	`conf`	Latent error prediction and fault localization for microservice applications by learning from system trace logs. ESEC/SIGSOFT FSE Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Dewei Liu, Qilin Xiang, Chuan He
2019	A*	`conf`	Learning stateful preconditions modulo a test generator. PLDI Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie
2019	A	`conf`	Neural detection of semantic code clones via tree-based convolution. ICPC Hao Yu, Wing Lam, Long Chen, Ge Li, Tao Xie, Qianxiang Wang
2019	A*	`conf`	PolicyLint: Investigating Internal Privacy Policy Contradictions on Google Play. USENIX Security Symposium Benjamin Andow, Samin Yaseer Mahmud, Wenyu Wang, Justin Whitaker, William Enck, Bradley Reaves, Kapil Singh, Tao Xie
2019	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, Jun Wei, Chang Xu, Zhi Jin, Xiaoxing Ma
2019	C	`conf`	Quality Assessment for Large-Scale Industrial Software Systems: Experience Report at Alibaba. APSEC Chen Zhi, Shuiguang Deng, Jianwei Yin, Min Fu, Hai Zhu, Yuanping Li, Tao Xie
2019	—	`conf`	REINAM: reinforcement learning for input-grammar inference. ESEC/SIGSOFT FSE Zhengkai Wu, Evan Johnson, Wei Yang, Osbert Bastani, Dawn Song, Jian Peng, Tao Xie
2019	A*	`conf`	Robustra: Training Provable Robust Neural Networks over Reference Adversarial Space. IJCAI Linyi Li, Zexuan Zhong, Bo Li, Tao Xie
2019	A*	`conf`	Root Cause Localization for Unreproducible Builds via Causality Analysis Over System Call Tracing. ASE Zhilei Ren, Changlin Liu, Xusheng Xiao, He Jiang, Tao Xie
2019	—	`conf`	Testing untestable neural machine translation: an industrial case. ICSE (Companion Volume) Wujie Zheng, Wenyu Wang, Dian Liu, Changrong Zhang, Qinsong Zeng, Yuetang Deng, Wei Yang, Pinjia He, Tao Xie
2019	A	`conf`	iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests. ICST Wing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie
2019	—	`conf`	iFixFlakies: a framework for automatically fixing order-dependent flaky tests. ESEC/SIGSOFT FSE August Shi, Wing Lam, Reed Oei, Tao Xie, Darko Marinov
2018	A	`conf`	A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects. ECOOP Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie, Pratap Lakshman, Jonathan de Halleux
2018	B	`conf`	A Large-Scale Empirical Study on Android Runtime-Permission Rationale Messages. VL/HCC Xueqing Liu, Yue Leng, Wei Yang, Wenyu Wang, ChengXiang Zhai, Tao Xie
2018	A*	`conf`	A Platform Solution of Data-Quality Improvement for Internet-of-Vehicle Services. PerCom Mingming Zhang, Tianyu Wo, Tao Xie
2018	A*	`conf`	Aladdin: Automating Release of Deep-Link APIs on Android. WWW Yun Ma, Ziniu Hu, Yunxin Liu, Tao Xie, Xuanzhe Liu
2018	A*	`conf`	An empirical study of Android test generation tools in industrial cases. ASE Wenyu Wang, Dengfeng Li, Wei Yang, Yurui Cao, Zhenwen Zhang, Yuetang Deng, Tao Xie
2018	—	`conf`	Benchmarking microservice systems for software engineering research. ICSE (Companion Volume) Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chenjie Xu, Chao Ji, Wenyun Zhao
2018	J	`jnl`	CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software. CoRR Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu
2018	A*	`conf`	Delta debugging microservice systems. ASE Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, WenHai Li, Chao Ji, Dan Ding
2018	A*	`conf`	EnMobile: entity-based characterization and analysis of mobile malware. ICSE Wei Yang, Mukul R. Prasad, Tao Xie
2018	—	`conf`	FACTS: automated black-box testing of FinTech systems. ESEC/SIGSOFT FSE Qingshun Wang, Lintao Gu, Minhui Xue, Lihua Xu, Wenyu Niu, Liang Dou, Liang He, Tao Xie
2018	—	`conf`	Generating Regular Expressions from Natural Language Specifications: Are We There Yet? AAAI Workshops Zexuan Zhong, Jiaqi Guo, Wei Yang, Tao Xie, Jian-Guang Lou, Ting Liu, Dongmei Zhang
2018	Misc	`conf`	Intelligent Software Engineering: Synergy Between AI and Software Engineering. SETTA Tao Xie
2018	—	`conf`	Intelligent Software Engineering: Synergy between AI and Software Engineering. ISEC Tao Xie
2018	J	`jnl`	Introduction to the Special Issue on Emerging Software Technologies for Internet-Based Systems: Internetware and DevOps. ACM Trans. Internet Techn. Tao Xie, André van Hoorn, Huaimin Wang, Ingo Weber
2018	J	`jnl`	MULDEF: Multi-model-based Defense Against Adversarial Examples for Neural Networks. CoRR Siwakorn Srisakaokul, Zexuan Zhong, Yuhao Zhang, Wei Yang, Tao Xie
2018	A	`conf`	Mining Android App Descriptions for Permission Requirements Recommendation. RE Xueqing Liu, Yue Leng, Wei Yang, ChengXiang Zhai, Tao Xie
2018	—	`conf`	Multiple-Implementation Testing of Supervised Learning Software. AAAI Workshops Siwakorn Srisakaokul, Zhengkai Wu, Angello Astorga, Oreoluwa Alebiosu, Tao Xie
2018	J	`jnl`	Oracle-free Detection of Translation Issue for Neural Machine Translation. CoRR Wujie Zheng, Wenyu Wang, Dian Liu, Changrong Zhang, Qinsong Zeng, Yuetang Deng, Wei Yang, Tao Xie
2018	A	`conf`	PreInfer: Automatic Inference of Preconditions via Symbolic Analysis. DSN Angello Astorga, Siwakorn Srisakaokul, Xusheng Xiao, Tao Xie
2018	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, He Jiang, Ge Li, Tianyu Wo, Rahul Pandita, Chang Xu, Lihua Xu
2018	—	`ed.`	Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, HoTSoS 2018, Raleigh, North Carolina, USA, April 10-11, 2018. HoTSoS Munindar P. Singh, Laurie A. Williams, Rick Kuhn, Tao Xie
2018	A*	`conf`	SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications. EMNLP Zexuan Zhong, Jiaqi Guo, Wei Yang, Jian Peng, Tao Xie, Jian-Guang Lou, Ting Liu, Dongmei Zhang
2018	—	`conf`	Telemade: A Testing Framework for Learning-Based Malware Detection Systems. AAAI Workshops Wei Yang, Tao Xie
2018	J	`jnl`	Understanding Diverse Usage Patterns from Large-Scale Appstore-Service Profiles. IEEE Trans. Software Eng. Xuanzhe Liu, Huoran Li, Xuan Lu, Tao Xie, Qiaozhu Mei, Feng Feng, Hong Mei
2018	B	`conf`	Visualizing Path Exploration to Assist Problem Diagnosis for Structural Test Generation. VL/HCC Jiayi Cao, Angello Astorga, Siwakorn Srisakaokul, Zhengkai Wu, Xueqing Liu, Xusheng Xiao, Tao Xie
2017	—	`conf`	Aladdin: automating release of Android deep links to in-app content. ICSE (Companion Volume) Yun Ma, Xuanzhe Liu, Ziniu Hu, Dian Yang, Gang Huang, Yunxin Liu, Tao Xie
2017	—	`conf`	Automated Test Input Generation for Android: Towards Getting There in an Industrial Case. ICSE-SEIP Haibing Zheng, Dengfeng Li, Beihai Liang, Xia Zeng, Wujie Zheng, Yuetang Deng, Wing Lam, Wei Yang, Tao Xie
2017	J	`jnl`	Experience report on applying software analytics in incident management of online service. Autom. Softw. Eng. Jian-Guang Lou, Qingwei Lin, Rui Ding, Qiang Fu, Dongmei Zhang, Tao Xie
2017	A	`conf`	Malware Detection in Adversarial Settings: Exploiting Feature Evolutions and Confusions in Android Apps. ACSAC Wei Yang, Deguang Kong, Tao Xie, Carl A. Gunter
2017	J	`jnl`	PRADO: Predicting App Adoption by Learning the Correlation between Developer-Controllable Properties and User Behaviors. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. Xuan Lu, Zhenpeng Chen, Xuanzhe Liu, Huoran Li, Tao Xie, Qiaozhu Mei
2017	A	`conf`	PerfRanker: prioritization of performance regression tests for collection-intensive software. ISSTA Shaikh Mostafa, Xiaoyin Wang, Tao Xie
2017	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, Yuanfang Cai, Xuanzhe Liu, Xiaoyin Wang, Mithun P. Acharya, Marcelo d'Amorim, Xiaoxing Ma
2017	J	`jnl`	ReWAP: Reducing Redundant Transfers for Mobile Web Browsing via App-Specific Resource Packaging. IEEE Trans. Mob. Comput. Xuanzhe Liu, Yun Ma, Shuailiang Dong, Yunxin Liu, Tao Xie, Gang Huang
2017	—	`conf`	Record and replay for Android: are we there yet in industrial cases? ESEC/SIGSOFT FSE Wing Lam, Zhengkai Wu, Dengfeng Li, Wenyu Wang, Haibing Zheng, Hui Luo, Peng Yan, Yuetang Deng, Tao Xie
2017	J	`jnl`	Reliability Engineering. IEEE Softw. Xabier Larrucea, Fabien Belmonte, Adam Welc, Tao Xie
2017	J	`jnl`	SWAROVsky: Optimizing Resource Loading for Mobile Web Browsing. IEEE Trans. Mob. Comput. Xuanzhe Liu, Yun Ma, Xinyang Wang, Yunxin Liu, Tao Xie, Gang Huang
2017	J	`jnl`	SafeDrive: Online Driving Anomaly Detection From Large-Scale Vehicle Data. IEEE Trans. Ind. Informatics Mingming Zhang, Chao Chen, Tianyu Wo, Tao Xie, Md. Zakirul Alam Bhuiyan, Xuelian Lin
2017	—	`conf`	Transferring Code-Clone Detection and Analysis to Practice. ICSE-SEIP Yingnong Dang, Dongmei Zhang, Song Ge, Ray Huang, Chengyun Chu, Tao Xie
2017	—	`conf`	Transferring Software Testing Tools to Practice. AST@ICSE Tao Xie
2017	—	`conf`	UiRef: analysis of sensitive user inputs in Android applications. WISEC Benjamin Andow, Akhil Acharya, Dengfeng Li, William Enck, Kapil Singh, Tao Xie
2017	J	`jnl`	Understanding Diverse Smarpthone Usage Patterns from Large-Scale Appstore-Service Profiles. CoRR Xuanzhe Liu, Huoran Li, Xuan Lu, Tao Xie, Qiaozhu Mei, Hong Mei, Feng Feng
2017	—	`conf`	When program analysis meets mobile security: an industrial study of misusing Android internet sockets. ESEC/SIGSOFT FSE Wenqi Bu, Minhui Xue, Lihua Xu, Yajin Zhou, Zhushou Tang, Tao Xie
2016	—	`conf`	A Study of Grayware on Google Play. IEEE Symposium on Security and Privacy Workshops Benjamin Andow, Adwait Nadkarni, Blake Bassett, William Enck, Tao Xie
2016	—	`conf`	Advances in unit testing: theory and practice. ICSE (Companion Volume) Tao Xie, Nikolai Tillmann, Pratap Lakshman
2016	—	`conf`	Automated test input generation for Android: are we really there yet in an industrial case? SIGSOFT FSE Xia Zeng, Dengfeng Li, Wujie Zheng, Fan Xia, Yuetang Deng, Wing Lam, Wei Yang, Tao Xie
2016	J	`jnl`	Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. Matthew B. Dwyer, Eric Bodden, Brian Fitzgerald, Miryung Kim, Sunghun Kim, Amy J. Ko, Emilia Mendes, Raffaela Mirandola, Ana Moreira, Forrest Shull, Stephen F. Siegel, Tao Xie, Charles Zhang
2016	J	`jnl`	Demystifying the Imperfect Client-Side Cache Performance of Mobile Web Browsing. IEEE Trans. Mob. Comput. Xuanzhe Liu, Yun Ma, Yunxin Liu, Tao Xie, Gang Huang
2016	J	`jnl`	Diversity and Inclusion in Research Community: Remembering David Notkin. ACM SIGSOFT Softw. Eng. Notes Tao Xie
2016	J	`jnl`	High-confidence software evolution. Sci. China Inf. Sci. Qing Gao, Jun Li, Yingfei Xiong, Dan Hao, Xusheng Xiao, Kunal Taneja, Lu Zhang, Tao Xie
2016	—	`conf`	Learning for test prioritization: an industrial case study. SIGSOFT FSE Benjamin Busjaeger, Tao Xie
2016	—	`conf`	Measuring code behavioral similarity for programming and software engineering education. ICSE (Companion Volume) Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann
2016	—	`conf`	Mining usage data from large-scale Android users: challenges and opportunities. MOBILESoft Xuan Lu, Xuanzhe Liu, Huoran Li, Tao Xie, Qiaozhu Mei, Dan Hao, Gang Huang, Feng Feng
2016	J	`jnl`	Outward Thinking for Our Research Community. ACM SIGSOFT Softw. Eng. Notes Tao Xie
2016	A*	`conf`	PRADA: prioritizing android devices for apps by mining large-scale usage data. ICSE Xuan Lu, Xuanzhe Liu, Huoran Li, Tao Xie, Qiaozhu Mei, Dan Hao, Gang Huang, Feng Feng
2016	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie
2016	J	`jnl`	ReWAP: Reducing Redundant Transfers for Mobile Web Applications via App-Specific Resource Packaging. CoRR Xuanzhe Liu, Yun Ma, Shuailiang Dong, Yunxin Liu, Tao Xie, Gang Huang, Hong Mei
2016	—	`conf`	Relationship-aware code search for JavaScript frameworks. SIGSOFT FSE Xuan Li, Zerui Wang, Qianxiang Wang, Shoumeng Yan, Tao Xie, Hong Mei
2016	—	`ch.`	Software analytics and its application in practice. Perspectives on Data Science for Software Engineering Dongmei Zhang, Tao Xie
2016	—	`conf`	Text analytics for security: tutorial. HotSoS Tao Xie, William Enck
2016	J	`jnl`	The Pursuit of Practice-Impactful Research. ACM SIGSOFT Softw. Eng. Notes Tao Xie
2016	J	`jnl`	To Be Optimal or Not in Test-Case Prioritization. IEEE Trans. Software Eng. Dan Hao, Lu Zhang, Lei Zang, Yanbo Wang, Xingxia Wu, Tao Xie
2015	—	`conf`	AppContext: Differentiating Malicious and Benign Mobile App Behaviors Using Context. ICSE (1) Wei Yang, Xusheng Xiao, Benjamin Andow, Sihan Li, Tao Xie, William Enck
2015	A	`conf`	Characterizing Smartphone Usage Patterns from Millions of Android Users. Internet Measurement Conference Huoran Li, Xuan Lu, Xuanzhe Liu, Tao Xie, Kaigui Bian, Felix Xiaozhu Lin, Qiaozhu Mei, Feng Feng
2015	—	`conf`	Code Hunt: Experience with Coding Contests at Scale. ICSE (2) Judith Bishop, R. Nigel Horspool, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2015	—	`conf`	Crowdsourcing Code and Process via Code Hunt. CSI-SE Tao Xie, Judith Bishop, R. Nigel Horspool, Nikolai Tillmann, Jonathan de Halleux
2015	J	`jnl`	Detecting high-quality posts in community question answering sites. Inf. Sci. Yuan Yao, Hanghang Tong, Tao Xie, Leman Akoglu, Feng Xu, Jian Lu
2015	J	`jnl`	Editor's Note. Sci. China Inf. Sci. Tao Xie, Lu Zhang, Jian Lü
2015	—	`conf`	Gamifying software security education and training via secure coding duels in code hunt. HotSoS Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan de Halleux
2015	J	`jnl`	Guest editorial: special section on mining software repositories. Empir. Softw. Eng. Massimiliano Di Penta, Tao Xie
2015	J	`jnl`	Learning and Celebration of Software Engineering History and Impact. ACM SIGSOFT Softw. Eng. Notes Tao Xie
2015	—	`conf`	Log2: A Cost-Aware Logging Mechanism for Performance Diagnosis. USENIX ATC Rui Ding, Hucheng Zhou, Jian-Guang Lou, Hongyu Zhang, Qingwei Lin, Qiang Fu, Dongmei Zhang, Tao Xie
2015	A*	`conf`	Measurement and Analysis of Mobile Web Cache Performance. WWW Yun Ma, Xuanzhe Liu, Shuhui Zhang, Ruirui Xiang, Yunxin Liu, Tao Xie
2015	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie
2015	—	`ed.`	Proceedings of the 1st International Workshop on Code Hunt on Educational Software Engineering, CHESE@ISSTA 2015, Baltimore, MD, USA, July 14, 2015 CHESE@ISSTA Tao Xie, Alessandro Orso, Judith Bishop, Nikolai Tillmann
2015	A	`ed.`	Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015 ISSTA Michal Young, Tao Xie
2015	J	`jnl`	Program-input generation for testing database applications using existing database states. Autom. Softw. Eng. Kai Pan, Xintao Wu, Tao Xie
2015	J	`jnl`	Software Engineering for Internet Computing: Internetware and Beyond [Guest editors' introduction]. IEEE Softw. Antonia Bertolino, M. Brian Blake, Pankaj Mehra, Hong Mei, Tao Xie
2015	J	`jnl`	User-aware privacy control via extended static-information-flow analysis. Autom. Softw. Eng. Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal, Tao Xie
2014	B	`conf`	Code hunt: gamifying teaching and learning of computer science at scale. L@S Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2014	—	`conf`	Code hunt: searching for secret code for fun. SBST Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie
2014	A*	`conf`	Comprehending performance from real-world execution traces: a device-driver case. ASPLOS Xiao Yu, Shi Han, Dongmei Zhang, Tao Xie
2014	A	`conf`	Constructing coding duels in Pex4Fun and code hunt. ISSTA Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2014	J	`jnl`	Cooperative Software Testing and Analysis: Advances and Challenges. J. Comput. Sci. Technol. Tao Xie, Lu Zhang, Xusheng Xiao, Yingfei Xiong, Dan Hao
2014	B	`conf`	Educational programming systems for learning at scale. L@S Qianxiang Wang, Wenxin Li, Tao Xie
2014	J	`jnl`	Guided test generation for database applications via synthesized database interactions. ACM Trans. Softw. Eng. Methodol. Kai Pan, Xintao Wu, Tao Xie
2014	—	`conf`	Improving mobile application security via bridging user expectations and application behaviors. HotSoS Wei Yang, Xusheng Xiao, Rahul Pandita, William Enck, Tao Xie
2014	B	`conf`	Joint voting prediction for questions and answers in CQA. ASONAM Yuan Yao, Hanghang Tong, Tao Xie, Leman Akoglu, Feng Xu, Jian Lu
2014	A	`conf`	Mining Historical Issue Repositories to Heal Large-Scale Online Service Systems. DSN Rui Ding, Qiang Fu, Jian-Guang Lou, Qingwei Lin, Dongmei Zhang, Tao Xie
2014	—	`ed.`	Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, Debugging, and Analytics (PERTEA), WODA+PERTEA 2014, San Jose, CA, USA, July 22, 2014 WODA+PERTEA@ISSTA Harry Xu, Tao Xie, Shan Lu, Dongmei Zhang, Santosh Nagarakatte, Christoph Csallner
2014	A	`conf`	Relation extraction for inferring access control rules from natural language artifacts. ACSAC John Slankas, Xusheng Xiao, Laurie A. Williams, Tao Xie
2014	A*	`conf`	Transferring an automated test generation tool to practice: from pex to fakes and code digger. ASE Nikolai Tillmann, Jonathan de Halleux, Tao Xie
2014	A*	`conf`	Tutorial: Text Analytics for Security. CCS William Enck, Tao Xie
2014	—	`conf`	Where do developers log? an empirical study on logging practices in industry. ICSE Companion Qiang Fu, Jieming Zhu, Wenlu Hu, Jian-Guang Lou, Rui Ding, Qingwei Lin, Dongmei Zhang, Tao Xie
2013	B	`conf`	A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications. FASE Wei Yang, Mukul R. Prasad, Tao Xie
2013	J	`jnl`	A Preliminary Field Study of Game Programming on Mobile Devices. CoRR Eric Anderson, Sihan Li, Tao Xie
2013	A*	`conf`	A characteristic study on failures of production distributed data-parallel programs. ICSE Sihan Li, Hucheng Zhou, Haoxiang Lin, Tian Xiao, Haibo Lin, Wei Lin, Tao Xie
2013	B	`conf`	A comprehensive field study of end-user programming on mobile devices. VL/HCC Sihan Li, Tao Xie, Nikolai Tillmann
2013	—	`conf`	Automatic test generation for mutation testing on database applications. AST@ICSE Kai Pan, Xintao Wu, Tao Xie
2013	A*	`conf`	Characteristic studies of loop problems for structural test generation via symbolic execution. ASE Xusheng Xiao, Sihan Li, Tao Xie, Nikolai Tillmann
2013	A	`conf`	Context-sensitive delta inference for identifying workload-dependent performance bottlenecks. ISSTA Xusheng Xiao, Shi Han, Dongmei Zhang, Tao Xie
2013	A	`conf`	Contextual analysis of program logs for understanding system behaviors. MSR Qiang Fu, Jian-Guang Lou, Qingwei Lin, Rui Ding, Dongmei Zhang, Tao Xie
2013	—	`conf`	Educational software engineering: where software engineering, education, and gaming meet. GAS@ICSE Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2013	B	`conf`	Exposing Behavioral Differences in Cross-Language API Mapping Relations. FASE Hao Zhong, Suresh Thummalapenta, Tao Xie
2013	A*	`conf`	Inferring dependency constraints on parameters for web services. WWW Qian Wu, Ling Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei
2013	—	`conf`	Inferring project-specific bug patterns for detecting sibling bugs. ESEC/SIGSOFT FSE Guangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei
2013	J	`jnl`	Introduction to the special issue on mining software repositories. Empir. Softw. Eng. Tao Xie, Thomas Zimmermann, Arie van Deursen
2013	J	`jnl`	Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis. IEEE Trans. Software Eng. Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun
2013	A	`conf`	Mining succinct and high-coverage API usage patterns from source code. MSR Jue Wang, Yingnong Dang, Hongyu Zhang, Kai Chen, Tao Xie, Dongmei Zhang
2013	A*	`conf`	Pathways to technology transfer and adoption: achievements and challenges (mini-tutorial). ICSE Dongmei Zhang, Tao Xie
2013	A*	`conf`	Pex4Fun: A web-based environment for educational gaming via automated test generation. ASE Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2013	J	`jnl`	Report on the international symposium on high confidence software (ISHCS 2011/2012). ACM SIGSOFT Softw. Eng. Notes Tao Xie, Lu Zhang, Hong Mei
2013	J	`jnl`	Software Analytics Principles and Practices (NII Shonan Meeting 2013-12). NII Shonan Meet. Rep. Ahmed E. Hassan, Katsuro Inoue, Tao Xie, Dongmei Zhang
2013	J	`jnl`	Software Analytics in Practice. IEEE Softw. Dongmei Zhang, Shi Han, Yingnong Dang, Jian-Guang Lou, Haidong Zhang, Tao Xie
2013	A*	`conf`	Software analytics for incident management of online services: An experience report. ASE Jian-Guang Lou, Qingwei Lin, Rui Ding, Qiang Fu, Dongmei Zhang, Tao Xie
2013	A*	`conf`	Software analytics: achievements and challenges. ICSE Dongmei Zhang, Tao Xie
2013	A*	`conf`	Teaching and learning programming and software engineering via interactive gaming. ICSE Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
2013	—	`conf`	The synergy of human and artificial intelligence in software engineering. RAISE@ICSE Tao Xie
2013	A*	`conf`	WHYPER: Towards Automating Risk Assessment of Mobile Applications. USENIX Security Symposium Rahul Pandita, Xusheng Xiao, Wei Yang, William Enck, Tao Xie
2013	J	`jnl`	Want a Good Answer? Ask a Good Question First! CoRR Yuan Yao, Hanghang Tong, Tao Xie, Leman Akoglu, Feng Xu, Jian Lu
2012	A	`ed.`	9th IEEE Working Conference of Mining Software Repositories, MSR 2012, June 2-3, 2012, Zurich, Switzerland MSR Michele Lanza, Massimiliano Di Penta, Tao Xie
2012	J	`jnl`	Advances on Improving Automation in Developer Testing. Adv. Comput. Xusheng Xiao, Suresh Thummalapenta, Tao Xie
2012	—	`conf`	Automated extraction of security policies from natural-language software documents. SIGSOFT FSE Xusheng Xiao, Amit M. Paradkar, Suresh Thummalapenta, Tao Xie
2012	—	`conf`	Automating presentation changes in dynamic web applications via collaborative hybrid analysis. SIGSOFT FSE Xiaoyin Wang, Lu Zhang, Tao Xie, Yingfei Xiong, Hong Mei
2012	C	`conf`	Cooperative Testing and Analysis: Human-Tool, Tool-Tool and Human-Human Cooperations to Get Work Done. SCAM Tao Xie
2012	—	`conf`	Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop. CSEE&T Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie
2012	A	`conf`	Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). SIGCSE Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie
2012	J	`jnl`	Environmental Modeling for Automated Cloud Application Testing. IEEE Softw. Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux
2012	J	`jnl`	First step towards automatic correction of firewall policy faults. ACM Trans. Auton. Adapt. Syst. Fei Chen, Alex X. Liu, Jeehyun Hwang, Tao Xie
2012	A*	`conf`	Healing online service systems via mining historical issue repositories. ASE Rui Ding, Qiang Fu, Jian-Guang Lou, Qingwei Lin, Dongmei Zhang, Jiajun Shen, Tao Xie
2012	—	`conf`	How do software engineers understand code changes?: an exploratory study in industry. SIGSOFT FSE Yida Tao, Yingnong Dang, Tao Xie, Dongmei Zhang, Sunghun Kim
2012	A	`conf`	Identifying Failure-Inducing Combinations in a Combinatorial Test Set. ICST Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Tao Xie, D. Richard Kuhn, Raghu Kacker
2012	A*	`conf`	Inferring method specifications from natural language API descriptions. ICSE Rahul Pandita, Xusheng Xiao, Hao Zhong, Tao Xie, Stephen Oney, Amit M. Paradkar
2012	J	`jnl`	Internetware: A Software Paradigm for Internet Computing. Computer Hong Mei, Gang Huang, Tao Xie
2012	A	`conf`	Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification. ICST Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, D. Richard Kuhn
2012	—	`conf`	Making exceptions on exception handling. WEH@ICSE Tao Xie, Suresh Thummalapenta
2012	—	`conf`	Paradigm in Verification of Access Control. SERE (Companion) Jeehyun Hwang, Vincent C. Hu, Tao Xie
2012	B	`conf`	Performance Issue Diagnosis for Online Service Systems. SRDS Qiang Fu, Jian-Guang Lou, Qingwei Lin, Rui Ding, Dongmei Zhang, Zihao Ye, Tao Xie
2012	A*	`conf`	Performance debugging in the large via mining millions of stack traces. ICSE Shi Han, Yingnong Dang, Song Ge, Dongmei Zhang, Tao Xie
2012	—	`conf`	Pex4Fun: Teaching and Learning Computer Science via Social Gaming. CSEE&T Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2012	B	`conf`	Refactoring access control policies for performance improvement. ICPE Donia El Kateb, Tejeddine Mouelhi, Yves Le Traon, Jeehyun Hwang, Tao Xie
2012	A*	`conf`	Selection of regression system tests for security policy evolution. ASE Jeehyun Hwang, Tao Xie, Donia El Kateb, Tejeddine Mouelhi, Yves Le Traon
2012	A*	`conf`	Software analytics in practice: Mini tutorial. ICSE Dongmei Zhang, Tao Xie
2012	J	`jnl`	Systematic Structural Testing of Firewall Policies. IEEE Trans. Netw. Serv. Manag. Jeehyun Hwang, Tao Xie, Fei Chen, Alex X. Liu
2012	—	`conf`	Teaching and Training for Software Analytics. CSEE&T Dongmei Zhang, Yingnong Dang, Shi Han, Tao Xie
2012	A	`conf`	Teaching and learning computing via social gaming with Pex4Fun (abstract only). SIGCSE Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2012	B	`conf`	The future of teaching programming is on mobile devices. ITiCSE Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie
2012	A	`conf`	XIAO: tuning code clones at hands of engineers in practice. ACSAC Yingnong Dang, Dongmei Zhang, Song Ge, Chengyun Chu, Yingjun Qiu, Tao Xie
2011	J	`jnl`	Alattin: mining alternative patterns for defect detection. Autom. Softw. Eng. Suresh Thummalapenta, Tao Xie
2011	B	`conf`	An Empirical Study on Evolution of API Documentation. FASE Lin Shi, Hao Zhong, Tao Xie, Mingshu Li
2011	—	`conf`	Browser-based software for technology transfer. SAICSIT Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie
2011	A*	`conf`	Covana: precise identification of problems in pex. ICSE Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2011	—	`conf`	Database state generation via dynamic symbolic execution for coverage criteria. DBTest Kai Pan, Xintao Wu, Tao Xie
2011	J	`jnl`	Designing Fast and Scalable XACML Policy Evaluation Engines. IEEE Trans. Computers Alex X. Liu, Fei Chen, Jeehyun Hwang, Tao Xie
2011	—	`conf`	Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs. IEEE SCC Yitao Ni, Lu Zhang, Zhong Jie Li, Tao Xie, Hong Mei
2011	A*	`conf`	DyTa: dynamic symbolic execution guided with static verification results. ICSE Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann
2011	A*	`conf`	Generating program inputs for database application testing. ASE Kai Pan, Xintao Wu, Tao Xie
2011	J	`jnl`	Inferring specifications for resources from natural language API documentation. Autom. Softw. Eng. Hao Zhong, Lu Zhang, Tao Xie, Hong Mei
2011	A*	`conf`	Iterative mining of resource-releasing specifications. ASE Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei
2011	A*	`conf`	Mining test oracles of web search engines. ASE Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, Irwin King
2011	J	`jnl`	Model Checking for Verification of Mandatory Access Control Models and Properties. Int. J. Softw. Eng. Knowl. Eng. Vincent C. Hu, D. Richard Kuhn, Tao Xie, Jeehyun Hwang
2011	—	`ch.`	Model-Driven Impact Analysis of Software Product Lines. Model-Driven Domain Analysis and Software Development Hyun Cho, Jeff Gray, Yuanfang Cai, Sunny Wong, Tao Xie
2011	—	`conf`	Pex4Fun: Teaching and learning computer science via social gaming. CSEE&T Nikolai Tillmann, Jonathan de Halleux, Tao Xie
2011	A*	`conf`	Precise identification of problems for structural test generation. ICSE Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2011	A	`ed.`	Proceedings of the 8th International Working Conference on Mining Software Repositories, MSR 2011 (Co-located with ICSE), Waikiki, Honolulu, HI, USA, May 21-28, 2011, Proceedings MSR Arie van Deursen, Tao Xie, Thomas Zimmermann
2011	B	`conf`	Retrofitting Unit Tests for Parameterized Unit Testing. FASE Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2011	A	`conf`	Synthesizing method sequences for high-coverage testing. OOPSLA Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su
2011	—	`conf`	Testing software in age of data privacy: a balancing act. SIGSOFT FSE Kunal Taneja, Mark Grechanik, Rayid Ghani, Tao Xie
2011	A	`conf`	eXpress: guided path exploration for efficient regression test generation. ISSTA Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2010	—	`conf`	10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors. Practical Software Testing: Tool Automation and Human Factors Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie
2010	—	`conf`	10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors. Practical Software Testing: Tool Automation and Human Factors Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie
2010	—	`conf`	ACPT: A Tool for Modeling and Verifying Access Control Policies. POLICY Jeehyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay
2010	A	`conf`	Automated Behavioral Regression Testing. ICST Wei Jin, Alessandro Orso, Tao Xie
2010	A*	`conf`	Automatic construction of an effective training set for prioritizing static analysis warnings. ASE Guangtai Liang, Ling Wu, Qian Wu, Qianxiang Wang, Tao Xie, Hong Mei
2010	—	`conf`	BERT: a tool for behavioral regression testing. SIGSOFT FSE Wei Jin, Alessandro Orso, Tao Xie
2010	—	`conf`	First Step Towards Automatic Correction of Firewall Policy Faults. LISA Fei Chen, Alex X. Liu, Jeehyun Hwang, Tao Xie
2010	—	`conf`	Future of developer testing: building quality in code. FoSER Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2010	—	`conf`	Guided test generation for coverage criteria. ICSM Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2010	—	`conf`	Is operator-based mutant selection superior to random mutant selection? ICSE (1) Lu Zhang, Shan-Shan Hou, Jun-Jue Hu, Tao Xie, Hong Mei
2010	—	`conf`	JDF: detecting duplicate bug reports in Jazz. ICSE (2) Yoonki Song, Xiaoyin Wang, Tao Xie, Lu Zhang, Hong Mei
2010	—	`conf`	Locating need-to-translate constant strings in web applications. SIGSOFT FSE Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun
2010	A*	`conf`	MODA: automated test generation for database applications via mock objects. ASE Kunal Taneja, Yi Zhang, Tao Xie
2010	A*	`conf`	MiTV: multiple-implementation testing of user-input validators for web applications. ASE Kunal Taneja, Nuo Li, Madhuri R. Marri, Tao Xie, Nikolai Tillmann
2010	—	`conf`	Mining API mapping for language migration. ICSE (1) Hao Zhong, Suresh Thummalapenta, Tao Xie, Lu Zhang, Qing Wang
2010	B	`conf`	Mining Likely Properties of Access Control Policies via Association Rule Mining. DBSec Jeehyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay
2010	—	`conf`	Mining software engineering data. ICSE (2) Ahmed E. Hassan, Tao Xie
2010	A	`conf`	OCAT: object capture-based automated testing. ISSTA Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang
2010	—	`conf`	Parameterized unit testing: theory and practice. ICSE (2) Nikolai Tillmann, Jonathan de Halleux, Tao Xie
2010	J	`jnl`	Perturbation-based user-input-validation testing of web applications. J. Syst. Softw. Nuo Li, Tao Xie, Maozhong Jin, Chao Liu
2010	—	`ch.`	Policy-Based Testing. Encyclopedia of Software Engineering Jeehyun Hwang, Evan Martin, Tao Xie, Vincent C. Hu
2010	—	`ed.`	Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010 Practical Software Testing: Tool Automation and Human Factors Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie
2010	A*	`conf`	Random unit-test generation with MUT-aware sequence recommendation. ASE Wujie Zheng, Qirun Zhang, Michael R. Lyu, Tao Xie
2010	—	`conf`	Software intelligence: the future of mining software engineering data. FoSER Ahmed E. Hassan, Tao Xie
2010	—	`conf`	Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte
2010	—	`conf`	Test generation via Dynamic Symbolic Execution for mutation testing. ICSM Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei
2010	J	`jnl`	Test input reduction for result inspection to facilitate fault localization. Autom. Softw. Eng. Dan Hao, Tao Xie, Lu Zhang, Xiaoyin Wang, Jiasu Sun, Hong Mei
2010	A*	`conf`	Text mining in supporting software systems risk assurance. ASE Liguo Huang, Daniel Port, Liang Wang, Tao Xie, Tim Menzies
2009	A*	`conf`	Alattin: Mining Alternative Patterns for Detecting Neglected Conditions. ASE Suresh Thummalapenta, Tao Xie
2009	—	`conf`	An Empirical Study of Testing File-System-Dependent Software with Mock Objects. AST@ICSE Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	—	`conf`	Automated test data generation for aspect-oriented programs. AOSD Mark Harman, Fayezin Islam, Tao Xie, Stefan Wappler
2009	J	`jnl`	Data Mining for Software Engineering. Computer Tao Xie, Suresh Thummalapenta, David Lo, Chao Liu
2009	—	`conf`	Detection of Multiple-Duty-Related Security Leakage in Access Control Policies. SSIRI Jeehyun Hwang, Tao Xie, Vincent C. Hu
2009	B	`conf`	Fault Localization for Firewall Policies. SRDS Jeehyun Hwang, Tao Xie, Fei Chen, Alex X. Liu
2009	A	`conf`	Fitness-guided path exploration in dynamic symbolic execution. DSN Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	—	`conf`	Guided path exploration for regression test generation. ICSE Companion Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	A*	`conf`	Inferring Resource Specifications from Natural Language API Documentation. ASE Hao Zhong, Lu Zhang, Tao Xie, Hong Mei
2009	J	`jnl`	Interactive Fault Localization Using Test Information. J. Comput. Sci. Technol. Dan Hao, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun
2009	A*	`conf`	Locating need-to-translate constant strings for software internationalization. ICSE Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun
2009	A	`conf`	MAPO: Mining and Recommending API Usage Patterns. ECOOP Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, Hong Mei
2009	—	`conf`	MSeqGen: object-oriented unit-test generation via mining source code. ESEC/SIGSOFT FSE Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	B	`conf`	Mining API Error-Handling Specifications from Source Code. FASE Mithun Acharya, Tao Xie
2009	A*	`conf`	Mining exception-handling rules as sequence association rules. ICSE Suresh Thummalapenta, Tao Xie
2009	—	`conf`	Mutation Analysis of Parameterized Unit Tests. ICST Workshops Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	J	`jnl`	On automated prepared statement generation to remove SQL injection vulnerabilities. Inf. Softw. Technol. Stephen Thomas, Laurie A. Williams, Tao Xie
2009	A*	`conf`	Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	—	`conf`	Security policy testing via automated program code generation. CSIIRW Ting Yu, Dhivya Sivasubramanian, Tao Xie
2009	—	`conf`	Test selection for result inspection via mining predicate rules. ICSE Companion Wujie Zheng, Michael R. Lyu, Tao Xie
2009	A	`conf`	Time-aware test-case prioritization using integer linear programming. ISSTA Lu Zhang, Shan-Shan Hou, Chao Guo, Tao Xie, Hong Mei
2009	A*	`conf`	TranStrL: An automatic need-to-translate string locator for software internationalization. ICSE Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun
2009	A	`conf`	User-Perceived Service Availability: A Metric and an Estimation Approach. ICWS Lingshuang Shao, Junfeng Zhao, Tao Xie, Lu Zhang, Bing Xie, Hong Mei
2008	A*	`conf`	An approach to detecting duplicate bug reports using natural language and execution information. ICSE Xiaoyin Wang, Lu Zhang, Tao Xie, John Anvik, Jiasu Sun
2008	A	`conf`	Assessing Quality of Policy Properties in Verification of Access Control Policies. ACSAC Evan Martin, Jeehyun Hwang, Tao Xie, Vincent C. Hu
2008	—	`conf`	BERT: BEhavioral Regression Testing. WODA Alessandro Orso, Tao Xie
2008	J	`jnl`	DSD-Crasher: A hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol. Christoph Csallner, Yannis Smaragdakis, Tao Xie
2008	A*	`conf`	DiffGen: Automated Regression Unit-Test Generation. ASE Kunal Taneja, Tao Xie
2008	A	`conf`	Dynamic Availability Estimation for Service Selection Based on Status Identification. ICWS Lingshuang Shao, Lu Zhang, Tao Xie, Junfeng Zhao, Bing Xie, Hong Mei
2008	A	`conf`	Improving software reliability and productivity via mining program source code. IPDPS Tao Xie, Mithun Acharya, Suresh Thummalapenta, Kunal Taneja
2008	—	`conf`	Multiple-implementation testing for XACML implementations. TAV-WEB Nuo Li, Jeehyun Hwang, Tao Xie
2008	—	`conf`	Property Verification for Generic Access Control Models. EUC (2) Vincent C. Hu, D. Richard Kuhn, Tao Xie
2008	—	`conf`	Quota-constrained test-case prioritization for regression testing of service-centric systems. ICSM Shan-Shan Hou, Lu Zhang, Tao Xie, Jiasu Sun
2008	A*	`conf`	SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web. ASE Suresh Thummalapenta, Tao Xie
2008	A	`conf`	SpotWeb: detecting framework hotspots via mining open source repositories on the web. MSR Suresh Thummalapenta, Tao Xie
2008	B	`conf`	Systematic Structural Testing of Firewall Policies. SRDS Jeehyun Hwang, Tao Xie, Fei Chen, Alex X. Liu
2008	A	`conf`	Workshop on testing, analysis and verification of web software (TAV-WEB 2008). ISSTA Tevfik Bultan, Tao Xie
2008	A*	`conf`	Xengine: a fast and scalable XACML policy evaluation engine. SIGMETRICS Alex X. Liu, Fei Chen, Jeehyun Hwang, Tao Xie
2007	A*	`conf`	A fault model and mutation testing of access control policies. WWW Evan Martin, Tao Xie
2007	A*	`conf`	A framework and tool supports for testing modularity of software design. ASE Yuanfang Cai, Sunny Huynh, Tao Xie
2007	—	`conf`	Applying Interface-Contract Mutation in Regression Testing of Component-Based Software. ICSM Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun
2007	A*	`conf`	Automated Inference of Pointcuts in Aspect-Oriented Refactoring. ICSE Prasanth Anbalagan, Tao Xie
2007	—	`conf`	Automated Test Generation for Access Control Policies via Change-Impact Analysis. SESS@ICSE Evan Martin, Tao Xie
2007	A*	`conf`	Automated detection of api refactorings in libraries. ASE Kunal Taneja, Danny Dig, Tao Xie
2007	—	`conf`	Conformance Checking of Access Control Policies Specified in XACML. COMPSAC (2) Vincent C. Hu, Evan Martin, Jeehyun Hwang, Tao Xie
2007	A*	`conf`	Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs. ASE Kobi Inkumsah, Tao Xie
2007	—	`conf`	Mining API patterns as partial orders from source code: from usage scenarios to specifications. ESEC/SIGSOFT FSE Mithun Acharya, Tao Xie, Jian Pei, Jun Xu
2007	—	`conf`	Mining Software Engineering Data. ICSE Companion Tao Xie, Jian Pei, Ahmed E. Hassan
2007	A*	`conf`	Parseweb: a programmer assistant for reusing open source code on the web. ASE Suresh Thummalapenta, Tao Xie
2007	—	`conf`	Perspectives on automated testing of aspect-oriented programs. WTAOP@AOSD Tao Xie, Jianjun Zhao
2007	—	`conf`	Towards a Framework for Differential Unit Testing of Object-Oriented Programs. AST@ICSE Tao Xie, Kunal Taneja, Shreyas Kale, Darko Marinov
2007	—	`conf`	UnitPlus: assisting developer testing in Eclipse. ETX Yoonki Song, Suresh Thummalapenta, Tao Xie
2007	—	`conf`	WebSob: A Tool for Robustness Testing of Web Services. ICSE Companion Evan Martin, Suranjana Basu, Tao Xie
2006	—	`conf`	A framework and tool supports for generating test inputs of AspectJ programs. AOSD Tao Xie, Jianjun Zhao
2006	—	`conf`	APTE: automated pointcut testing for AspectJ programs. WTAOP Prasanth Anbalagan, Tao Xie
2006	A*	`conf`	An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. ASE Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst
2006	A	`conf`	Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking. ECOOP Tao Xie
2006	A*	`conf`	Automatic extraction of abstract-object-state machines from unit-test executions. ICSE Tao Xie, Evan Martin, Hai Yuan
2006	J	`jnl`	Clamp: automated joinpoint clustering and pointcut mining in aspect-oriented refactoring. ACM SIGSOFT Softw. Eng. Notes Prasanth Anbalagan, Tao Xie
2006	C	`conf`	Defining and Measuring Policy Coverage in Testing Access Control Policies. ICICS Evan Martin, Tao Xie, Ting Yu
2006	A	`conf`	Detecting Redundant Unit Tests for AspectJ Programs. ISSRE Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin
2006	A*	`conf`	Effective Generation of Interface Robustness Properties for Static Analysis. ASE Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie
2006	—	`conf`	Improving Effectiveness of Automated Software Testing in the Absence of Specifications. ICSM Tao Xie
2006	A	`conf`	MAPO: mining API usages from open source repositories. MSR Tao Xie, Jian Pei
2006	A	`conf`	Mining Interface Specifications for Generating Checkable Robustness Properties. ISSRE Mithun Acharya, Tao Xie, Jun Xu
2006	—	`conf`	Substra: A Framework for Automatic Generation of Integration Tests. AST@ICSE Hai Yuan, Tao Xie
2006	J	`jnl`	Tool-assisted unit-test generation and selection based on operational abstractions. Autom. Softw. Eng. Tao Xie, David Notkin
2006	—	`conf`	Towards regression test selection for AspectJ programs. WTAOP Jianjun Zhao, Tao Xie, Nan Li
2006	A*	`conf`	Understanding software application interfaces via string analysis. ICSE Evan Martin, Tao Xie
2005	A	`conf`	Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. ISSRE Tao Xie, David Notkin
2005	J	`jnl`	Checking Inside the Black Box: Regression Testing by Comparing Value Spectra. IEEE Trans. Software Eng. Tao Xie, David Notkin
2005	A*	`conf`	Helping users avoid bugs in GUI applications. ICSE Amir Michail, Tao Xie
2005	—	`—`	Improving effectiveness of automated software testing in the absence of specifications. Tao Xie
2005	A	`conf`	Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin
2004	C	`conf`	Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. ICFEM Tao Xie, David Notkin
2004	—	`conf`	Automatic identification of common and special object-oriented unit tests. OOPSLA Companion Tao Xie
2004	—	`conf`	Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. ICSM Tao Xie, David Notkin
2004	A*	`conf`	Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. ASE Tao Xie, Darko Marinov, David Notkin
2003	—	`conf`	Mutually Enhancing Test Generation and Specification Inference. FATES Tao Xie, David Notkin
2003	A*	`conf`	Tool-Assisted Unit Test Selection Based on Operational Violations. ASE Tao Xie, David Notkin
2002	J	`jnl`	A Model-Based Approach to Object-Oriented Software Metrics. J. Comput. Sci. Technol. Hong Mei, Tao Xie, Fuqing Yang
2001	B	`conf`	JBOORET: an Automated Tool to Recover OO Design and Source Models. COMPSAC Hong Mei, Tao Xie, Fuqing Yang
1998	—	`conf`	C++ Program Information Database for Analysis Tools. TOOLS (27) Wanghong Yuan, X. Chen, Tao Xie, Hong Mei, Fuqing Yang