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://dblp1.uni-trier.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
Books and Theses
- 2005
[b1]Tao Xie:
Improving effectiveness of automated software testing in the absence of specifications. University of Washington, USA, 2005
Journal Articles
- 2024
- [j98]Dezhi Ran, Yingjie Fu, Yibo He, Tianyu Chen, Xing Tang, Tao Xie:
Path Toward Elderly Friendly Mobile Apps. Computer 57(6): 29-39 (2024) - [j97]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) - [j96]Yves Le Traon, Tao Xie:
Test case prioritization and mutation testing. Softw. Test. Verification Reliab. 34(1) (2024) - [j95]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) - [j94]Yves Le Traon, Tao Xie:
Test code evolution and mutation testing. Softw. Test. Verification Reliab. 34(3) (2024) - [j93]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) - [j92]Yves Le Traon, Tao Xie:
Unsafe code detection in Rust and metamorphic testing of autonomous driving systems. Softw. Test. Verification Reliab. 34(5) (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) - 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) - 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) - 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) - 2020
- [j62]Tao Xie, Zhi Jin, Xuandong Li, Gang Huang, Hausi A. Müller, Jun Pang, Li-Jun 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]Anita D. Carleton, Erin Harper, Tim Menzies, Tao Xie, Sigrid Eldh, Michael R. Lyu:
The AI Effect: Working at the Intersection of AI and SE. IEEE Softw. 37(4): 26-35 (2020) - [j58]Anita D. Carleton, Erin Harper, Michael R. Lyu, Sigrid Eldh, Tao Xie, Tim Menzies:
Expert Perspectives on AI. IEEE Softw. 37(4): 87-94 (2020) - [j57]Robert M. Hierons, Tao Xie:
Working Across Boundaries. Softw. Test. Verification Reliab. 30(3) (2020) - [j56]Robert M. Hierons, Tao Xie:
Conference Virtualization. Softw. Test. Verification Reliab. 30(4-5) (2020) - [j55]Robert M. Hierons, Tao Xie:
On automation in software engineering. Softw. Test. Verification Reliab. 30(6) (2020) - [j54]Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu:
CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software. IEEE Trans. Reliab. 69(1): 106-123 (2020) - [j53]Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Raghu Kacker, D. Richard Kuhn, Tao Xie, David Chenho Kung:
A Combinatorial Testing-Based Approach to Fault Localization. IEEE Trans. Software Eng. 46(6): 616-645 (2020) - 2019
- [j52]Tao Xie, Jun Wei, Chang Xu, Zhi Jin, Xiaoxing Ma:
Preface. J. Comput. Sci. Technol. 34(5): 939-941 (2019) - 2018
- [j51]Tao Xie, He Jiang, Ge Li, Tianyu Wo, Rahul Pandita, Chang Xu, Lihua Xu:
Preface. J. Comput. Sci. Technol. 33(5): 873-875 (2018) - [j50]Tao Xie, André van Hoorn, Huaimin Wang, Ingo Weber:
Introduction to the Special Issue on Emerging Software Technologies for Internet-Based Systems: Internetware and DevOps. ACM Trans. Internet Techn. 18(2): 13:1-13:2 (2018) - [j49]Xuanzhe Liu, Huoran Li, Xuan Lu, Tao Xie, Qiaozhu Mei, Feng Feng, Hong Mei:
Understanding Diverse Usage Patterns from Large-Scale Appstore-Service Profiles. IEEE Trans. Software Eng. 44(4): 384-411 (2018) - 2017
- [j48]Jian-Guang Lou, Qingwei Lin, Rui Ding, Qiang Fu, Dongmei Zhang, Tao Xie:
Experience report on applying software analytics in incident management of online service. Autom. Softw. Eng. 24(4): 905-941 (2017) - [j47]Xuan Lu, Zhenpeng Chen, Xuanzhe Liu, Huoran Li, Tao Xie, Qiaozhu Mei:
PRADO: Predicting App Adoption by Learning the Correlation between Developer-Controllable Properties and User Behaviors. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 1(3): 79:1-79:30 (2017) - [j46]Tao Xie, Yuanfang Cai, Xuanzhe Liu, Xiaoyin Wang, Mithun P. Acharya, Marcelo d'Amorim, Xiaoxing Ma:
Preface. J. Comput. Sci. Technol. 32(6): 1057-1059 (2017) - [j45]Xabier Larrucea, Fabien Belmonte, Adam Welc, Tao Xie:
Reliability Engineering. IEEE Softw. 34(4): 26-29 (2017) - [j44]Mingming Zhang, Chao Chen, Tianyu Wo, Tao Xie, Md. Zakirul Alam Bhuiyan, Xuelian Lin:
SafeDrive: Online Driving Anomaly Detection From Large-Scale Vehicle Data. IEEE Trans. Ind. Informatics 13(4): 2087-2096 (2017) - [j43]Xuanzhe Liu, Yun Ma, Shuailiang Dong, Yunxin Liu, Tao Xie, Gang Huang:
ReWAP: Reducing Redundant Transfers for Mobile Web Browsing via App-Specific Resource Packaging. IEEE Trans. Mob. Comput. 16(9): 2625-2638 (2017) - [j42]Xuanzhe Liu, Yun Ma, Xinyang Wang, Yunxin Liu, Tao Xie, Gang Huang:
SWAROVsky: Optimizing Resource Loading for Mobile Web Browsing. IEEE Trans. Mob. Comput. 16(10): 2941-2954 (2017) - 2016
- [j41]Qing Gao, Jun Li, Yingfei Xiong, Dan Hao, Xusheng Xiao, Kunal Taneja, Lu Zhang, Tao Xie:
High-confidence software evolution. Sci. China Inf. Sci. 59(7): 071101:1-071101:19 (2016) - [j40]Tao Xie:
Preface. J. Comput. Sci. Technol. 31(5): 849-850 (2016) - [j39]Tao Xie:
The Pursuit of Practice-Impactful Research. ACM SIGSOFT Softw. Eng. Notes 41(1): 7-8 (2016) - [j38]Tao Xie:
Diversity and Inclusion in Research Community: Remembering David Notkin. ACM SIGSOFT Softw. Eng. Notes 41(3): 6-8 (2016) - [j37]Tao Xie:
Outward Thinking for Our Research Community. ACM SIGSOFT Softw. Eng. Notes 41(4): 7-8 (2016) - [j36]Xuanzhe Liu, Yun Ma, Yunxin Liu, Tao Xie, Gang Huang:
Demystifying the Imperfect Client-Side Cache Performance of Mobile Web Browsing. IEEE Trans. Mob. Comput. 15(9): 2206-2220 (2016) - [j35]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:
Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. 42(3): 203-205 (2016) - [j34]Dan Hao, Lu Zhang, Lei Zang, Yanbo Wang, Xingxia Wu, Tao Xie:
To Be Optimal or Not in Test-Case Prioritization. IEEE Trans. Software Eng. 42(5): 490-504 (2016) - 2015
- [j33]Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal, Tao Xie:
User-aware privacy control via extended static-information-flow analysis. Autom. Softw. Eng. 22(3): 333-366 (2015) - [j32]Kai Pan, Xintao Wu, Tao Xie:
Program-input generation for testing database applications using existing database states. Autom. Softw. Eng. 22(4): 439-473 (2015) - [j31]Tao Xie, Lu Zhang, Jian Lü:
Editor's Note. Sci. China Inf. Sci. 58(5): 1-2 (2015) - [j30]Massimiliano Di Penta, Tao Xie:
Guest editorial: special section on mining software repositories. Empir. Softw. Eng. 20(2): 291-293 (2015) - [j29]Yuan Yao, Hanghang Tong, Tao Xie, Leman Akoglu, Feng Xu, Jian Lu:
Detecting high-quality posts in community question answering sites. Inf. Sci. 302: 70-82 (2015) - [j28]Tao Xie:
Preface. J. Comput. Sci. Technol. 30(5): 933-934 (2015) - [j27]Tao Xie:
Learning and Celebration of Software Engineering History and Impact. ACM SIGSOFT Softw. Eng. Notes 40(1): 7-8 (2015) - [j26]Antonia Bertolino, M. Brian Blake, Pankaj Mehra, Hong Mei, Tao Xie:
Software Engineering for Internet Computing: Internetware and Beyond [Guest editors' introduction]. IEEE Softw. 32(1): 35-37 (2015) - 2014
- [j25]Tao Xie, Lu Zhang, Xusheng Xiao, Yingfei Xiong, Dan Hao:
Cooperative Software Testing and Analysis: Advances and Challenges. J. Comput. Sci. Technol. 29(4): 713-723 (2014) - [j24]Kai Pan, Xintao Wu, Tao Xie:
Guided test generation for database applications via synthesized database interactions. ACM Trans. Softw. Eng. Methodol. 23(2): 12:1-12:27 (2014) - 2013
- [j23]Tao Xie, Thomas Zimmermann, Arie van Deursen:
Introduction to the special issue on mining software repositories. Empir. Softw. Eng. 18(6): 1043-1046 (2013) - [j22]Tao Xie, Lu Zhang, Hong Mei:
Report on the international symposium on high confidence software (ISHCS 2011/2012). ACM SIGSOFT Softw. Eng. Notes 38(4): 27-33 (2013) - [j21]Dongmei Zhang, Shi Han, Yingnong Dang, Jian-Guang Lou, Haidong Zhang, Tao Xie:
Software Analytics in Practice. IEEE Softw. 30(5): 30-37 (2013) - [j20]Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun:
Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis. IEEE Trans. Software Eng. 39(4): 516-536 (2013) - 2012
- [j19]Xusheng Xiao, Suresh Thummalapenta, Tao Xie:
Advances on Improving Automation in Developer Testing. Adv. Comput. 85: 165-212 (2012) - [j18]Hong Mei, Gang Huang, Tao Xie:
Internetware: A Software Paradigm for Internet Computing. Computer 45(6): 26-31 (2012) - [j17]Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux:
Environmental Modeling for Automated Cloud Application Testing. IEEE Softw. 29(2): 30-35 (2012) - [j16]Fei Chen, Alex X. Liu, JeeHyun Hwang, Tao Xie:
First step towards automatic correction of firewall policy faults. ACM Trans. Auton. Adapt. Syst. 7(2): 27:1-27:24 (2012) - [j15]JeeHyun Hwang, Tao Xie, Fei Chen, Alex X. Liu:
Systematic Structural Testing of Firewall Policies. IEEE Trans. Netw. Serv. Manag. 9(1): 1-11 (2012) - 2011
- [j14]Hao Zhong, Lu Zhang, Tao Xie, Hong Mei:
Inferring specifications for resources from natural language API documentation. Autom. Softw. Eng. 18(3-4): 227-261 (2011) - [j13]Suresh Thummalapenta, Tao Xie:
Alattin: mining alternative patterns for defect detection. Autom. Softw. Eng. 18(3-4): 293-323 (2011) - [j12]Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun Hwang:
Model Checking for Verification of Mandatory Access Control Models and Properties. Int. J. Softw. Eng. Knowl. Eng. 21(1): 103-127 (2011) - [j11]Alex X. Liu, Fei Chen, JeeHyun Hwang, Tao Xie:
Designing Fast and Scalable XACML Policy Evaluation Engines. IEEE Trans. Computers 60(12): 1802-1817 (2011) - 2010
- [j10]Dan Hao, Tao Xie, Lu Zhang, Xiaoyin Wang, Jiasu Sun, Hong Mei:
Test input reduction for result inspection to facilitate fault localization. Autom. Softw. Eng. 17(1): 5-31 (2010) - [j9]Nuo Li, Tao Xie, Maozhong Jin, Chao Liu:
Perturbation-based user-input-validation testing of web applications. J. Syst. Softw. 83(11): 2263-2274 (2010) - 2009
- [j8]Tao Xie, Suresh Thummalapenta, David Lo, Chao Liu:
Data Mining for Software Engineering. Computer 42(8): 55-62 (2009) - [j7]Stephen Thomas, Laurie A. Williams, Tao Xie:
On automated prepared statement generation to remove SQL injection vulnerabilities. Inf. Softw. Technol. 51(3): 589-598 (2009) - [j6]Dan Hao, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun:
Interactive Fault Localization Using Test Information. J. Comput. Sci. Technol. 24(5): 962-974 (2009) - 2008
- [j5]Christoph Csallner, Yannis Smaragdakis, Tao Xie:
DSD-Crasher: A hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol. 17(2): 8:1-8:37 (2008) - 2006
- [j4]Tao Xie, David Notkin:
Tool-assisted unit-test generation and selection based on operational abstractions. Autom. Softw. Eng. 13(3): 345-371 (2006) - [j3]Prasanth Anbalagan, Tao Xie:
Clamp: automated joinpoint clustering and pointcut mining in aspect-oriented refactoring. ACM SIGSOFT Softw. Eng. Notes 31(6): 1-2 (2006) - 2005
- [j2]Tao Xie, David Notkin:
Checking Inside the Black Box: Regression Testing by Comparing Value Spectra. IEEE Trans. Software Eng. 31(10): 869-883 (2005) - 2002
- [j1]Hong Mei, Tao Xie, Fuqing Yang:
A Model-Based Approach to Object-Oriented Software Metrics. J. Comput. Sci. Technol. 17(6): 757-769 (2002)
Conference and Workshop Papers
- 2024
- [c265]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 - [c264]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 - [c263]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 - [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 - 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 - 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 - 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 - 2020
- [c231]Liia Butler, Geoffrey Challen, Tao Xie:
Data-Driven Investigation into Variants of Code Writing Questions. CSEE&T 2020: 1-10 - [c230]Jiaqi Guo, Qian Liu, Jian-Guang Lou, Zhenwen Li, Xueqing Liu, Tao Xie, Ting Liu:
Benchmarking Meaning Representations in Neural Semantic Parsing. EMNLP (1) 2020: 1520-1540 - [c229]Qun Xia, Zhongzhu Zhou, Zhihao Li, Bin Xu, Wei Zou, Zishun Chen, Huafeng Ma, Gangqiang Liang, Haochuan Lu, Shiyu Guo, Ting Xiong, Yuetang Deng, Tao Xie:
JSidentify: a hybrid framework for detecting plagiarism among JavaScript code in online mini games. ICSE (SEIP) 2020: 211-220 - [c228]Shudi Shao, Zhengyi Qiu, Xiao Yu, Wei Yang, Guoliang Jin, Tao Xie, Xintao Wu:
Database-Access Performance Antipatterns in Database-Backed Web Applications. ICSME 2020: 58-69 - [c227]Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, Tao Xie:
Dependent-test-aware regression testing techniques. ISSTA 2020: 298-311 - [c226]Zhenpeng Chen, Yanbin Cao, Yuanqiang Liu, Haoyu Wang, Tao Xie, Xuanzhe Liu:
A comprehensive study on challenges in deploying deep learning based software. ESEC/SIGSOFT FSE 2020: 750-762 - [c225]Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie:
Detecting numerical bugs in neural network architectures. ESEC/SIGSOFT FSE 2020: 826-837 - [c224]Linyi Li, Zhenwen Li, Weijie Zhang, Jun Zhou, Pengcheng Wang, Jing Wu, Guanghua He, Xia Zeng, Yuetang Deng, Tao Xie:
Clustering test steps in natural language toward automating test automation. ESEC/SIGSOFT FSE 2020: 1285-1295 - [c223]Xiaofeng Guo, Xin Peng, Hanzhang Wang, Wanxue Li, Huai Jiang, Dan Ding, Tao Xie, Liangfei Su:
Graph-based trace analysis for microservice architecture understanding and problem diagnosis. ESEC/SIGSOFT FSE 2020: 1387-1397 - 2019
- [c222]Chen Zhi, Shuiguang Deng, Jianwei Yin, Min Fu, Hai Zhu, Yuanping Li, Tao Xie:
Quality Assessment for Large-Scale Industrial Software Systems: Experience Report at Alibaba. APSEC 2019: 142-149 - [c221]Wenyu Wang, Wujie Zheng, Dian Liu, Changrong Zhang, Qinsong Zeng, Yuetang Deng, Wei Yang, Pinjia He, Tao Xie:
Detecting Failures of Neural Machine Translation in the Absence of Reference Translations. DSN (Industry Track) 2019: 1-4 - [c220]Wujie Zheng, Wenyu Wang, Dian Liu, Changrong Zhang, Qinsong Zeng, Yuetang Deng, Wei Yang, Pinjia He, Tao Xie:
Testing untestable neural machine translation: an industrial case. ICSE (Companion Volume) 2019: 314-315 - [c219]Chen Zhi, Jianwei Yin, Shuiguang Deng, Maoxin Ye, Min Fu, Tao Xie:
An Exploratory Study of Logging Configuration Practice in Java. ICSME 2019: 459-469 - [c218]Wing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie:
iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests. ICST 2019: 312-322 - [c217]Linyi Li, Zexuan Zhong, Bo Li, Tao Xie:
Robustra: Training Provable Robust Neural Networks over Reference Adversarial Space. IJCAI 2019: 4711-4717 - [c216]Hao Yu, Wing Lam, Long Chen, Ge Li, Tao Xie, Qianxiang Wang:
Neural detection of semantic code clones via tree-based convolution. ICPC 2019: 70-80 - [c215]Jonathan Osei-Owusu, Angello Astorga, Liia Butler, Tao Xie, Geoffrey Challen:
Grading-Based Test Suite Augmentation. ASE 2019: 226-229 - [c214]Zhilei Ren, Changlin Liu, Xusheng Xiao, He Jiang, Tao Xie:
Root Cause Localization for Unreproducible Builds via Causality Analysis Over System Call Tracing. ASE 2019: 527-538 - [c213]Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie:
Learning stateful preconditions modulo a test generator. PLDI 2019: 775-787 - [c212]Zhengkai Wu, Evan Johnson, Wei Yang, Osbert Bastani, Dawn Song, Jian Peng, Tao Xie:
REINAM: reinforcement learning for input-grammar inference. ESEC/SIGSOFT FSE 2019: 488-498 - [c211]August Shi, Wing Lam, Reed Oei, Tao Xie, Darko Marinov:
iFixFlakies: a framework for automatically fixing order-dependent flaky tests. ESEC/SIGSOFT FSE 2019: 545-555 - [c210]Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Dewei Liu, Qilin Xiang, Chuan He:
Latent error prediction and fault localization for microservice applications by learning from system trace logs. ESEC/SIGSOFT FSE 2019: 683-694 - [c209]Tiancheng Jin, Qingshun Wang, Lihua Xu, Chunmei Pan, Liang Dou, Haifeng Qian, Liang He, Tao Xie:
FinExpert: domain-specific test generation for FinTech systems. ESEC/SIGSOFT FSE 2019: 853-862 - [c208]Benjamin Andow, Samin Yaseer Mahmud, Wenyu Wang, Justin Whitaker, William Enck, Bradley Reaves, Kapil Singh, Tao Xie:
PolicyLint: Investigating Internal Privacy Policy Contradictions on Google Play. USENIX Security Symposium 2019: 585-602 - 2018
- [c207]Siwakorn Srisakaokul, Zhengkai Wu, Angello Astorga, Oreoluwa Alebiosu, Tao Xie:
Multiple-Implementation Testing of Supervised Learning Software. AAAI Workshops 2018: 384-391 - [c206]Wei Yang, Tao Xie:
Telemade: A Testing Framework for Learning-Based Malware Detection Systems. AAAI Workshops 2018: 400-403 - [c205]Zexuan Zhong, Jiaqi Guo, Wei Yang, Tao Xie, Jian-Guang Lou, Ting Liu, Dongmei Zhang:
Generating Regular Expressions from Natural Language Specifications: Are We There Yet? AAAI Workshops 2018: 791-794 - [c204]Angello Astorga, Siwakorn Srisakaokul, Xusheng Xiao, Tao Xie:
PreInfer: Automatic Inference of Preconditions via Symbolic Analysis. DSN 2018: 678-689 - [c203]Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie, Pratap Lakshman, Jonathan de Halleux:
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects. ECOOP 2018: 5:1-5:27 - [c202]Zexuan Zhong, Jiaqi Guo, Wei Yang, Jian Peng, Tao Xie, Jian-Guang Lou, Ting Liu, Dongmei Zhang:
SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications. EMNLP 2018: 1608-1618 - [c201]Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chenjie Xu, Chao Ji, Wenyun Zhao:
Benchmarking microservice systems for software engineering research. ICSE (Companion Volume) 2018: 323-324 - [c200]Wei Yang, Mukul R. Prasad, Tao Xie:
EnMobile: entity-based characterization and analysis of mobile malware. ICSE 2018: 384-394 - [c199]Tao Xie:
Intelligent Software Engineering: Synergy between AI and Software Engineering. ISEC 2018: 1:1 - [c198]Wenyu Wang, Dengfeng Li, Wei Yang, Yurui Cao, Zhenwen Zhang, Yuetang Deng, Tao Xie:
An empirical study of Android test generation tools in industrial cases. ASE 2018: 738-748 - [c197]Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, Dan Ding:
Delta debugging microservice systems. ASE 2018: 802-807 - [c196]Mingming Zhang, Tianyu Wo, Tao Xie:
A Platform Solution of Data-Quality Improvement for Internet-of-Vehicle Services. PerCom 2018: 1-7 - [c195]Xueqing Liu, Yue Leng, Wei Yang, Chengxiang Zhai, Tao Xie:
Mining Android App Descriptions for Permission Requirements Recommendation. RE 2018: 147-158 - [c194]Tao Xie:
Intelligent Software Engineering: Synergy Between AI and Software Engineering. SETTA 2018: 3-7 - [c193]Qingshun Wang, Lintao Gu, Minhui Xue, Lihua Xu, Wenyu Niu, Liang Dou, Liang He, Tao Xie:
FACTS: automated black-box testing of FinTech systems. ESEC/SIGSOFT FSE 2018: 839-844 - [c192]Xueqing Liu, Yue Leng, Wei Yang, Wenyu Wang, Chengxiang Zhai, Tao Xie:
A Large-Scale Empirical Study on Android Runtime-Permission Rationale Messages. VL/HCC 2018: 137-146 - [c191]Jiayi Cao, Angello Astorga, Siwakorn Srisakaokul, Zhengkai Wu, Xueqing Liu, Xusheng Xiao, Tao Xie:
Visualizing Path Exploration to Assist Problem Diagnosis for Structural Test Generation. VL/HCC 2018: 323-325 - [c190]Yun Ma, Ziniu Hu, Yunxin Liu, Tao Xie, Xuanzhe Liu:
Aladdin: Automating Release of Deep-Link APIs on Android. WWW 2018: 1469-1478 - 2017
- [c189]Wei Yang, Deguang Kong, Tao Xie, Carl A. Gunter:
Malware Detection in Adversarial Settings: Exploiting Feature Evolutions and Confusions in Android Apps. ACSAC 2017: 288-302 - [c188]Tao Xie:
Transferring Software Testing Tools to Practice. AST@ICSE 2017: 8 - [c187]Yingnong Dang, Dongmei Zhang, Song Ge, Ray Huang, Chengyun Chu, Tao Xie:
Transferring Code-Clone Detection and Analysis to Practice. ICSE-SEIP 2017: 53-62 - [c186]Yun Ma, Xuanzhe Liu, Ziniu Hu, Dian Yang, Gang Huang, Yunxin Liu, Tao Xie:
Aladdin: automating release of Android deep links to in-app content. ICSE (Companion Volume) 2017: 139-140 - [c185]Haibing Zheng, Dengfeng Li, Beihai Liang, Xia Zeng, Wujie Zheng, Yuetang Deng, Wing Lam, Wei Yang, Tao Xie:
Automated Test Input Generation for Android: Towards Getting There in an Industrial Case. ICSE-SEIP 2017: 253-262 - [c184]Shaikh Mostafa, Xiaoyin Wang, Tao Xie:
PerfRanker: prioritization of performance regression tests for collection-intensive software. ISSTA 2017: 23-34 - [c183]Wenqi Bu, Minhui Xue, Lihua Xu, Yajin Zhou, Zhushou Tang, Tao Xie:
When program analysis meets mobile security: an industrial study of misusing Android internet sockets. ESEC/SIGSOFT FSE 2017: 842-847 - [c182]Wing Lam, Zhengkai Wu, Dengfeng Li, Wenyu Wang, Haibing Zheng, Hui Luo, Peng Yan, Yuetang Deng, Tao Xie:
Record and replay for Android: are we there yet in industrial cases? ESEC/SIGSOFT FSE 2017: 854-859 - [c181]Benjamin Andow, Akhil Acharya, Dengfeng Li, William Enck, Kapil Singh, Tao Xie:
UiRef: analysis of sensitive user inputs in Android applications. WISEC 2017: 23-34 - 2016
- [c180]Tao Xie, William Enck:
Text analytics for security: tutorial. HotSoS 2016: 124-125 - [c179]Xuan Lu, Xuanzhe Liu, Huoran Li, Tao Xie, Qiaozhu Mei, Dan Hao, Gang Huang, Feng Feng:
PRADA: prioritizing android devices for apps by mining large-scale usage data. ICSE 2016: 3-13 - [c178]Xuan Lu, Xuanzhe Liu, Huoran Li, Tao Xie, Qiaozhu Mei, Dan Hao, Gang Huang, Feng Feng:
Mining usage data from large-scale Android users: challenges and opportunities. MOBILESoft 2016: 301-302 - [c177]Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann:
Measuring code behavioral similarity for programming and software engineering education. ICSE (Companion Volume) 2016: 501-510 - [c176]Tao Xie, Nikolai Tillmann, Pratap Lakshman:
Advances in unit testing: theory and practice. ICSE (Companion Volume) 2016: 904-905 - [c175]Xuan Li, Zerui Wang, Qianxiang Wang, Shoumeng Yan, Tao Xie, Hong Mei:
Relationship-aware code search for JavaScript frameworks. SIGSOFT FSE 2016: 690-701 - [c174]Benjamin Busjaeger, Tao Xie:
Learning for test prioritization: an industrial case study. SIGSOFT FSE 2016: 975-980 - [c173]Xia Zeng, Dengfeng Li, Wujie Zheng, Fan Xia, Yuetang Deng, Wing Lam, Wei Yang, Tao Xie:
Automated test input generation for Android: are we really there yet in an industrial case? SIGSOFT FSE 2016: 987-992 - [c172]Benjamin Andow, Adwait Nadkarni, Blake Bassett, William Enck, Tao Xie:
A Study of Grayware on Google Play. IEEE Symposium on Security and Privacy Workshops 2016: 224-233 - 2015
- [c171]Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan de Halleux:
Gamifying software security education and training via secure coding duels in code hunt. HotSoS 2015: 26:1-26:2 - [c170]Tao Xie, Judith Bishop, R. Nigel Horspool, Nikolai Tillmann, Jonathan de Halleux:
Crowdsourcing Code and Process via Code Hunt. CSI-SE 2015: 15-16 - [c169]Wei Yang, Xusheng Xiao, Benjamin Andow, Sihan Li, Tao Xie, William Enck:
AppContext: Differentiating Malicious and Benign Mobile App Behaviors Using Context. ICSE (1) 2015: 303-313 - [c168]Judith Bishop, R. Nigel Horspool, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Code Hunt: Experience with Coding Contests at Scale. ICSE (2) 2015: 398-407 - [c167]Huoran Li, Xuan Lu, Xuanzhe Liu, Tao Xie, Kaigui Bian, Felix Xiaozhu Lin, Qiaozhu Mei, Feng Feng:
Characterizing Smartphone Usage Patterns from Millions of Android Users. Internet Measurement Conference 2015: 459-472 - [c166]Rui Ding, Hucheng Zhou, Jian-Guang Lou, Hongyu Zhang, Qingwei Lin, Qiang Fu, Dongmei Zhang, Tao Xie:
Log2: A Cost-Aware Logging Mechanism for Performance Diagnosis. USENIX ATC 2015: 139-150 - [c165]Yun Ma, Xuanzhe Liu, Shuhui Zhang, Ruirui Xiang, Yunxin Liu, Tao Xie:
Measurement and Analysis of Mobile Web Cache Performance. WWW 2015: 691-701 - 2014
- [c164]John Slankas, Xusheng Xiao, Laurie A. Williams, Tao Xie:
Relation extraction for inferring access control rules from natural language artifacts. ACSAC 2014: 366-375 - [c163]Xiao Yu, Shi Han, Dongmei Zhang, Tao Xie:
Comprehending performance from real-world execution traces: a device-driver case. ASPLOS 2014: 193-206 - [c162]Yuan Yao, Hanghang Tong, Tao Xie, Leman Akoglu, Feng Xu, Jian Lu:
Joint voting prediction for questions and answers in CQA. ASONAM 2014: 340-343 - [c161]William Enck, Tao Xie:
Tutorial: Text Analytics for Security. CCS 2014: 1540-1541 - [c160]Rui Ding, Qiang Fu, Jian-Guang Lou, Qingwei Lin, Dongmei Zhang, Tao Xie:
Mining Historical Issue Repositories to Heal Large-Scale Online Service Systems. DSN 2014: 311-322 - [c159]Wei Yang, Xusheng Xiao, Rahul Pandita, William Enck, Tao Xie:
Improving mobile application security via bridging user expectations and application behaviors. HotSoS 2014: 32 - [c158]Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie:
Code hunt: searching for secret code for fun. SBST 2014: 23-26 - [c157]Qiang Fu, Jieming Zhu, Wenlu Hu, Jian-Guang Lou, Rui Ding, Qingwei Lin, Dongmei Zhang, Tao Xie:
Where do developers log? an empirical study on logging practices in industry. ICSE Companion 2014: 24-33 - [c156]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Constructing coding duels in Pex4Fun and code hunt. ISSTA 2014: 445-448 - [c155]Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Transferring an automated test generation tool to practice: from pex to fakes and code digger. ASE 2014: 385-396 - [c154]Qianxiang Wang, Wenxin Li, Tao Xie:
Educational programming systems for learning at scale. L@S 2014: 177-178 - [c153]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Code hunt: gamifying teaching and learning of computer science at scale. L@S 2014: 221-222 - 2013
- [c152]Hao Zhong, Suresh Thummalapenta, Tao Xie:
Exposing Behavioral Differences in Cross-Language API Mapping Relations. FASE 2013: 130-145 - [c151]Wei Yang, Mukul R. Prasad, Tao Xie:
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications. FASE 2013: 250-265 - [c150]Tao Xie:
The synergy of human and artificial intelligence in software engineering. RAISE@ICSE 2013: 4-6 - [c149]Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Educational software engineering: where software engineering, education, and gaming meet. GAS@ICSE 2013: 36-39 - [c148]Kai Pan, Xintao Wu, Tao Xie:
Automatic test generation for mutation testing on database applications. AST 2013: 111-117 - [c147]Dongmei Zhang, Tao Xie:
Pathways to technology transfer and adoption: achievements and challenges (mini-tutorial). ICSE 2013: 951-952 - [c146]Sihan Li, Hucheng Zhou, Haoxiang Lin, Tian Xiao, Haibo Lin, Wei Lin, Tao Xie:
A characteristic study on failures of production distributed data-parallel programs. ICSE 2013: 963-972 - [c145]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop:
Teaching and learning programming and software engineering via interactive gaming. ICSE 2013: 1117-1126 - [c144]Dongmei Zhang, Tao Xie:
Software analytics: achievements and challenges. ICSE 2013: 1487 - [c143]Xusheng Xiao, Shi Han, Dongmei Zhang, Tao Xie:
Context-sensitive delta inference for identifying workload-dependent performance bottlenecks. ISSTA 2013: 90-100 - [c142]Xusheng Xiao, Sihan Li, Tao Xie, Nikolai Tillmann:
Characteristic studies of loop problems for structural test generation via symbolic execution. ASE 2013: 246-256 - [c141]Jian-Guang Lou, Qingwei Lin, Rui Ding, Qiang Fu, Dongmei Zhang, Tao Xie:
Software analytics for incident management of online services: An experience report. ASE 2013: 475-485 - [c140]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Pex4Fun: A web-based environment for educational gaming via automated test generation. ASE 2013: 730-733 - [c139]Jue Wang, Yingnong Dang, Hongyu Zhang, Kai Chen, Tao Xie, Dongmei Zhang:
Mining succinct and high-coverage API usage patterns from source code. MSR 2013: 319-328 - [c138]Qiang Fu, Jian-Guang Lou, Qingwei Lin, Rui Ding, Dongmei Zhang, Tao Xie:
Contextual analysis of program logs for understanding system behaviors. MSR 2013: 397-400 - [c137]Guangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei:
Inferring project-specific bug patterns for detecting sibling bugs. ESEC/SIGSOFT FSE 2013: 565-575 - [c136]Rahul Pandita, Xusheng Xiao, Wei Yang, William Enck, Tao Xie:
WHYPER: Towards Automating Risk Assessment of Mobile Applications. USENIX Security Symposium 2013: 527-542 - [c135]Sihan Li, Tao Xie, Nikolai Tillmann:
A comprehensive field study of end-user programming on mobile devices. VL/HCC 2013: 43-50 - [c134]Qian Wu, Ling Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei:
Inferring dependency constraints on parameters for web services. WWW 2013: 1421-1432 - 2012
- [c133]Yingnong Dang, Dongmei Zhang, Song Ge, Chengyun Chu, Yingjun Qiu, Tao Xie:
XIAO: tuning code clones at hands of engineers in practice. ACSAC 2012: 369-378 - [c132]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie:
Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop. CSEE&T 2012: 87-89 - [c131]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Pex4Fun: Teaching and Learning Computer Science via Social Gaming. CSEE&T 2012: 90-91 - [c130]Dongmei Zhang, Yingnong Dang, Shi Han, Tao Xie:
Teaching and Training for Software Analytics. CSEE&T 2012: 92 - [c129]Tao Xie, Suresh Thummalapenta:
Making exceptions on exception handling. WEH@ICSE 2012: 1-3 - [c128]Shi Han, Yingnong Dang, Song Ge, Dongmei Zhang, Tao Xie:
Performance debugging in the large via mining millions of stack traces. ICSE 2012: 145-155 - [c127]Rahul Pandita, Xusheng Xiao, Hao Zhong, Tao Xie, Stephen Oney, Amit M. Paradkar:
Inferring method specifications from natural language API descriptions. ICSE 2012: 815-825 - [c126]Dongmei Zhang, Tao Xie:
Software analytics in practice: Mini tutorial. ICSE 2012: 997 - [c125]Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Tao Xie, D. Richard Kuhn, Raghu Kacker:
Identifying Failure-Inducing Combinations in a Combinatorial Test Set. ICST 2012: 370-379 - [c124]Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, D. Richard Kuhn:
Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification. ICST 2012: 620-623 - [c123]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie:
The future of teaching programming is on mobile devices. ITiCSE 2012: 156-161 - [c122]JeeHyun Hwang, Tao Xie, Donia El Kateb, Tejeddine Mouelhi, Yves Le Traon:
Selection of regression system tests for security policy evolution. ASE 2012: 266-269 - [c121]Rui Ding, Qiang Fu, Jian-Guang Lou, Qingwei Lin, Dongmei Zhang, Jiajun Shen, Tao Xie:
Healing online service systems via mining historical issue repositories. ASE 2012: 318-321 - [c120]Tao Xie:
Cooperative Testing and Analysis: Human-Tool, Tool-Tool and Human-Human Cooperations to Get Work Done. SCAM 2012: 1-3 - [c119]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Teaching and learning computing via social gaming with Pex4Fun (abstract only). SIGCSE 2012: 659 - [c118]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie:
Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). SIGCSE 2012: 663 - [c117]Xusheng Xiao, Amit M. Paradkar, Suresh Thummalapenta, Tao Xie:
Automated extraction of security policies from natural-language software documents. SIGSOFT FSE 2012: 12 - [c116]Xiaoyin Wang, Lu Zhang, Tao Xie, Yingfei Xiong, Hong Mei:
Automating presentation changes in dynamic web applications via collaborative hybrid analysis. SIGSOFT FSE 2012: 16 - [c115]Yida Tao, Yingnong Dang, Tao Xie, Dongmei Zhang, Sunghun Kim:
How do software engineers understand code changes?: an exploratory study in industry. SIGSOFT FSE 2012: 51 - [c114]Qiang Fu, Jian-Guang Lou, Qingwei Lin, Rui Ding, Dongmei Zhang, Zihao Ye, Tao Xie:
Performance Issue Diagnosis for Online Service Systems. SRDS 2012: 273-278 - [c113]JeeHyun Hwang, Vincent C. Hu, Tao Xie:
Paradigm in Verification of Access Control. SERE (Companion) 2012: 193 - [c112]Donia El Kateb, Tejeddine Mouelhi, Yves Le Traon, JeeHyun Hwang, Tao Xie:
Refactoring access control policies for performance improvement. ICPE 2012: 323-334 - 2011
- [c111]Yitao Ni, Lu Zhang, Zhong Jie Li, Tao Xie, Hong Mei:
Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs. IEEE SCC 2011: 209-217 - [c110]Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Pex4Fun: Teaching and learning computer science via social gaming. CSEE&T 2011: 546-548 - [c109]Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Retrofitting Unit Tests for Parameterized Unit Testing. FASE 2011: 294-309 - [c108]Lin Shi, Hao Zhong, Tao Xie, Mingshu Li:
An Empirical Study on Evolution of API Documentation. FASE 2011: 416-431 - [c107]Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Precise identification of problems for structural test generation. ICSE 2011: 611-620 - [c106]Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann:
DyTa: dynamic symbolic execution guided with static verification results. ICSE 2011: 992-994 - [c105]Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Covana: precise identification of problems in pex. ICSE 2011: 1004-1006 - [c104]Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
eXpress: guided path exploration for efficient regression test generation. ISSTA 2011: 1-11 - [c103]Kai Pan, Xintao Wu, Tao Xie:
Generating program inputs for database application testing. ASE 2011: 73-82 - [c102]Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei:
Iterative mining of resource-releasing specifications. ASE 2011: 233-242 - [c101]Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, Irwin King:
Mining test oracles of web search engines. ASE 2011: 408-411 - [c100]Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su:
Synthesizing method sequences for high-coverage testing. OOPSLA 2011: 189-206 - [c99]Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie:
Browser-based software for technology transfer. SAICSIT 2011: 338-340 - [c98]Kai Pan, Xintao Wu, Tao Xie:
Database state generation via dynamic symbolic execution for coverage criteria. DBTest 2011: 4 - [c97]Kunal Taneja, Mark Grechanik, Rayid Ghani, Tao Xie:
Testing software in age of data privacy: a balancing act. SIGSOFT FSE 2011: 201-211 - 2010
- [c96]JeeHyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay:
Mining Likely Properties of Access Control Policies via Association Rule Mining. DBSec 2010: 193-208 - [c95]Hao Zhong, Suresh Thummalapenta, Tao Xie, Lu Zhang, Qing Wang:
Mining API mapping for language migration. ICSE (1) 2010: 195-204 - [c94]Yoonki Song, Xiaoyin Wang, Tao Xie, Lu Zhang, Hong Mei:
JDF: detecting duplicate bug reports in Jazz. ICSE (2) 2010: 315-316 - [c93]Lu Zhang, Shan-Shan Hou, Jun-Jue Hu, Tao Xie, Hong Mei:
Is operator-based mutant selection superior to random mutant selection? ICSE (1) 2010: 435-444 - [c92]Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Parameterized unit testing: theory and practice. ICSE (2) 2010: 483-484 - [c91]Ahmed E. Hassan, Tao Xie:
Mining software engineering data. ICSE (2) 2010: 503-504 - [c90]Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Guided test generation for coverage criteria. ICSM 2010: 1-10 - [c89]Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei:
Test generation via Dynamic Symbolic Execution for mutation testing. ICSM 2010: 1-10 - [c88]Wei Jin, Alessandro Orso, Tao Xie:
Automated Behavioral Regression Testing. ICST 2010: 137-146 - [c87]Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang:
OCAT: object capture-based automated testing. ISSTA 2010: 159-170 - [c86]Guangtai Liang, Ling Wu, Qian Wu, Qianxiang Wang, Tao Xie, Hong Mei:
Automatic construction of an effective training set for prioritizing static analysis warnings. ASE 2010: 93-102 - [c85]Kunal Taneja, Nuo Li, Madhuri R. Marri, Tao Xie, Nikolai Tillmann:
MiTV: multiple-implementation testing of user-input validators for web applications. ASE 2010: 131-134 - [c84]LiGuo Huang, Daniel Port, Liang Wang, Tao Xie, Tim Menzies:
Text mining in supporting software systems risk assurance. ASE 2010: 163-166 - [c83]Kunal Taneja, Yi Zhang, Tao Xie:
MODA: automated test generation for database applications via mock objects. ASE 2010: 289-292 - [c82]Wujie Zheng, Qirun Zhang, Michael R. Lyu, Tao Xie:
Random unit-test generation with MUT-aware sequence recommendation. ASE 2010: 293-296 - [c81]Fei Chen, Alex X. Liu, JeeHyun Hwang, Tao Xie:
First Step Towards Automatic Correction of Firewall Policy Faults. LISA 2010 - [c80]Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte:
Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion 2010: 175-182 - [c79]JeeHyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay:
ACPT: A Tool for Modeling and Verifying Access Control Policies. POLICY 2010: 40-43 - [c78]Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun:
Locating need-to-translate constant strings in web applications. SIGSOFT FSE 2010: 87-96 - [c77]Ahmed E. Hassan, Tao Xie:
Software intelligence: the future of mining software engineering data. FoSER 2010: 161-166 - [c76]Wei Jin, Alessandro Orso, Tao Xie:
BERT: a tool for behavioral regression testing. SIGSOFT FSE 2010: 361-362 - [c75]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Future of developer testing: building quality in code. FoSER 2010: 415-420 - 2009
- [c74]Mark Harman, Fayezin Islam, Tao Xie, Stefan Wappler:
Automated test data generation for aspect-oriented programs. AOSD 2009: 185-196 - [c73]Ting Yu, Dhivya Sivasubramanian, Tao Xie:
Security policy testing via automated program code generation. CSIIRW 2009: 13 - [c72]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Fitness-guided path exploration in dynamic symbolic execution. DSN 2009: 359-368 - [c71]Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, Hong Mei:
MAPO: Mining and Recommending API Usage Patterns. ECOOP 2009: 318-343 - [c70]Mithun Acharya, Tao Xie:
Mining API Error-Handling Specifications from Source Code. FASE 2009: 370-384 - [c69]Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
An Empirical Study of Testing File-System-Dependent Software with Mock Objects. AST 2009: 149-153 - [c68]Wujie Zheng, Michael R. Lyu, Tao Xie:
Test selection for result inspection via mining predicate rules. ICSE Companion 2009: 219-222 - [c67]Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Guided path exploration for regression test generation. ICSE Companion 2009: 311-314 - [c66]Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun:
Locating need-to-translate constant strings for software internationalization. ICSE 2009: 353-363 - [c65]Suresh Thummalapenta, Tao Xie:
Mining exception-handling rules as sequence association rules. ICSE 2009: 496-506 - [c64]Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun:
TranStrL: An automatic need-to-translate string locator for software internationalization. ICSE 2009: 555-558 - [c63]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Mutation Analysis of Parameterized Unit Tests. ICST Workshops 2009: 177-181 - [c62]Lingshuang Shao, Junfeng Zhao, Tao Xie, Lu Zhang, Bing Xie, Hong Mei:
User-Perceived Service Availability: A Metric and an Estimation Approach. ICWS 2009: 647-654 - [c61]Lu Zhang, Shan-Shan Hou, Chao Guo, Tao Xie, Hong Mei:
Time-aware test-case prioritization using integer linear programming. ISSTA 2009: 213-224 - [c60]Suresh Thummalapenta, Tao Xie:
Alattin: Mining Alternative Patterns for Detecting Neglected Conditions. ASE 2009: 283-294 - [c59]Hao Zhong, Lu Zhang, Tao Xie, Hong Mei:
Inferring Resource Specifications from Natural Language API Documentation. ASE 2009: 307-318 - [c58]Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE 2009: 515-519 - [c57]Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
MSeqGen: object-oriented unit-test generation via mining source code. ESEC/SIGSOFT FSE 2009: 193-202 - [c56]JeeHyun Hwang, Tao Xie, Fei Chen, Alex X. Liu:
Fault Localization for Firewall Policies. SRDS 2009: 100-106 - [c55]JeeHyun Hwang, Tao Xie, Vincent C. Hu:
Detection of Multiple-Duty-Related Security Leakage in Access Control Policies. SSIRI 2009: 65-74 - 2008
- [c54]Evan Martin, JeeHyun Hwang, Tao Xie, Vincent C. Hu:
Assessing Quality of Policy Properties in Verification of Access Control Policies. ACSAC 2008: 163-172 - [c53]Vincent C. Hu, D. Richard Kuhn, Tao Xie:
Property Verification for Generic Access Control Models. EUC (2) 2008: 243-250 - [c52]Xiaoyin Wang, Lu Zhang, Tao Xie, John Anvik, Jiasu Sun:
An approach to detecting duplicate bug reports using natural language and execution information. ICSE 2008: 461-470 - [c51]Shan-Shan Hou, Lu Zhang, Tao Xie, Jiasu Sun:
Quota-constrained test-case prioritization for regression testing of service-centric systems. ICSM 2008: 257-266 - [c50]Lingshuang Shao, Lu Zhang, Tao Xie, Junfeng Zhao, Bing Xie, Hong Mei:
Dynamic Availability Estimation for Service Selection Based on Status Identification. ICWS 2008: 645-652 - [c49]Tao Xie, Mithun Acharya, Suresh Thummalapenta, Kunal Taneja:
Improving software reliability and productivity via mining program source code. IPDPS 2008: 1-5 - [c48]Nuo Li, JeeHyun Hwang, Tao Xie:
Multiple-implementation testing for XACML implementations. TAV-WEB 2008: 27-33 - [c47]Alessandro Orso, Tao Xie:
BERT: BEhavioral Regression Testing. WODA 2008: 36-42 - [c46]Tevfik Bultan, Tao Xie:
Workshop on testing, analysis and verification of web software (TAV-WEB 2008). ISSTA 2008: 311-312 - [c45]Suresh Thummalapenta, Tao Xie:
SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web. ASE 2008: 327-336 - [c44]Kunal Taneja, Tao Xie:
DiffGen: Automated Regression Unit-Test Generation. ASE 2008: 407-410 - [c43]Suresh Thummalapenta, Tao Xie:
SpotWeb: detecting framework hotspots via mining open source repositories on the web. MSR 2008: 109-112 - [c42]Alex X. Liu, Fei Chen, JeeHyun Hwang, Tao Xie:
Xengine: a fast and scalable XACML policy evaluation engine. SIGMETRICS 2008: 265-276 - [c41]JeeHyun Hwang, Tao Xie, Fei Chen, Alex X. Liu:
Systematic Structural Testing of Firewall Policies. SRDS 2008: 105-114 - 2007
- [c40]Tao Xie, Jianjun Zhao:
Perspectives on automated testing of aspect-oriented programs. WTAOP@AOSD 2007: 7-12 - [c39]Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie:
Conformance Checking of Access Control Policies Specified in XACML. COMPSAC (2) 2007: 275-280 - [c38]Yoonki Song, Suresh Thummalapenta, Tao Xie:
UnitPlus: assisting developer testing in Eclipse. ETX 2007: 26-30 - [c37]Evan Martin, Tao Xie:
Automated Test Generation for Access Control Policies via Change-Impact Analysis. SESS@ICSE 2007: 5 - [c36]Tao Xie, Kunal Taneja, Shreyas Kale, Darko Marinov:
Towards a Framework for Differential Unit Testing of Object-Oriented Programs. AST 2007: 17-23 - [c35]Evan Martin, Suranjana Basu, Tao Xie:
WebSob: A Tool for Robustness Testing of Web Services. ICSE Companion 2007: 65-66 - [c34]Prasanth Anbalagan, Tao Xie:
Automated Inference of Pointcuts in Aspect-Oriented Refactoring. ICSE 2007: 127-136 - [c33]Tao Xie, Jian Pei, Ahmed E. Hassan:
Mining Software Engineering Data. ICSE Companion 2007: 172-173 - [c32]Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun:
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software. ICSM 2007: 174-183 - [c31]Suresh Thummalapenta, Tao Xie:
Parseweb: a programmer assistant for reusing open source code on the web. ASE 2007: 204-213 - [c30]Kunal Taneja, Danny Dig, Tao Xie:
Automated detection of api refactorings in libraries. ASE 2007: 377-380 - [c29]Kobi Inkumsah, Tao Xie:
Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs. ASE 2007: 425-428 - [c28]Yuanfang Cai, Sunny Huynh, Tao Xie:
A framework and tool supports for testing modularity of software design. ASE 2007: 441-444 - [c27]Mithun Acharya, Tao Xie, Jian Pei, Jun Xu:
Mining API patterns as partial orders from source code: from usage scenarios to specifications. ESEC/SIGSOFT FSE 2007: 25-34 - [c26]Evan Martin, Tao Xie:
A fault model and mutation testing of access control policies. WWW 2007: 667-676 - 2006
- [c25]Tao Xie, Jianjun Zhao:
A framework and tool supports for generating test inputs of AspectJ programs. AOSD 2006: 190-201 - [c24]Tao Xie:
Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking. ECOOP 2006: 380-403 - [c23]Evan Martin, Tao Xie, Ting Yu:
Defining and Measuring Policy Coverage in Testing Access Control Policies. ICICS 2006: 139-158 - [c22]Hai Yuan, Tao Xie:
Substra: A Framework for Automatic Generation of Integration Tests. AST 2006: 64-70 - [c21]Tao Xie, Evan Martin, Hai Yuan:
Automatic extraction of abstract-object-state machines from unit-test executions. ICSE 2006: 835-838 - [c20]Evan Martin, Tao Xie:
Understanding software application interfaces via string analysis. ICSE 2006: 901-904 - [c19]Tao Xie:
Improving Effectiveness of Automated Software Testing in the Absence of Specifications. ICSM 2006: 355-359 - [c18]Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin:
Detecting Redundant Unit Tests for AspectJ Programs. ISSRE 2006: 179-190 - [c17]Mithun Acharya, Tao Xie, Jun Xu:
Mining Interface Specifications for Generating Checkable Robustness Properties. ISSRE 2006: 311-320 - [c16]Jianjun Zhao, Tao Xie, Nan Li:
Towards regression test selection for AspectJ programs. WTAOP 2006: 21-26 - [c15]Prasanth Anbalagan, Tao Xie:
APTE: automated pointcut testing for AspectJ programs. WTAOP 2006: 27-32 - [c14]Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst:
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. ASE 2006: 59-68 - [c13]Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie:
Effective Generation of Interface Robustness Properties for Static Analysis. ASE 2006: 293-296 - [c12]Tao Xie, Jian Pei:
MAPO: mining API usages from open source repositories. MSR 2006: 54-57 - 2005
- [c11]Amir Michail, Tao Xie:
Helping users avoid bugs in GUI applications. ICSE 2005: 107-116 - [c10]Tao Xie, David Notkin:
Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. ISSRE 2005: 277-287 - [c9]Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin:
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS 2005: 365-381 - 2004
- [c8]Tao Xie, David Notkin:
Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. ICFEM 2004: 290-305 - [c7]Tao Xie, David Notkin:
Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. ICSM 2004: 28-37 - [c6]Tao Xie, Darko Marinov, David Notkin:
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. ASE 2004: 196-205 - [c5]Tao Xie:
Automatic identification of common and special object-oriented unit tests. OOPSLA Companion 2004: 324-325 - 2003
- [c4]Tao Xie, David Notkin:
Mutually Enhancing Test Generation and Specification Inference. FATES 2003: 60-69 - [c3]Tao Xie, David Notkin:
Tool-Assisted Unit Test Selection Based on Operational Violations. ASE 2003: 40-48 - 2001
- [c2]Hong Mei, Tao Xie, Fuqing Yang:
JBOORET: an Automated Tool to Recover OO Design and Source Models. COMPSAC 2001: 71-76 - 1998
- [c1]Wanghong Yuan, X. Chen, Tao Xie, Hong Mei, Fuqing Yang:
C++ Program Information Database for Analysis Tools. TOOLS (27) 1998: 173-180
Parts in Books or Collections
- 2016
- [p2]Dongmei Zhang, Tao Xie:
Software analytics and its application in practice. Perspectives on Data Science for Software Engineering 2016: 7-11 - 2011
- [p1]Hyun Cho, Jeff Gray, Yuanfang Cai, Sunny Wong, Tao Xie:
Model-Driven Impact Analysis of Software Product Lines. Model-Driven Domain Analysis and Software Development 2011: 275-303
Editorship
- 2018
- [e7]Munindar P. Singh, Laurie A. Williams, Rick Kuhn, Tao Xie:
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. ACM 2018 [contents] - 2015
- [e6]Michal Young, Tao Xie:
Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015. ACM 2015, ISBN 978-1-4503-3620-8 [contents] - [e5]Tao Xie, Alessandro Orso, Judith Bishop, Nikolai Tillmann:
Proceedings of the 1st International Workshop on Code Hunt on Educational Software Engineering, CHESE@ISSTA 2015, Baltimore, MD, USA, July 14, 2015. ACM 2015, ISBN 978-1-4503-3711-3 [contents] - 2014
- [e4]Harry Xu, Tao Xie, Shan Lu, Dongmei Zhang, Santosh Nagarakatte, Christoph Csallner:
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. ACM 2014, ISBN 978-1-4503-2934-7 [contents] - 2012
- [e3]Michele Lanza, Massimiliano Di Penta, Tao Xie:
9th IEEE Working Conference of Mining Software Repositories, MSR 2012, June 2-3, 2012, Zurich, Switzerland. IEEE Computer Society 2012, ISBN 978-1-4673-1761-0 [contents] - 2011
- [e2]Arie van Deursen, Tao Xie, Thomas Zimmermann:
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. ACM 2011, ISBN 978-1-4503-0574-7 [contents] - 2010
- [e1]Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie:
Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010. Dagstuhl Seminar Proceedings 10111, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents]
Reference Works
- 2010
- [r1]JeeHyun Hwang, Evan Martin, Tao Xie, Vincent C. Hu:
Policy-Based Testing. Encyclopedia of Software Engineering 2010: 673-683
Informal and Other Publications
- 2024
- [i37]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) - [i36]Zhenwen Li, Tao Xie:
Using LLM to select the right SQL Query from candidates. CoRR abs/2401.02115 (2024) - [i35]Luyao Ren, Xing Zhang, Ziyue Hua, Yanyan Jiang, Xiao He, Tao Xie:
Validity-Preserving Delta Debugging via Generator. CoRR abs/2402.04623 (2024) - [i34]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) - [i33]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) - [i32]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) - [i31]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) - [i30]Dezhi Ran, Mengzhou Wu, Wei Yang, Tao Xie:
Foundation Model Engineering: Engineering Foundation Models Just as Engineering Software. CoRR abs/2407.08176 (2024) - 2023
- [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
- [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
- [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
- [i13]Linyi Li, Maurice Weber, Xiaojun Xu, Luka Rimanic, Tao Xie, Ce Zhang, Bo Li:
Provable Robust Learning Based on Transformation-Specific Smoothing. CoRR abs/2002.12398 (2020) - [i12]Zhenpeng Chen, Yanbin Cao, Yuanqiang Liu, Haoyu Wang, Tao Xie, Xuanzhe Liu:
Understanding Challenges in Deploying Deep Learning Based Software: An Empirical Study. CoRR abs/2005.00760 (2020) - [i11]Linyi Li, Xiangyu Qi, Tao Xie, Bo Li:
SoK: Certified Robustness for Deep Neural Networks. CoRR abs/2009.04131 (2020) - 2018
- [i10]Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu:
CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software. CoRR abs/1807.02282 (2018) - [i9]Wujie Zheng, Wenyu Wang, Dian Liu, Changrong Zhang, Qinsong Zeng, Yuetang Deng, Wei Yang, Tao Xie:
Oracle-free Detection of Translation Issue for Neural Machine Translation. CoRR abs/1807.02340 (2018) - [i8]Siwakorn Srisakaokul, Zexuan Zhong, Yuhao Zhang, Wei Yang, Tao Xie:
MULDEF: Multi-model-based Defense Against Adversarial Examples for Neural Networks. CoRR abs/1809.00065 (2018) - 2017
- [i7]Xuanzhe Liu, Huoran Li, Xuan Lu, Tao Xie, Qiaozhu Mei, Hong Mei, Feng Feng:
Understanding Diverse Smarpthone Usage Patterns from Large-Scale Appstore-Service Profiles. CoRR abs/1702.05060 (2017) - 2016
- [i6]Xuanzhe Liu, Yun Ma, Shuailiang Dong, Yunxin Liu, Tao Xie, Gang Huang, Hong Mei:
ReWAP: Reducing Redundant Transfers for Mobile Web Applications via App-Specific Resource Packaging. CoRR abs/1605.06678 (2016) - 2013
- [i5]Eric Anderson, Sihan Li, Tao Xie:
A Preliminary Field Study of Game Programming on Mobile Devices. CoRR abs/1310.3308 (2013) - [i4]Yuan Yao, Hanghang Tong, Tao Xie, Leman Akoglu, Feng Xu, Jian Lu:
Want a Good Answer? Ask a Good Question First! CoRR abs/1311.6876 (2013) - [i3]Ahmed E. Hassan, Katsuro Inoue, Tao Xie, Dongmei Zhang:
Software Analytics Principles and Practices (NII Shonan Meeting 2013-12). NII Shonan Meet. Rep. 2013 (2013) - 2010
- [i2]Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie:
10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors. Practical Software Testing: Tool Automation and Human Factors 2010 - [i1]Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie:
10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors. Practical Software Testing: Tool Automation and Human Factors 2010
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-21 02:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
