Publications by Research Categories  Publications by Types    Selected Publications
Google Scholar Citations, Semantic Scholar, DBLP, Microsoft Academic Search, Arnetminer, ACM Author

Publications by Years   2023 (J2: C4: 4 in RC) 2022 (J4:C10: 9 in RC)  2021 (J1:C10: 8 in RC; W1) 2020 (J2:C10: 7 in RC) 2019 (C15: 12 in RC) 2018 (J1, C15: 11 in RC; W3)  2017 (J5:C10; 3 in RC; W1)   2016 (J4:C8: 2 in RC; W2)  2015 (J4:C6: 4 in RC; W1)   2014 (J4:C12: 5 in RC; W2) 2013 (J2: C17: 12 in RC; W5) 2012 (J5: C18: 12 in RC; W3) 2011 (J4: C17: 10 in RC; W2) 2010 (J2; C23: 15 in RC) 2009 (J3; C20: 13 in RC; W4) 2008(J1;C14: 10 in RC; W4)   2007(C12: 8 in RC; W5)   2006(J1;C14: 7 in RC;W7)    2005(J1;C3;W2)    2004(C4;W1)    2003(C1;W2)    2002(J1;W1)    2001~(J2;C2) [J: Journals; C: Conferences (RC: Research Tracks); W: Workshops]

      2023 

          Journals (2) 

1. Jingling Sun, Ting Su, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie, and Zhendong Su.
   Characterizing and Finding System Setting-Related Defects in Android Apps.
   IEEE Transactions on Software Engineering (TSE), To Appear.
   Download: [PDF][BibTeX]
   
   
2. Yi Liu, Yun Ma, Xusheng Xiao, Tao Xie, and Xuanzhe Liu.
   LegoDroid : Flexible Android Apps Decomposition and Instant Installation.
   Science China Information Sciences, To appear.
   Download: [PDF][BibTeX]
   
   Conferences (4: 4 in research/main tracks) 
   
   
3. Ziyue Hua, Wei Lin, Luyao Ren, Zongyang Li, Lu Zhang, Wenpin Jiao, and Tao Xie.
   GDsmith: Detecting Bugs in Cypher Graph Database Engines.
   In Proceedings of the 2021 International Symposium on Software Testing and Analysis
   (ISSTA 2023), Seattle, WA, July 2023.
   Download: [PDF][BibTeX]
   
   
4. Linyi Li, Tao Xie, and Bo Li.
   SoK: Certified Robustness for Deep Neural Networks.
   In Proceedings of 44th IEEE Symposium on Security and Privacy
   (S&P 2023), San Francisco, CA, May 2023.
   Download: [PDF][BibTeX]
   
   
5. Dezhi Ran, Hao Wang, Wenyu Wang, and Tao Xie.
   BADGE: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing.
   In Proceedings of the 45th International Conference on Software Engineering
   (ICSE 2023), Melbourne, Australia, May 2023.
   Download: [PDF][BibTeX]
   
   
6. Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, and Tao Xie.
   Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects.
   In Proceedings of the 45th International Conference on Software Engineering
   (ICSE 2023), Melbourne, Australia, May 2023.
   Download: [PDF][BibTeX]
   
   
   2022
   

    Journals (4)  
   

7. Hao Yu, Xing Hu, Ge Li, Tao Xie, Ying Li, and Qianxiang Wang.
   Assessing and Improving an Evaluation Dataset for Detecting Semantic Code Clones via Deep Learning.
   ACM Transactions on Software Engineering and Methodology, 31(4), Article No.: 62, pages 1–25, October 2022.
   Download: [PDF][BibTeX]
   
   
8. Hong Mei, Donggang Cao, and Tao Xie.
   Ubiquitous Operating System: Toward the Blue Ocean of Human-cyber-physical Ternary Ubiquitous Computing.
   Bulletin of Chinese Academy of Sciences, 37(1), pages 30-37, 2022. (in Chinese)
   Download: [PDF][BibTeX]
   
   
9. Bowen Li, Xin Peng, Qilin Xiang, Hanzhang Wang, Tao Xie, Jun Sun, and Xuanzhe Liu.
   Enjoy Your Observability: An Industrial Survey of Microservice Tracing and Analysis.
   Empirical Software Engineering, volume 27, Article number: 25, 2022.
   Download: [PDF][BibTeX]
   
   
10. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Wenhai Li, and Dan Ding.
    Delta Debugging Microservice Systems with Parallel Optimization.
    IEEE Transactions on Services Computing (TSC), 15(1), 16-29, Jan.-Feb. 2022.
    Download: [PDF][BibTeX]
    A previous short version appeared in Proceedings of ASE 2018.
    
    Conferences (10: 9 in research/main tracks) 
    
    
11. Zhenwen Li, Jiaqi Guo, Qian Liu, Jian-Guang Lou, and Tao Xie.
    Exploring the Secrets Behind the Learning Difficulty of Meaning Representations for Semantic Parsing.
    In Proceedings of  2022 Conference on Empirical Methods in Natural Language Processing
    (EMNLP 2022), December 2022.
    Download: [PDF][BibTex]
    
    
12. Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radiček, Gustavo Soares, Xinyu Wang, Zhenwen Li, and Tao Xie.
    NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis.
    In Proceedings of the 30th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2022), Singapore, November 2022.
    Download: [PDF][BibTex]
    
    
13. Yunfan Zhang, Ruidong Zhu, Yingfei Xiong, and Tao Xie.
    Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification.
    In Proceedings of 37th IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2022), Oakland Center, MI, October 2022.
    Download: [PDF][BibTeX]
    
    
14. Wei Lin, Lu Zhang, Haotian Zhang, Kailai Shao, Mingming Zhang and Tao Xie.
    TaintSQL: Dynamically Tracking Fine-Grained Implicit Flows for SQL Statements.
    In Proceedings of the 33rd IEEE International Conference on Software Reliability Engineering 
    (ISSRE 2022), Charlotte, NC, October 2022.
    Download: [PDF][BibTeX]
    Best Paper Award Candidate (one of three candidates)
    
    
15. Linyi Li, Jiawei Zhang, Tao Xie, and Bo Li.
    Double Sampling Randomized Smoothing.
    In Proceedings of the 39th International Conference on Machine Learning
    (ICML 2022), Baltimore MD, July 2022.
    Download: [PDF][BibTeX]
    
    
16. Hao Yu, Yiling Lou, Ke Sun, Dezhi Ran, Tao Xie, Dan Hao, Ying Li, Ge Li, and Qianxiang Wang.
    Automated Assertion Generation via Information Retrieval and Its Integration with Deep Learning.
    In Proceedings of the 44th International Conference on Software Engineering
    (ICSE 2022), Pittsburgh, PA, May 2022.
    Download: [PDF][BibTeX]
    
    
17. Anjiang Wei, Pu Yi, Zhengxi Li, Tao Xie, Darko Marinov, and Wing Lam.
    Preempting Flaky Tests via Non-Idempotent-Outcome Tests.
    In Proceedings of the 44th International Conference on Software Engineering
    (ICSE 2022), Pittsburgh, PA, May 2022.
    Download: [PDF][BibTeX]
    
    
18. Zhuolin Yang, Linyi Li, Xiaojun Xu, Bhavya Kailkhura, Tao Xie, and Bo Li.
    On the Certified Robustness for Ensemble Models and Beyond.
    In Proceedings of the 10th International Conference on Learning Representations
    (ICLR 2022), Virtual, April 2022.
    Download: [PDF][BibTeX]
    
    
19. Pu Yi, Hao Wang, Tao Xie, Darko Marinov, and Wing Lam.
    A Theoretical Analysis of Random Regression Test Prioritization.
    In Proceedings of 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS 2022), Munich, Germany, pages 217-235, April 2022.
    Download: [PDF][BibTeX]
    
    Other Conference Tracks (1)
    
    
20. 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.
    In Proceedings of the 44th International Conference on Software Engineering
    (ICSE 2022), Software Engineering in Practice (SEIP), Pittsburgh, PA, May 2022.
    Download: [PDF][BibTeX]
    
    
    2021
    

     Journals (1)

21. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Wenhai Li, and Dan Ding.
    Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study.
    IEEE Transactions on Software Engineering (TSE), 47(2), pages 243-260, 2021.
    Download: [PDF][BibTeX]
    IEEE Transactions on Software Engineering (TSE) Best Paper Award
    
     Conferences (10: 8 in research/main tracks)
    
    
22. Yixing Luo, Xiaoyi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, and Tao Xie.
    Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search.
    In Proceedings of 36th IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2021), Australia, November 2021.
    Download: [PDF][BibTeX]
    
    
23. Hanzhang Wang, Zhengkai Wu, Huai Jiang, Yichao Huang, Jiamu Wang, Selcuk Kopru, Tao Xie.
    Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial Settings.
    In Proceedings of 36th IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2021), Experience Paper, Australia, November 2021.
    Download: [PDF][BibTeX]
    
    
24. Linyi Li, Maurice Weber, Xiaojun Xu, Luka Rimanic, Bhavya Kailkhura, Tao Xie, Ce Zhang, and Bo Li.
    TSS: Transformation-Specific Smoothing for Robustness Certification.
    In Proceedings of ACM Conference on Computer and Communications Security
    (CCS 2021), Virtual Conference, November 2021.
    Download: [PDF][BibTeX]
    
    
25. Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, and Tao Xie.
    Synthesizing Contracts Correct Modulo a Test Generator.
    In Proceedings of ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
    (OOPSLA 2021), Chicago, Illinois, Article 104, October 2021.
    Download: [PDF][BibTex]
    
    
26. Wenyu Wang, Wei Yang, Tianyin Xu, and Tao Xie.
    Vet: Identifying and Avoiding UI Exploration Tarpits.
    In Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2021), Virtual Conference, pages 83–94, August 2021.
    Download: [PDF][BibTex]
    ACM SIGSOFT Distinguished Paper Award
    
    
27. Wenyu Wang, Wing Lam, and Tao Xie.
    An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools.
    In Proceedings of the 2021 International Symposium on Software Testing and Analysis
    (ISSTA 2021), Virtual Event, Pages 165–176, July 2021.
    Download: [PDF][BibTex]
    
    
28. Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, and Zhendong Su.
    Understanding and Finding System Setting-related Defects in Android Apps.
    In Proceedings of the 2021 International Symposium on Software Testing and Analysis
    (ISSTA 2021), Virtual Event, Pages 204–215, July 2021.
    Download: [PDF][BibTex]
    
    
29. Anjiang Wei, Pu Yi, Tao Xie, Darko Marinov, and Wing Lam.
    Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests.
    In Proceedings of  27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS 2021), Virtual Conference, March 2021.
    Download: [PDF][BibTex]
    
    Other Conference Tracks (2)
    
    
30. Qingshun Wang, Lihua Xu, Jun Xiao, Qi Guo, Haotian Zhang, Liang Dou, Liang He, and Tao Xie.
    FinFuzzer: One Step Further in Fuzzing Fintech Systems.
    In Proceedings of 36th IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2021), Industry Showcase, Australia, November 2021.
    Download: [PDF][BibTeX]
    
    
31. Yingjie Fu, Jonathan Osei-Owusu, Angello Astorga, Zirui Neil Zhao, Wei Zhang, and Tao Xie.
    PaCon: A Symbolic Analysis Approach for Tactic-oriented Clustering of Programming Submissions.
    In Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E
    (SPLASH-E 2021), pages 32–42, Chicago, Illinois, October 2021.
    Download: [PDF][BibTex]
    
    Workshops (1)
    
    
32. Pu Yi, Anjiang Wei, Wing Lam, Tao Xie, and Darko Marinov.
    Finding Polluter Tests Using Java PathFinder.
    ACM SIGSOFT Software Engineering Notes, 46(3), Pages 37-41, 2021.
    (Extended paper of abstract presented at Java Pathfinder Online Day (JPF 2020), Virtual Workshop, November 2020)
    Download: [PDF][BibTex]
    
    
     2020
    

     Journals (2)

33. Yi Qin, Tao Xie, Chang Xu, Angello Astorga, and Jian Lu.
    CoMID: Context-based Multi-invariant Detection for Monitoring Cyber-Physical Software.
    IEEE Transactions on Reliability (TR), 69(1), pages 106-123, 2020.
    Download: [PDF][BibTeX]
    
    
34. Laleh Sh. Ghandehari, Yu Lei, Raghu Kacker, Richard Kuhn, David Kung, and Tao Xie.
    A Combinatorial Testing-Based Approach to Fault Localization.
    IEEE Transactions on Software Engineering (TSE), 46(6), pages, 616-645, 2020.
    Download: [PDF][BibTeX]
    
     Conferences (10: 7 in research/main tracks)
    
    
35. Jiaqi Guo, Qian Liu, Jian-Guang Lou, Zhenwen Li, Xueqing Liu, Tao Xie and Ting Liu.
    Benchmarking Meaning Representations in Neural Semantic Parsing.
    In Proceedings of  2020 Conference on Empirical Methods in Natural Language Processing
    (EMNLP 2020), November 2020.
    Download: [PDF][BibTex]
    
    
36. Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, and Jonathan Bell.
    A Large-Scale Longitudinal Study of Flaky Tests.
    In Proceedings of ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
    (OOPSLA 2020), Chicago, Illinois, November 2020.
    Download: [PDF][BibTeX]
    
    
37. Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, and Tao Xie.
    Detecting Numerical Bugs in Neural Network Architectures.
    In Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2020), Sacramento, California, November 2020.
    Download: [PDF][BibTeX]
    ACM SIGSOFT Distinguished Paper Award
    
    
38. Zhenpeng Chen, Yanbin Cao, Yuanqiang Liu, Haoyu Wang, Tao Xie, and Xuanzhe Liu.
    A Comprehensive Study on Challenges in Deploying Deep Learning Based Software.
    In Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2020), Sacramento, California, November 2020.
    Download: [PDF][BibTeX]
    
    
39. Liia Butler, Geoffrey Challen, and Tao Xie.
    Data-Driven Investigation into Variants of Code Writing Questions.
    In Proceedings of the IEEE International Conference on Software Engineering Education & Training
    (CSEE&T 2020), Munich, Germany, November 2020.
    Download: [PDF][BibTeX]
    
    
40. Shudi Shao, Zhengyi Qiu, Xiao Yu, Wei Yang, Guoliang Jin, Tao Xie, and Xintao Wu.
    Database-Access Performance Antipatterns in Database-Backed Web Applications.
    In Proceedings of 36th IEEE International Conference on Software Maintenance and Evolution
    (ICSME 2020), Adelaide, Australia, September-October 2020.
    Download: [PDF][BibTeX]
    
    
41. Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst and Tao Xie.
    Dependent-Test-Aware Regression Testing Techniques.
    In Proceedings of the 2020 International Symposium on Software Testing and Analysis
    (ISSTA 2020), Los Angeles, California, July 2020.
    Download: [PDF][BibTeX]
    
    Other Conference Tracks (3)
    
    
42. Xiaofeng Guo, Xin Peng, Hanzhang Wang, Wanxue Li, Huai Jiang, Dan Ding, Tao Xie, and Liangfei Su.
    Graph-based Trace Analysis for Microservice Architecture Understanding and Problem Diagnosis.
    In Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2020), Industry Paper, Sacramento, California, November 2020.
    Download: [PDF][BibTeX]
    
    
43. Linyi Li, Zhenwen Li, Weijie Zhang, Jun Zhou, Pengcheng Wang, Jing Wu, Guanghua He, Xia Zeng, Yuetang Deng, and Tao Xie.
    Clustering Test Steps in Natural Language Toward Automating Test Automation.
    In Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2020), Industry Paper, Sacramento, California, November 2020.
    Download: [PDF][BibTeX]
    
    
44. Qun Xia, Zhongzhu Zhou, Zhihao Li, Bin Xu, Wei Zou, Zishun Chen, Huafeng Ma, Gangqiang Liang, Haochuan Lu, Shiyu Guo, Ting Xiong, Yuetang Deng, and Tao Xie.
    JSidentify: A Hybrid Framework for Detecting Plagiarism Among JavaScript Code in Online Mini Games.
    In Proceedings of the 42nd International Conference on Software Engineering
    (ICSE 2020), Software Engineering in Practice (SEIP), Seoul, South Korea, May 2020.
    Download: [PDF][BibTeX]
    
    
    .
    2019
    
    Conferences (15: 12 in research/main tracks)
    
    
45. Chen Zhi, Shuiguang Deng, Jianwei Yin, Hai Zhu, Yuanping Li, Min Fu, and Tao Xie.
    Quality Assessment for Large-Scale Industrial Software Systems: Experience Report at Alibaba.
    In Proceedings of 26th Asia-Pacific Software Engineering Conference
    (APSEC 2019), Putrajaya, Malaysia, December 2019.
    Download: [PDF][BibTeX]
    
    
46. Zhilei Ren, Changlin Liu, Xusheng Xiao, He Jiang, and Tao Xie
    Root Cause Localization for Unreproducible Builds via Causality Analysis over System Call Tracing.
    In Proceedings of 34th IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2019), San Diego, California, USA, November 2019.
    Download: [PDF][BibTeX]
    
    
47. Jonathan Osei-Owusu, Angello Astorga, Liia Butler, Tao Xie, and Geoffrey Challen
    Grading-Based Test Suite Augmentation.
    In Proceedings of 34th IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2019), Short Paper, San Diego, California, USA, November 2019.
    Download: [PDF][BibTeX]
    
    
48. Chen Zhi, Jianwei Yin, Shuiguang Deng, Maoxin Ye, Min Fu, and Tao Xie.
    An Exploratory Study of Logging Configuration Practice in Java.
    In Proceedings of the 35th IEEE International Conference on Software Maintenance and Evolution
    (ICSME 2019), Cleveland, Ohio, USA, September-October, 2019.
    Download: [PDF][BibTeX]
    
    
49. Zhengkai Wu, Evan N. Johnson, Wei Yang, Osbert Bastani, Dawn Song, Jian Peng, and Tao Xie.
    REINAM: Reinforcement Learning for Input-Grammar Inference.
    In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2019), Tallinn, Estonia, August 2019.
    Download: [PDF][BibTeX]
    
    
50. August Shi, Wing Lam, Reed Oei, Tao Xie, and Darko Marinov.
    iFixFlakies: A Framework for Automatically Fixing Order-dependent Flaky Tests.
    In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2019), Tallinn, Estonia, August 2019.
    Download: [PDF][BibTeX]
    
    
51. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Dewei Liu, Qilin Xiang, and Chuan He.
    Latent Error Prediction and Fault Localization for Microservice Applications by Learning from System Trace Logs.
    In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2019), Tallinn, Estonia, August 2019.
    Download: [PDF][BibTeX]
    
    
52. Benjamin Andow, Samin Yaseer Mahmud, Wenyu Wang, Justin Whitaker, William Enck, Bradley Reaves, Kapil Singh, and Tao Xie.
    PolicyLint: Investigating Internal Privacy Policy Contradictions on Google Play.
    In Proceedings of the 28th USENIX Security Symposium
    (USENIX Security 2019), Santa Clara, CA, USA, August 2019.
    Download: [PDF][BibTeX]
    
    
53. Linyi Li, Zexuan Zhong, Bo Li, and Tao Xie.
    Robustra: Training Provable Robust Neural Networks over Reference Adversarial Space.
    In Proceedings of the 28th International Joint Conference on Artificial Intelligence
    (IJCAI 2019), Macao, China, August 2019.
    Download: [PDF][BibTeX]
    
    
54. Angello Astorga, Madhusudan Parthasarathy, Shambwaditya Saha, Shiyu Wang, and Tao Xie.
    Learning Stateful Preconditions Modulo a Test Generator.
    In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation
    (PLDI 2019), Phoenix, Arizona, June 2019.
    Download: [PDF][BibTeX]
    
    
55. Hao Yu, Wing Lam, Long Chen, Ge Li, Tao Xie, and Qianxiang Wang.
    Neural Detection of Semantic Code Clones via Tree-Based Convolution.
    In Proceedings of the 27th IEEE/ACM International Conference on Program Comprehension
    (ICPC 2019), Montréal, QC, Canada, May 2019.
    Download: [PDF][BibTeX]
    
    
56. Wing Lam, Reed Oei, August Shi, Darko Marinov, and Tao Xie.
    iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests.
    In Proceedings of 2019 IEEE International Conference on Software Testing, Verification and Validation
    (ICST 2019), Xi'an, China, April 2019.
    Download: [PDF][BibTeX]
    
    Other Conference Tracks (3)
    
    
57. Tiancheng Jin, Qingshun Wang, Lihua Xu, Chunmei Pan, Liang Dou, Haifeng Qian, Liang He, and Tao Xie.
    FinExpert: Domain-specific Test Generation for FinTech Systems.
    In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2019), Industry Paper, Tallinn, Estonia, August 2019.
    Download: [PDF][BibTeX]
    
    
58. Wenyu Wang, Wujie Zheng, Dian Liu, Changrong Zhang, Qinsong Zeng, Yuetang Deng, Wei Yang, Pinjia He, and Tao Xie.
    Detecting Failures of Neural Machine Translation in the Absence of Reference Translations.
    In Proceedings of the 49th IEEE/IFIP International Conference on Dependable Systems and Networks
    (DSN 2019), Industry Track, Portland, Oregon, June 2019.
    Download: [PDF][BibTeX]
    
    
59. Wujie Zheng, Wenyu Wang, Dian Liu, Changrong Zhang, Qinsong Zeng, Yuetang Deng, Wei Yang, Pinjia He, and Tao Xie.
    Testing Untestable Neural Machine Translation: An Industrial Case.
    In Proceedings of the 41st International Conference on Software Engineering
    (ICSE 2019), Poster, Montréal, QC, Canada, May 2019.
    Download: [PDF][BibTeX]
    
    
     2018
    
    Journals/Magazines (1)
    
    
60. Xuanzhe Liu, Huoran Li, Xuan Lu, Tao Xie, Qiaozhu Mei, Feng Feng, and Hong Mei.
    Understanding Diverse Usage Patterns from Large-Scale Appstore-Service Profiles.
    IEEE Transactions on Software Engineering (TSE), 44(4), pages 384-411, April 2018.
    Download: [PDF][BibTeX]
    
    
    Conferences (15: 11 in research/main tracks)
    
    
61. Zexuan Zhong, Jiaqi Guo, Wei Yang, Jian Peng, Tao Xie, Jian-Guang Lou, Ting Liu and Dongmei Zhang.
    SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications.
    In Proceedings of  2018 Conference on Empirical Methods in Natural Language Processing
    (EMNLP 2018), Brussels, Belgium, October-November 2018.
    Download: [PDF][BibTex]
    
    
62. Xueqing Liu, Yue Leng, Wei Yang, Wenyu Wang, Chengxiang Zhai, and Tao Xie.
    A Large-Scale Empirical Study on Android Runtime Permission Rationale Messages.
    In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
    (VL/HCC 2018), Lisbon, Portugal, October 2018.
    Download: [PDF][BibTex]
    
    
63. Wenyu Wang, Dengfeng Li, Wei Yang, Yurui Cao, Zhenwen Zhang, Yuetang Deng, and Tao Xie.
    An Empirical Study of Android Test Generation Tools in Industrial Cases.
    In Proceedings of 33rd IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2018), Experience Papers, Montpellier, France, September 2018.
    Download: [PDF][BibTeX]
    
    
64. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, and Dan Ding.
    Delta Debugging Microservice Systems.
    In Proceedings of 33rd IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2018), Short Paper, Montpellier, France, September 2018.
    Download: [PDF][BibTeX]
    An extended version appeared in TSC.
    
    
65. Tao Xie.
    Intelligent Software Engineering: Synergy between AI and Software Engineering.
    In Proceedings of Symposium on Dependable Software Engineering Theories, Tools and Applications
    (SETTA 2018), Keynote Paper, Beijing, China, September 2018.
    Download: [PDF][BibTeX]
    
    
66. Xueqing Liu, Yue Leng, Wei Yang, Chengxiang Zhai, and Tao Xie.
    Mining Android App Description for Permission Requirements Recommendation.
    In Proceedings of 26th IEEE International Requirements Engineering Conference
    (RE 2018), Banff, Alberta, Canada, August 2018.
    Download: [PDF][BibTeX]
    
    
67. Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie, Pratap Lakshman, and Jonathan de Halleux.
    A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects.
    In Proceedings of the 32nd European Conference on Object-Oriented Programming
    (ECOOP 2018), Amsterdam, Netherlands, July 2018.
    Download: [PDF][BibTeX]
    
    
68. Angello Astorga, Siwakorn Srisakaokul, Xusheng Xiao, and Tao Xie.
    PreInfer: Automatic Inference of Preconditions via Symbolic Analysis.
    In Proceedings of the 48th IEEE/IFIP International Conference on Dependable Systems and Networks
    (DSN 2018), Luxembourg, June 2018.
    Download: [PDF][BibTeX]
    
    
69. Wei Yang, Mukul Prasad, and Tao Xie.
    EnMobile: Entity-based Characterization and Analysis of Mobile Malware.
    In Proceedings of the 40th International Conference on Software Engineering
    (ICSE 2018), Gothenburg, Sweden, May 2018.
    Download: [PDF][BibTeX]
    
    
70. Yun Ma, Ziniu Hu, Yunxin Liu, Tao Xie and Xuanzhe Liu.
    Aladdin: Automating Release of Deep-Link API on Android.
    In Proceedings of the Web Conference
    (WWW 2018), Lyon, France, April 2018.
    Download: [PDF][BibTeX]
    
    
71. Mingming Zhang, Tianyu Wo, and Tao Xie.
    A Platform Solution of Data-Quality Improvement for Internet-of-Vehicle Services.
    In Proceedings of IEEE International Conference on Pervasive Computing and Communications
    (PerCom 2018), Concise Contribution, Athens, Greece, March 2018.
    Download: [PDF][BibTeX]
    
    
72. Tao Xie.
    Intelligent Software Engineering: Synergy between AI and Software Engineering.
    In Proceedings of Innovations in Software Engineering Conference
    (ISEC 2018), Keynote Paper, Hyderabad, India, February 2018.
    Download: [PDF][BibTeX]
    
    Other Conference Tracks (3)
    
    
73. Qingshun Wang, Lintao Gu, Minhui Xue, Lihua Xu, Wenyu Niu, Liang Dou, Liang He and Tao Xie.
    FACTS: Automated Black-box Testing of FinTech Systems.
    In Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2018), Industry, Lake Buena Vista, Florida, November 2018.
    Download: [PDF][BibTex]
    
    
74. Jiayi Cao, Angello Astorga, Siwakorn Srisakaokul, Zhengkai Wu, Xueqing Liu, Xusheng Xiao, and Tao Xie.
    Visualizing Path Exploration to Assist Problem Diagnosis for Structural Test Generation.
    In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
    (VL/HCC 2018), Posters, Lisbon, Portugal, October 2018.
    Download: [PDF][BibTex]
    
    
75. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chenjie Xu, Chao Ji, and Wenyun Zhao.
    Poster: Benchmarking Microservice Systems for Software Engineering Research.
    In Proceedings of the 40th International Conference on Software Engineering
    (ICSE 2018), Posters, Gothenburg, Sweden, May 2018.
    Download: [PDF][BibTeX]
    
      Workshops (3)
    
    
76. Siwakorn Srisakaokul, Zhengkai Wu, Angello Astorga, Oreoluwa Alebiosu, and Tao Xie.
    Multiple-Implementation Testing of Supervised Learning Software.
    In Proceedings of the AAAI-18 Workshop on Engineering Dependable and Secure Machine Learning Systems
    (EDSMLS 2018), co-located with AAAI 2018, New Orleans, LA, Feburary 2018.
    Download: [PDF][BibTeX]
    
    
77. Wei Yang and Tao Xie.
    Telemade: A Testing Framework for Learning-Based Malware Detection Systems.
    In Proceedings of the AAAI-18 Workshop on Engineering Dependable and Secure Machine Learning Systems
    (EDSMLS 2018), co-located with AAAI 2018, New Orleans, LA, Feburary 2018.
    Download: [PDF][BibTeX]
    
    
78. Zexuan Zhong, Jiaqi Guo, Wei Yang, Tao Xie, Jian-Guang Lou, Ting Liu, and Dongmei Zhang.
    Generating Regular Expressions from Natural Language Specifications: Are We There Yet?
    In Proceedings of Workshop on NLP for Software Engineering
    (NL4SE 2018) co-located with AAAI 2018, New Orleans, LA, Feburary 2018.
    Download: [PDF][BibTeX]
    
    Others (3)
    
    
79. Siwakorn Srisakaokul, Zexuan Zhong, Yuhao Zhang, Wei Yang, and Tao Xie.
    MULDEF: Multi-model-based Defense Against Adversarial Examples for Neural Networks.
    arXiv:1809.00065, August 2018.
    Download: [PDF]
    
    
80. Wujie Zheng, Wenyu Wang, Dian Liu, Changrong Zhang, Qinsong Zeng, Yuetang Deng, Wei Yang, Pinjia He, and Tao Xie.
    Testing Untestable Neural Machine Translation: An Industrial Case.
    arXiv:1807.02340, July 2018.
    Download: [PDF]
    
    
81. Yi Qin, Tao Xie, Chang Xu, Angello Astorga, and Jian Lu.
    CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software.
    arXiv:1807.02282, July 2018.
    Download: [PDF]
    
    
    2017
    
     Journals/Magazines (5)
    
    
    
82. Jian-Guang Lou, Qingwei Lin, Rui Ding, Qiang Fu, Dongmei Zhang, and Tao Xie.
    Experience Report on Applying Software Analytics in Incident Management of Online Service.
    Automated Software Engineering Journal, 24(4), pages 905–941, December 2017. 
    Download: [PDF][BibTeX]
    
    
83. Xuanzhe Liu, Yun Ma, Xinyang Wang, Yunxin Liu, Tao Xie, Gang Huang.
    SWAROVsky: Optimizing Resource Loading for Mobile Web Browsing.
    IEEE Transactions on Mobile Computing (TMC), 16(10), pages 2941-2954, October 2017.
    Download: [PDF][BibTeX]
    
    
84. Xuan Lu, Zhenpeng Chen, Xuanzhe Liu, Huoran Li, Tao Xie, and Qiaozhu Mei.
    PRADO: Predicting App Adoption by Learning the Correlation between Developer-Controllable Properties and User Behaviors.
    Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT), 1(3), Article No. 79, September 2017.
    Download: [PDF][BibTeX]
    
    
85. 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 Transactions on Mobile Computing (TMC), 16(9), pages 2625-2638, September 2017.
    Download: [PDF][BibTeX]
    
    
86. Mingming Zhang, Tianyu Wo, Chao Chen, Md Zakirul Alam Bhuiyan, Tao Xie, and Xuelian Lin.
    SafeDrive: Online Driving Anomaly Detection from Large-Scale Vehicle Data.
    IEEE Transactions on Industrial Informatics (TII), 13(4), pages 2087-2096, August 2017.
    Download: [PDF][BibTeX]
    
    Conferences (10: 3 in research/main tracks)
    
    
87. Wei Yang, Deguang Kong, Tao Xie, Carl Gunter.
    Malware Detection in Adversarial Setting: Exploiting Feature Evolutions and Confusions in Android Apps.
    In Proceedings of Annual Computer Security Applications Conference
    (ACSAC 2017), San Juan, Puerto Rico, December 2017.
    Download: [PDF][BibTeX]
    
    
88. Benjamin Andow, Akhil Acharya, Dengfeng Li, William Enck, Kapil Singh, and Tao Xie.
    UiRef: Analysis of Sensitive User Inputs in Android Applications.
    In Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks
    (WiSec 2017), Boston, USA, July 2017.
    Download: [PDF][BibTeX]
    
    
89. Shaikh Mostafa, Xiaoyin Wang and Tao Xie.
    PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software.
    In Proceedings of the 2017 International Symposium on Software Testing and Analysis
    (ISSTA 2017), Santa Barbara, California, July 2017.
    Download: [PDF][BibTeX]
    
    Other Conference Tracks (7)
    
    
90. Wing Lam, Zhengkai Wu, Dengfeng Li, Wenyu Wang, Haibing Zheng, Hui Luo, Peng Yan, Yuetang Deng, and Tao Xie.
    Record and Replay for Android: Are We There Yet in Industrial Cases?
    In Proceedings of the 11th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2017), Industry, Paderborn, Germany, September 2017.
    Download: [PDF][BibTeX]
    
    
91. Wenqi Bu, Minhui Xue, Lihua Xu, Yajin Zhou, Zhushou Tang, and Tao Xie.
    When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets
    In Proceedings of the 11th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2017), Industry, Paderborn, Germany, September 2017.
    Download: [PDF][BibTeX]
    
    
92. Mingming Zhang, Tianyu Wo, Tao Xie, Xuelian Lin, and Yaxiao Liu.
    CarStream: An Industrial System of Big Data Processing for Internet-of-Vehicles.
    In Proceedings of the 43rd International Conference on Very Large Data Bases
    (VLDB 2017), Industrial Track, Munich, Germany, August-September 2017.
    Download: [PDF][BibTeX]
    
    
93. Haibing Zheng, Dengfeng Li, Xia Zeng, Beihai Liang, Wujie Zheng, Yuetang Deng, Wing Lam, Wei Yang, and Tao Xie.
    Automated Test Input Generation for Android: Towards Getting There in an Industrial Case.
    In Proceedings of the 39th International Conference on Software Engineering
    (ICSE 2017), Software Engineering in Practice (SEIP), Buenos Aires, Argentina, May 2017.
    Download: [PDF][BibTeX]
    
    
94. Yingnong Dang, Dongmei Zhang, Song Ge, Ray Huang, Chengyun Chu, and Tao Xie.
    Transferring Code-Clone Detection and Analysis to Practice.
    In Proceedings of the 39th International Conference on Software Engineering
    (ICSE 2017), Software Engineering in Practice (SEIP), Buenos Aires, Argentina, May 2017.
    Download: [PDF][BibTeX]
    
    
95. Yun Ma, Xuanzhe Liu, Ziniu Hu, Dian Yang, Gang Huang, Yunxin Liu and Tao Xie.
    Aladdin: Automating Release of Android Deep Links to In-App Content.
    In Proceedings of the 39th International Conference on Software Engineering
    (ICSE 2017), Posters, Buenos Aires, Argentina, May 2017.
    Download: [PDF][BibTeX]
    
    
96. Dengfeng Li, Wing Lam, Wei Yang, Zhengkai Wu, Xusheng Xiao, Tao Xie.
    Towards Privacy-Preserving Mobile Apps: A Balancing Act.
    In Proceedings of the Symposium and Bootcamp on the Science of Security
    (HotSoS 2017), Posters, Hanover, Maryland, April 2017.
    Download: [PDF][BibTeX]
    
    Workshops (1)
    
    
97. Adrian Clark, Jonathan Wells, Angello Astorga, Andrew Xie, Jalen Coleman-Lands, and Tao Xie.
    Preliminary Analysis of Contestant Performance for a Code Hunt Contest.
    In Proceedings of the 8th Workshop on Evaluation and Usability of Programming Languages and Tools
    (PLATEAU 2017), Vancouver, Canada, October 2017.
    Download: [PDF][BibTeX]
    
    

    2016
    

            
    Journals/Magazines (4)

98. Qing Gao, Jun Li, Yingfei Xiong, Dan Hao, Xusheng Xiao, Kunal Taneja, Lu Zhang, and Tao Xie.
    High-Confidence Software Evolution.
    SCIENCE CHINA Information Sciences, 59(7), 071101:1-071101:19, July 2016.
    Download: [PDF][BibTeX]
    
    
99. Wei Yang, Xusheng Xiao, Dengfeng Li, Huoran Li, Xuanzhe Liu, Haoyu Wang, Yao Guo, and Tao Xie.
    Security Analytics for Mobile Apps: Achievements and Challenges.
    Journal of Cyber Security (in Chinese),  1(2), pages 1-14, April 2016.
    Download: [PDF][BibTeX]
    
    
100. Dan Hao, Lu Zhang, Lei Zang, Yanbo Wang, Xingxia Wu, and Tao Xie.
     To Be Optimal Or Not in Test-Case Prioritization. 
     IEEE Transactions on Software Engineering, 42(5), pages 490-505, May 2016. 
     Download: [PDF][BibTeX]
     
     
101. Xuanzhe Liu, Yun Ma, Yunxin Liu, Tao Xie, and Gang Huang.
     Demystifying the Imperfect Client-Side Cache Performance of Mobile Web Browsing.
     IEEE Transactions on Mobile Computing (TMC), 15(9): 2206-2220, 2016.
     Download: [PDF][BibTeX]
     
     Conferences (8: 2 in research/main tracks)
     
     
102. Xuan Li, Zerui Wang, Qianxiang Wang, Shoumeng Yan, Tao Xie, and Hong Mei.
     Relationship-Aware Code Search for JavaScript Frameworks.
     In Proceedings of the 24th ACM SIGSOFT Symposium on the Foundations of Software Engineering
     (FSE 2016), Seattle, WA, November 2016.
     Download: [PDF][BibTeX]
     
     
103. Xuan Lu, Xuanzhe Liu, Huoran Li, Tao Xie, Qiaozhu Mei, Dan Hao, Gang Huang, and Feng Feng.
     PRADA: Prioritizing Android Devices for Apps by Mining Large-Scale Usage Data.
     In Proceedings of the 38th International Conference on Software Engineering
     (ICSE 2016), Austin, TX, May 2016.
     Download: [PDF][BibTeX]
     
     Other Conference Tracks (6)
     
     
104. Xia Zeng, Dengfeng Li, Wujie Zheng, Fan Xia, Yuetang Deng, Wing Lam, Wei Yang, and Tao Xie.
     Automated Test Input Generation for Android: Are We Really There Yet in an Industrial Case?
     In Proceedings of the 24th ACM SIGSOFT Symposium on the Foundations of Software Engineering
     (FSE 2016), Industrial Track, Seattle, WA, November 2016.
     Download: [PDF][BibTeX]
     
     
105. Benjamin Busjaeger and Tao Xie.
     Learning for Test Prioritization: An Industrial Case Study.
     In Proceedings of the 24th ACM SIGSOFT Symposium on the Foundations of Software Engineering
     (FSE 2016), Industrial Track, Seattle, WA, November 2016.
     Download: [PDF][Slides][BibTeX]
     
     
106. Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie and Nikolai Tillmann.
     Measuring Code Behavioral Similarity for Programming and Software Engineering Education.
     In Proceedings of the 38th International Conference on Software Engineering
     (ICSE 2016), SEET, Austin, TX, May 2016.
     Download: [PDF][BibTeX]
     
     
107. Tao Xie, Nikolai Tillmann, and Pratap Lakshman.
     Advances in Unit Testing: Theory and Practice.
     In Proceedings of the 38th International Conference on Software Engineering
     (ICSE 2016), Technical Briefings, Austin, TX, May 2016.
     Download: [PDF][BibTeX]
     
     
108. Xuan Lu, Xuanzhe Liu, Huoran Li, Tao Xie, Qiaozhu Mei, Dan Hao, Gang Huang, and Feng Feng.
     Mining Usage Data from Large-Scale Android Users: Challenges and Opportunities.
     In Proceedings of the IEEE/ACM International Conference on Mobile Software Engineering and Systems
     (MOBISoft 2016), Mobile Applications, Austin, TX, May 2016.
     Download: [PDF][BibTeX]
     
     
109. Tao Xie and William Enck.
     Text Analytics for Security.
     In Proceedings of the Symposium and Bootcamp on the Science of Security 
     (HotSoS 2016), Tutorial, Pittsburgh, PA, April 2016.
     Download: [PDF][BibTeX]
     
     Workshops (2)
     
     
110. Pierre McCauley, Brandon Nsiah-Ababio, Joshua Reed, Faramola Isiaka and Tao Xie.
     Preliminary Analysis of Code Hunt Data Set from a Contest.
     In Proceedings of 2nd International Code Hunt Workshop on Educational Software Engineering
     (CHESE 2016), Seattle, WA, November 2016.
     Download: [PDF][BibTeX]
     
     
111. Benjamin Andow, Adwait Nadkarni, Blake Bassett, William Enck, and Tao Xie.
     A Study of Grayware on Google Play.
     In Proceedings of Workshop on Mobile Security Technologies
     (MoST 2016), San Jose, CA, May 2016.
     Download: [PDF][BibTeX]
     
     Others
     
     
112. Dongmei Zhang and Tao Xie.
     Software Analytics and Its Application in Practice.
     In Perspectives on Data Science for Software Engineering (Tim Menzies, Laurie Williams, and Thomas Zimmermann ed.)
     Chapter 2, Morgan Kaufmann, 2016.
     Download: [BibTeX][Book]
     
     
     2015
     

     Journals/Magazines (4)
     

113. Kai Pan, Xintao Wu, and Tao Xie.
     Program-Input Generation for Testing Database Applications Using Existing Database States.
     Automated Software Engineering Journal, 22(4), pages 439-473, December 2015.
     Download: [PDF][BibTeX]
     
     
114. Yuan Yao, Hanghang Tong, Tao Xie, Leman Akoglu, Feng Xu, and Jian Lu.
     Detecting High-quality Posts in Community Question Answering Sites.
     Information Sciences, 302, pages 70–82, 2015.
     Download: [PDF][BibTeX]
     
     
115. Xusheng Xiao, Nikolai Tillmann, Manuel Fahndrich, Jonathan de Halleux, Michal Moskal, and Tao Xie.
     User-Aware Privacy Control via Extended Static-Information-Flow Analysis.
     Automated Software Engineering Journal, 22(3), pages 333-366, 2015.
     Download: [PDF][BibTeX]
     
     
116. Tao Xie.
     Academia-Industry Collaborations: Opportunities and Challenges.
     Communications of the CCF (in Chinese), Vol. 11, No. 9, pages 52-54, September 2015.
     Download: [PDF][BibTex]
     
     
     Conferences (6: 4 in research/main tracks)
     
     
117. Huoran Li, Xuanzhe Liu, Tao Xie, Kaigui Bian, Xuan Lu, Felix Xiaozhu Lin, Qiaozhu Mei, and Feng Feng.
     Characterizing Smartphone Usage Patterns from Millions of Android Users.
     In Proceedings of the 2015 Internet Measurement Conference
     (IMC 2015), Tokyo, Japan, October 2015.
     Download: [PDF][BibTeX]
     
     
118. Rui Ding, Hucheng Zhou, Jian-Guang Lou, Hongyu Zhang, Qingwei Lin, Qiang Fu, Dongmei Zhang, and Tao Xie.
     Log2: A Cost-Aware Logging Mechanism for Performance Diagnosis.
     In Proceedings of the 2015 USENIX Annual Technical Conference
     (USENIX ATC 2015), Santa Clara, CA, June 2015.
     Download: [PDF][BibTeX]
     
     
119. Yun Ma, Shuhui Zhang, Xuanzhe Liu, Ruirui Xiang, Yunxin Liu, and Tao Xie.
     Measurement and Analysis of Mobile Web Cache Performance.
     In Proceedings of the 24th International Conference on World Wide Web
     (WWW 2015), Florence, Italy, May 2015.
     Download: [PDF][BibTeX]
     
     
120. Wei Yang, Xusheng Xiao, Benjamin Andow, Sihan Li, Tao Xie, and William Enck.
     AppContext: Differentiating Malicious and Benign Mobile App Behavior Under Contexts.
     In Proceedings of the 37th International Conference on Software Engineering
     (ICSE 2015), Florence, Italy, May 2015.
     Download: [PDF][BibTeX]
     
     Other Conference Tracks (2)
     
     
121. Judith Bishop, Nigel Horspool, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux.
     Code Hunt: Experience with Coding Contests at Scale.
     In Proceedings of the 37th International Conference on Software Engineering
     (ICSE 2015), JSEET, Florence, Italy, May 2015.
     Download: [PDF][BibTeX]
     
     
122. Tao Xie, Judith Bishop, Nikolai Tillmann, and Jonathan de Halleux.
     Gamifying Software Security Education and Training via Secure Coding Duels in Code Hunt.
     In Proceedings of the Symposium and Bootcamp on the Science of Security 
     (HotSoS 2015), Poster, Urbana, IL, April 2015.
     Download: [PDF][BibTeX]
     
     Workshops (1):
     
     
123. Tao Xie, Judith Bishop, R. Nigel Horspool, Nikolai Tillmann, and Jonathan de Halleux.
     Crowdsourcing Code and Process via Code Hunt.
     In Proceedings of International Workshop on CrowdSourcing in Software Engineering
     (CSI-SE 2015), Florence, Italy, May 2015.
     Download: [PDF][BibTeX]
     
     Others
     
     
124. Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Judith Bishop.
     Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet.
     In Computer Games and Software Engineering (Kendra M. L. Cooper and Walt Scacchi ed.)
     Chapter 5, Chapman and Hall/CRC, pages 113-132, 2015.
     Download: [BibTeX][Book]
     
     
     2014
     
     Journals/Magazines (4)
     
     
125. Tao Xie, Lu Zhang, Xusheng Xiao, Yingfei Xiong, and Dan Hao.
     Cooperative Software Testing and Analysis: Advances and Challenges.
     Journal of Computer Science and Technology, 29(4), pages 713-723, July 2014.
     Download: [PDF][BibTeX]
     
     
126. Kai Pan, Xintao Wu, and Tao Xie.
     Guided Test Generation for Database Applications via Synthesized Database Interactions.
     ACM Transactions on Software Engineering and Methodology, 23(2), Article 12, March 2014.
     Download: [PDF][BibTeX]
     
     
127. Dongmei Zhang, Shi Han, Jian-Guang Lou, Yingnong Dang, Haidong Zhang, and Tao Xie.
     Software Analytics: Essence and Practices.
     Communications of the CCF (in Chinese), Vol. 10, No. 3, pages 29-36, March 2014.
     Download: [PDF][BibTex]
     
     
128. Qiang Liu, Qianxiang Wang, and Tao Xie.
     The Online Systems for Software Engineering Education in the Big Data Era.
     Communications of the CCF (in Chinese), Vol. 10, No. 3, pages 42-46, March 2014. [PDF][BibTex]
     
     
     Conferences (12: 5 in research/main tracks)
     
     
129. John Slankas, Xusheng Xiao, Laurie Williams, and Tao Xie.
     Relation Extraction for Inferring Access Control Rules from Natural Language Artifacts.
     In Proceedings of 30th Annual Computer Security Applications Conference
     (ACSAC 2014), New Orleans, Louisiana, December 2014.
     Download: [PDF][BibTeX]
     
     
130. Nikolai Tillmann, Jonathan de Halleux, and Tao Xie.
     Transferring an Automated Test Generation Tool to Practice: From Pex to Fakes and Code Digger.
     In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2014), Experience Papers, Västerås, Sweden, September 2014.
     Download: [PDF][BibTex]
     
     
131. Yuan Yao, Hanghang Tong, Tao Xie, Leman Akoglu, Feng Xu, and Jian Lu.
     Joint Voting Prediction for Questions and Answers in CQA.
     In Proceedings of the IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
     (ASONAM 2014), Short Paper, Beijing, China, August 2014.
     Download: [PDF][BibTeX]
     
     
132. Rui Ding, Qiang Fu, Jian-Guang Lou, Qingwei Lin, Dongmei Zhang, and Tao Xie.
     Mining Historical Issue Repositories to Heal Large-Scale Online Service Systems.
     In Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
     (DSN 2014), Atlanta, Georgia, June 2014.
     Download: [PDF][BibTeX]
     A previous short version appeared in Proceedings of ASE 2012.
     
     
133. Xiao Yu, Shi Han, Dongmei Zhang, and Tao Xie.
     Comprehending Performance from Real-World Execution Traces: A Device-Driver Case.
     In  Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems
     (ASPLOS 2014), Salt Lake City, Utah, March 2014.
     Download: [PDF][BibTeX]
     
     Other Conference Tracks (8)
     
     
134. Dongmei Zhang and Tao Xie.
     Software Analytics: Achievements and Challenges.
     In Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering
     (FSE 2014), Tutorial, Hong Kong, November 2014.
     Download:  [Tutorial Web][BibTeX]
     
     
135. William Enck and Tao Xie.
     Text Analytics for Security.
     In Proceedings of the 21st ACM Conference on Computer and Communications Security
     (CCS 2014), Tutorial, Scottsdale, Arizona, November 2014.
     Download: [PDF][BibTeX]
     
     
136. Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop.
     Constructing Coding Duels in Pex4Fun and Code Hunt.
     In Proceedings of the 2014 International Symposium on Software Testing and Analysis
     (ISSTA 2014), Tool Demonstrations, San Jose, California, July 2014.
     Download: [PDF][BibTeX]
     
     
137. Qiang Fu, Jieming Zhu, Wenlu Hu, Jian-Guang Lou, Rui Ding, Qingwei Lin, Dongmei Zhang and Tao Xie.
     Where Do Developers Log? An Empirical Study on Logging Practices in Industry.
     In Proceedings of the 36th International Conference on Software Engineering
     (ICSE 2014), Software Engineering in Practice (SEIP), Hyderabad, India, May-June 2014.
     Download: [PDF][BibTeX]
     
     
138. Wei Yang, Xusheng Xiao, Rahul Pandita, William Enck and Tao Xie.
     Improving Mobile Application Security via Bridging User Expectations and Application Behaviors.
     In Proceedings of Symposium and Bootcamp on the Science of Security
     (HotSoS 2014), Poster, Raleigh, NC, April 2014.
     Download: [PDF][BibTeX]
     
     
139. Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop.
     Code Hunt: Gamifying Teaching and Learning of Computer Science at Scale.
     In Proceedings of the 1st ACM Conference on Learning at Scale
     (Learning @ Scale 2014), Work-in-Progress/Demo, Atlanta, Georgia, March 2014.
     Download: [PDF][BibTeX]
     
     
140. Qianxiang Wang, Wenxin Li, and Tao Xie.
     Educational Programming Systems for Learning at Scale.
     In Proceedings of the 1st ACM Conference on Learning at Scale
     (Learning @ Scale 2014), Work-in-Progress/Poster, Atlanta, Georgia, March 2014.
     Download: [PDF][BibTeX]
     
     Workshops (2):
     
     
141. Nikolai Tillmann, Jonathan de Halleux, Judith Bishop, Tao Xie, Nigel Horspool, and Daniel Perelman.
     Code Hunt: Context-Driven Interactive Gaming for Learning Programming and Software Engineering.
     In Proceedings of the 1st International Workshop on Context in Software Development
     (CSD 2014), Hong Kong, November 2014.
     Download: [PDF][BibTeX]
     
     
142. Nikolai Tillmann, Judith Bishop, Nigel Horspool, Daniel Perelman and Tao Xie.
     Code Hunt - Searching for Secret Code for Fun.
     In Proceedings of the 7th International Workshop on Search-Based Software Testing
     (SBST 2014), Hyderabad, India, June 2014.
     Download: [PDF][BibTeX]
     
     
     
     2013

     Journals/Magazines (2)

143. Dongmei Zhang, Shi Han, Yingnong Dang, Jian-Guang Lou, Haidong Zhang, and Tao Xie.
     Software Analytics in Practice.
     IEEE Software, Special Issue on the Many Faces of Software Analytics, 30(5), pages 30-37, September/October 2013.
     Download: [PDF][BibTex]
     
     
144. Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun.
     Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String Taint Analysis.
     IEEE Transactions on Software Engineering, 39(4), pages 516-536, April 2013.
     Download: [PDF][BibTeX]
     A previous version appeared in Proceedings of ICSE 2009.
     
     Conferences (16: 12 in research/main tracks)
     
     
145. Xusheng Xiao, Sihan Li, Tao Xie, and Nikolai Tillmann.
     Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution.
     In Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2013), Palo Alto, California, November 2013.
     Download: [PDF][BibTex]
     
     
146. Jian-Guang Lou, Qingwei Lin, Rui Ding,  Qiang Fu, Dongmei Zhang, and Tao Xie.
     Software Analytics for Incident Management of Online Services: An Experience Report.
     In Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2013), Experience Papers, Palo Alto, California, November 2013.
     Download: [PDF][BibTex]
     
     
147. Sihan Li, Tao Xie, and Nikolai Tillmann.
     A Comprehensive Field Study of End-User Programming on Mobile Devices.
     In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
     (VL/HCC 2013), San Jose, CA, September 2013.
     Download: [PDF][BibTex]
     
     
148. Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei.
     Inferring Project-Specific Bug Patterns for Detecting Sibling Bugs.
     In Proceedings of the 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
     (ESEC/FSE 2013), Saint Petersburg, Russia, August 2013.
     Download: [PDF][BibTeX]
     
     
149. Rahul Pandita, Xusheng Xiao, Wei Yang, William Enck, and Tao Xie.
     WHYPER: Towards Automating Risk Assessment of Mobile Applications.
     In Proceedings of the 22nd USENIX Security Symposium
     (USENIX Security 2013), Washington DC, August 2013.
     Download: [PDF][BibTeX]
     
     
150. Ruowen Wang, Peng Ning, Tao Xie, and Quan Chen.
     MetaSymploit: Day-One Defense Against Script-based Attacks with Security-Enhanced Symbolic Analysis.
     In Proceedings of the 22nd USENIX Security Symposium
     (USENIX Security 2013), Washington DC, August 2013.
     Download: [PDF][BibTeX]
     
     
151. Xusheng Xiao, Shi Han, Tao Xie, and Dongmei Zhang.
     Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks.
     In Proceedings of the 2013 International Symposium on Software Testing and Analysis
     (ISSTA 2013), Lugano Switzerland, July 2013.
     Download: [PDF][BibTeX]
     
     
152. Qian Wu, Ling Wu, Guangtai Liang, Qianxiang Wang, Tao Xie and Hong Mei.
     Inferring Dependency Constraints on Parameters for Web Services.
     In Proceedings of the 22nd International Conference on World Wide Web
     (WWW 2013), Rio de Janeiro, Brazil, May 2013.
     Download: [PDF][BibTeX]
     
     
153. Jue Wang, Yingnong Dang, Hongyu Zhang, Kai Chen, Tao Xie, and Dongmei Zhang.
     Mining Succinct and High-Coverage API Usage Patterns from Source Code.
     In Proceedings of the 10th Working Conference on Mining Software Repositories
     (MSR 2013), San Francisco, CA, May 2013.
     Download: [PDF][BibTeX]
     
     
154. Qiang Fu, Jian-Guang Lou, Qingwei Lin, Rui Ding, Dongmei Zhang, and Tao Xie.
     Contextual Analysis of Program Logs for Understanding System Behaviors.
     In Proceedings of the 10th Working Conference on Mining Software Repositories
     (MSR 2013), San Francisco, CA, May 2013.
     Download: [PDF][BibTeX]
     
     
155. Wei Yang, Mukul Prasad, and Tao Xie.
     A Grey-box Approach for Automated GUI-Model Generation of Mobile Applications.
     In Proceedings of International Conference on Fundamental Approaches to Software Engineering
     (FASE 2013), Rome, Italy, March 2013.
     Download: [PDF][BibTeX]
     
     
156. Hao Zhong, Suresh Thummalapenta, and Tao Xie.
     Exposing Behavioral Differences in Cross-Language API Mapping Relations.
     In Proceedings of International Conference on Fundamental Approaches to Software Engineering
     (FASE 2013), Rome, Italy, March 2013.
     Download: [PDF][BibTeX]
     
     Other Conference Tracks (6)
     
     
157. Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop.
     Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation.
     In  Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2013), Tool Demonstrations, Palo Alto, California, November 2013.
     Download: [PDF][Pex For Fun Web][BibTeX]
     
     
158. Sihan Li, Tian Xiao, Hucheng Zhou, Haoxiang Lin, Haibo Lin, Wei Lin, and Tao Xie.
     A Characteristic Study on Failures of Production Distributed Data-Parallel Programs.
     In Proceedings of the 35th International Conference on Software Engineering
     (ICSE 2013), Software Engineering in Practice (SEIP), San Francisco, CA, May 2013.
     Download: [PDF][BibTeX]
     IEEE Software Best Software Engineering in Practice (SEIP) Paper Award
     
     
159. Dongmei Zhang and Tao Xie.
     Pathways to Technology Transfer and Adoption: Achievements and Challenges.
     In Proceedings of the 35th International Conference on Software Engineering
     (ICSE 2013), Software Engineering in Practice (SEIP), Mini-Tutorial, San Francisco, CA, May 2013.
     Download: [PDF][BibTeX]
     
     
160. Nikolai Tillmann, Jonathan De Halleux, Tao Xie, Sumit Gulwani and Judith Bishop.
     Teaching and Learning Programming and Software Engineering via Interactive Gaming.
     In Proceedings of the 35th International Conference on Software Engineering
     (ICSE 2013), Software Engineering Education (SEE), San Francisco, CA, May 2013.
     Download: [PDF][Pex For Fun Web][BibTeX]
     
     
161. Dongmei Zhang and Tao Xie.
     Software Analytics: Achievements and Challenges.
     In Proceedings of the 35th International Conference on Software Engineering
     (ICSE 2013), Tutorial, San Francisco, CA, May 2013.
     Download:  [PDF][Tutorial Web][BibTeX]
     
     Workshops (5):
     
     
162. Eric Anderson, Sihan Li, and Tao Xie.
     A Preliminary Field Study of Game Programming on Mobile Devices.
     In Proceedings of Workshop on Programming for Mobile and Touch
     (PROMOTO 2013), Indianapolis, IN, October 2013.
     Download: [BibTex]
     
     
163. Tao Xie, Nikolai Tillmann and Jonathan de Halleux.
     Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet.
     In Proceedings of the 3rd International Workshop on Games and Software Engineering
     (GAS 2013), San Francisco, CA, May 2013.
     Download: [PDF][BibTeX]
     
     
164. Kai Pan, Xintao Wu and Tao Xie.
     Automatic Test Generation for Mutation Testing on Database Applications.
     In Proceedings of the 8th International Workshop on  Automation of Software Test
     (AST 2013), San Francisco, CA, May 2013.
     Download: [PDF][BibTeX]
     
     
165. Tao Xie.
     Synergy of Human and Artificial Intelligence in Software Engineering.
     In Proceedings of the 2nd International NSF sponsored Workshop on Realizing Artificial Intelligence Synergies in Software Engineering
     (RAISE 2013), San Francisco, CA, May 2013.
     Download: [PDF][BibTeX]
     
     
166. John J. Majikes, Rahul Pandita, and Tao Xie.
     Literature Review of Testing Techniques for Medical Device Software.
     In Proceedings of the 4th Workshop on Medical Cyber-Physical Systems
     (MCPS 2013), Philadelphia, PA, April 2013.
     Download: [PDF][BibTeX]
     
     Others (1)
     
     
167. Sihan Li, Tao Xie, and Nikolai Tillmann.
     A Comprehensive Field Study of End-User Programming on Mobile Devices.
     North Carolina State University Department of Computer Science Technical report TR-2013-3, March 20, 2013.
     Download: [PDF][BibTex]
     
     
     2012
     
     Journals/Magazines (5)
     
     
168. Hong Mei, Gang Huang, and Tao Xie.
     Internetware: Software Paradigm for Internet Computing.
     IEEE Computer, Special Issue on Computing in Asia,  Volume 45, Issue 6, pages 26-31, June 2012.
     Download: [PDF][BibTeX]
     
     
169. Fei Chen, Alex X. Liu, JeeHyun Hwang, and Tao Xie.
     

     First Step Towards Automatic Correction of Firewall Policy Faults.
     

     ACM Transactions on Autonomous and Adaptive Systems (TAAS), 7(2), Article 27, July 2012.
     Download: [PDF][BibTeX]
     A previous version appeared in Proceedings of LISA 2010.
     
     
     
170. JeeHyun Hwang, Tao Xie, Fei Chen, and Alex X. Liu.
     Systematic Structural Testing of Firewall Policies.
     IEEE Transactions on Network and Service Management. Volume 9, Issue 1, pages 1-11, 2012.
     Download: [PDF][BibTeX]
     A previous version appeared in Proceedings of SRDS 2008.
     
     
171. Linghao Zhang, Xiaoxing Ma, and Jian Lu, Tao Xie, Nikolai Tillmann, Jonathan de Halleux.
     Environment Modeling for Automated Testing of Cloud Applications.
     IEEE Software, Special Issue on Software Engineering for Cloud Computing, Volume 29, Issue 2, pages 30-35, 2012.
     Download: [PDF][BibTex]
     
     
172. Shing-chi Cheung, Tao Xie, Donggang Cao, and Lu Zhang.
     Testing Embedded System Software.
     Communications of the CCF (in Chinese), Vol. 8, No. 2, pages 33-38, February 2012.
     Download: [PDF][BibTex]
     
     
     Conferences (18: 12 in research/main tracks)
     
     
173. Yingnong Dang, Dongmei Zhang, Song Ge, Chengyun Chu, Yingjun Qiu, and Tao Xie.
     XIAO: Tuning Code Clones at Hands of Engineers in Practice.
     In Proceedings of 28th Annual Computer Security Applications Conference
     (ACSAC 2012), Orlando, Florida, December 2012.
     Download: [PDF][BibTeX]
     
     
174. Xusheng Xiao, Amit Paradkar, Suresh Thummalapenta, and Tao Xie.
     Automated Extraction of Security Policies from Natural-Language Software Documents.
     In Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering
     (FSE 2012), Research Triangle Park, NC, November 2012.
     Download: [PDF][BibTeX]
     
     
175. Yida Tao, Yingnong Dang, Tao Xie, Dongmei Zhang, and Sunghun Kim.
     How Do Software Engineers Understand Code Changes? An Exploratory Study in Industry.
     In Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering
     (FSE 2012), Research Triangle Park, NC, November 2012.
     Download: [PDF][BibTeX]
     
     
176. Xiaoyin Wang, Lu Zhang, Tao Xie, Yingfei Xiong, and Hong Mei.
     Automating Presentation Changes in Dynamic Web Applications via Collaborative Hybrid Analysis.
     In Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering
     (FSE 2012), Research Triangle Park, NC, November 2012.
     Download: [PDF][BibTeX]
     
     
177. Qiang Fu, Jian-Guang Lou, Qing-Wei Lin, Rui Ding, Zihao Ye, Dongmei Zhang, and Tao Xie.
     Performance Issue Diagnosis for Online Service Systems.
     In Proceedings of the 31st International Symposium on Reliable Distributed Systems
     (SRDS 2012), Short Paper, Irvine, California, October 2012.
     Download: [PDF][BibTeX]
     
     
178. Tao Xie.
     Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Cooperations to Get Work Done.
     In Proceedings of the 12th International Working Conference on Source Code Analysis and Manipulation
     (SCAM 2012), Keynote Paper, Trento, Italy, September 2012.
     Download: [PDF][BibTeX]
     
     
179. Jeehyun Hwang, Tao Xie, Donia Elkateb, Tejeddine Mouelhi, and Yves Le Traon.
     Selection of Regression System Tests for Security Policy Evolution.
     In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2012), Short Paper, Essen, Germany, September 2012.
     Download: [PDF][BibTeX]
     
     
180. Rui Ding, Qiang Fu, Jian-guang Lou, Qingwei Lin, Dongmei Zhang, Jiajun Shen, and Tao Xie.
     Healing Online Service Systems via Mining Historical Issue Repositories.
     In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2012), Short Paper, Essen, Germany, September 2012.
     Download: [PDF][BibTeX]
     
     
181. Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich, Judith Bishop, Arjmand Samuel, and Tao Xie.
     The Future of Teaching Programming is on Mobile Devices.
     In Proceedings of 17th Annual Conference on Innovation and Technology in Computer Science Education
     (ITiCSE 2012), Haifa, Israel, July 2012.
     Download: [PDF][BibTeX]
     
     
182. Rahul Pandita, Xusheng Xiao, Hao Zhong, Tao Xie, Stephen Oney, and Amit Paradkar.
     Inferring Method Specifications from Natural Language API Descriptions.
     In Proceedings of the 34th International Conference on Software Engineering
     (ICSE 2012), Zurich, Switzerland, June 2012.
     Download: [PDF][BibTeX]
     
     
183. Shi Han, Yingnong Dang, Song Ge, Dongmei Zhang, and Tao Xie.
     Performance Debugging in the Large via Mining Millions of Stack Traces.
     In Proceedings of the 34th International Conference on Software Engineering
     (ICSE 2012), Zurich, Switzerland, June 2012.
     Download: [PDF][BibTeX]
     
     
184. Donia Elkateb, Tejeddine Mouelhi, Yves Le Traon, Jeehyun Hwang, and Tao Xie.
     Refactoring Access Control Policies for Performance Improvement.
     In Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
     (ICPE 2012), Boston, MA, April 2012.
     Download: [PDF][BibTeX]
     
     
185. Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Tao Xie, D. Richard Kuhn, and Raghu Kacker.
     Identifying Failure-Inducing Combinations in a Combinatorial Test Set.
     In Proceedings of the 5th International Conference on Software Testing, Verification and Validation
     (ICST 2012), Montreal, Canada, April 2012.
     Download: [PDF][BibTeX]
     
     Other Conference Tracks (6)
     
     
186. Dongmei Zhang and Tao Xie.
     Software Analytics in Practice: Mini Tutorial.
     In Proceedings of the 34th International Conference on Software Engineering
     (ICSE 2012), Software Engineering in Practice (SEIP), Mini Tutorial, Zurich, Switzerland, pages 997, June 2012.
     Download:  [Tutorial Web][BibTeX]
     
     
187. Ahmed E. Hassan and Tao Xie.
     Mining Software Engineering Data.
     In Proceedings of the 34th International Conference on Software Engineering
     (ICSE 2012), Tutorial, Zurich, Switzerland, June 2012.
     Download: [Tutorial Web][BibTeX]
     
     
188. Dongmei Zhang, Yingnong Dang, Shi Han, and Tao Xie.
     Teaching and Training for Software Analytics.
     In Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training
     (CSEE&T 2012), Tutorial, Nanjing, China, April 2012.
     Download: [Tutorial Web][BibTeX]
     
     
189. Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop.
     Pex4Fun: Teaching and Learning Computer Science via Social Gaming.
     In Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training
     (CSEE&T 2012), Tutorial, Nanjing, China, April 2012.
     Download: [BibTeX]
     
     
190. Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich, and Tao Xie.
     Engage Your Students by Teaching Programming Using Only Mobile Devices with TouchDevelop.
     In Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training
     (CSEE&T 2012), Tutorial, Nanjing, China, April 2012.
     Download: [BibTeX]
     
     
191. Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich, and Tao Xie.
     Engage Your Students by Teaching Programming Using Only Mobile Devices with TouchDevelop (abstract only).
     In Proceedings of the 43rd ACM Technical Symposium on Computer Science Education
     (SIGCSE 2012), Workshop Summary, Raleigh, NC, page 663, February-March 2012.
     Download:  [BibTeX]
     
     Workshops (2):
     
     
192. JeeHyun Hwang, Vincent Hu, and Tao Xie.
     Paradigm in Verification of Access Control.
     In Proceedings of International Workshop on Metrics and Standards for Software Testing
     (MaSST 2012), Gaithersburg, Maryland, June 2012.
     Download:  [PDF][BibTeX]
     
     
193. Tao Xie and Suresh Thummalapenta.
     Making Exceptions on Exception Handling.
     In Proceedings of 5th International Workshop on Exception Handling
     (WEH 2012), Invited Paper, Zurich, Switzerland, June 2012.
     Download:  [PDF][BibTeX]
     
     
194. Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, and Richard Kuhn.
     Isolating Failure-Inducing Combinations in Combinatorial Testing using Test Augmentation and Classification.
     In Proceedings of International Workshop on Combinatorial Testing
     (CT 2012), Montreal, Canada, April 2012.
     Download: [PDF][BibTeX]
     
     Others (1)
     
     
195. Xusheng Xiao, Suresh Thummalapenta, and Tao Xie.
     Advances on Improving Automation in Developer Testing.
     In Advances in Computers,
     Vol 85, Burlington: Academic Press, 2012, pages 165-212.
     Download: [BibTeX]
     A previous version appeared as NCSU CSC Tech Report 2009.
     
     
     2011
     

     Journals (4)

196. Alex X. Liu, Fei Chen, JeeHyun Hwang, and Tao Xie.
     Designing Fast and Scalable XACML Policy Evaluation Engines.
     IEEE Transactions on Computers. Volume 60, Issue 12, pages 1802-1817, December 2011.
     Download: [PDF][BibTeX]
     
     
197. Vincent Hu, Richard Kuhn, Tao Xie, and JeeHyun Hwang.
     Model Checking for Verification of Mandatory Access Control Models and Properties.
     International Journal of Software Engineering and Knowledge Engineering. Volume 21, Issue 1, pages 103-127, 2011.
     Download: [PDF][BibTeX]
     
     
198. Hao Zhong, Lu Zhang, Tao Xie, and Hong Mei.
     Inferring Specifications for Resources from Natural Language API Documentation.
     Automated Software Engineering Journal, Volume 18, Issue 3-4, pages 227-261, 2011.
     A special issue of selected papers from the ASE 2009 conference.
     Download: [PDF][BibTeX]
     A previous version appeared in Proceedings of ASE 2009.
     
     
199. Suresh Thummalapenta and Tao Xie.
     Alattin: Mining Alternative Patterns for Defect Detection.
     Automated Software Engineering Journal, Volume 18, Issue 3-4, pages 293-323, 2011.
     A special issue of selected papers from the ASE 2009 conference.
     Download: [PDF][BibTeX]
     A previous version appeared in Proceedings of ASE 2009.
     
     Conferences (17: 10 in research/main tracks)
     
     
200. Kai Pan, Xintao Wu, and Tao Xie.
     Generating Program Inputs for Database Application Testing.
     In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2011), Lawrence, Kansas, pages 73-82, November 2011.
     Download: [PDF][BibTeX]
     
     
201. Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei.
     Iterative Mining of Resource-Releasing Specifications.
     In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2011), Lawrence, Kansas, pages 233-242, November 2011.
     Download: [PDF][BibTeX]
     
     
202. Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, and Irwin King.
     Mining Test Oracles of Web Search Engines.
     In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2011), Short Paper, Lawrence, Kansas, pages 408-411, November 2011.
     Download: [PDF][BibTeX]
     
     
203. Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Zhendong Su.
     Synthesizing Method Sequences for High-Coverage Testing.
     In Proceedings of ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
     (OOPSLA 2011), Portland, Oregon, pages 189-206, October 2011.
     Download: [PDF][BibTeX]
     
     
204. Kunal Taneja, Mark Grechanik, Rayid Ghani, and Tao Xie.
     Testing Software In Age Of Data Privacy: A Balancing Act.
     In Proceedings of the 8th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
     (ESEC/FSE 2011), Szeged, Hungary, pages 201-211, September 2011.
     Download: [PDF][BibTeX]
     
     
205. Kunal Taneja, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux.
     eXpress: Guided Path Exploration for Efficient Regression Test Generation.
     In Proceedings of the 2011 International Symposium on Software Testing and Analysis
     (ISSTA 2011), Toronto, Canada, pages 1-11, July 2011.
     Download: [PDF][BibTeX]
     A previous version appeared in Proceedings of ICSE 2009 New Ideas and Emerging Results track.
     
     
206. Yitao Ni, Lu Zhang, Zhongjie Li, Tao Xie, and Hong Mei.
     Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs.
     In Proceedings of the 8th International Conference on Services Computing
     (SCC 2011), Washington DC, pages 209--217, July 2011.
     Download: [PDF][BibTeX]
     
     
207. Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux.
     Precise Identification of Problems for Structural Test Generation.
     In Proceedings of the 33rd International Conference on Software Engineering
     (ICSE 2011), Honolulu, Hawaii, pp. 611-620, May 2011.
     Download: [PDF][BibTeX]
     
     
208. Suresh Thummalapenta, Madhuri Marri, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux.
     Retrofitting Unit Tests for Parameterized Unit Testing.
     In Proceedings of International Conference on Fundamental Approaches to Software Engineering
     (FASE 2011), Saarbrücken, Germany, pages 294-309, March-April 2011.
     Download: [PDF][BibTeX]
     
     
209. Lin Shi, Hao Zhong, Tao Xie, and Mingshu Li.
     An Empirical Study on Evolution of API Documentation.
     In Proceedings of International Conference on Fundamental Approaches to Software Engineering
     (FASE 2011), Saarbrücken, Germany, pages 416-431, March-April 2011.
     Download: [PDF][BibTeX]
     
     
     Other Conference Tracks (7)
     
     
210. Dongmei Zhang and Tao Xie.
     xSA: eXtreme Software Analytics - Marriage of eXtreme Computing and Software Analytics.
     In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2011), Tutorial, Lawrence, Kansas, November 2011.
     Download: [Tutorial Web][BibTeX]
     
     
211. Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, Nigel Horspool, Don Syme, and Tao Xie.
     Browser-based Software for Technology Transfer.
     In Proceedings of the 2011 Annual Research Conference of the South African Institute for Computer Scientists and Information Technologists
     (SAICSIT 2011), Industry Oriented Paper, Cape Town, South Africa, pages 338-340, October 2011.
     Download: [PDF][BibTeX]
     
     
212. Lin Tan and Tao Xie.
     Text Analytics for Software Engineering: Applications of Natural Language Processing.
     Presented in the 8th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
     (ESEC/FSE 2011), Technical Briefing, Szeged, Hungary, September 2011.
     Download: [BibTeX]
     
     
213. Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux.
     Covana: Precise Identification of Problems in Pex.
     In Proceedings of the 33rd International Conference on Software Engineering
     (ICSE 2011), Demonstration, Honolulu, Hawaii, pp. 1004-1006, May 2011.
     Download: [PDF][BibTeX]
     
     
214. Xi Ge, Kunal Taneja, Tao Xie, and Nikolai Tillmann.
     DyTa: Dynamic Symbolic Execution Guided with Static Verification Results.
     In Proceedings of the 33rd International Conference on Software Engineering
     (ICSE 2011), Demonstration, Honolulu, Hawaii, pp. 992-994, May 2011.
     Download: [PDF][BibTeX]
     
     
215. Ahmed E. Hassan and Tao Xie.
     Mining Software Engineering Data.
     Presented in the 33rd International Conference on Software Engineering
     (ICSE 2011), Technical Briefing, Honolulu, Hawaii, May 2011.
     Download: [Tutorial Web][BibTeX]
     
     
216. Nikolai Tillmann, Jonathan de Halleux, and Tao Xie.
     Pex4Fun: Teaching and Learning Computer Science via Social Gaming.
     In Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training
     (CSEE&T 2011), Practice and Methods Presentations, & Tutorials (PMP&T), Honolulu, Hawaii, pages 546-548, May 2011.
     Download: [PDF][Tutorial Web][BibTeX]
     
     Workshops
     
     
217. Dongmei Zhang, Yingnong Dang, Jian-Guang Lou, Shi Han, Haidong Zhang, and Tao Xie.
     Software Analytics as a Learning Case in Practice: Approaches and Experiences.
     In Proceedings of International Workshop on Machine Learning Technologies in Software Engineering
     (MALETS 2011), Lawrence, Kansas, November 2011.
     Download: [PDF][BibTeX]
     
     
218. Kai Pan, Xintao Wu, and Tao Xie.
     Database State Generation via Dynamic Symbolic Execution for Coverage Criteria.
     In Proceedings of the 4th International Workshop on Testing Database Systems
     (DBTest 2011), Athens, Greece, pages 4-9, June 2011.
     Download: [PDF][BibTeX]
     
     Others
     
     
     
219. Hyun Cho, Jeff Gray, Yuanfang Cai, Sonny Wong and Tao Xie.
     Model-Driven Impact Analysis of Software Product Lines.
     In Model-Driven Domain Analysis and Software Development: Architectures and Functions (Janis Osis and Erika Asnina ed.)
     Chapter 13, IGI Global, pages 275-303, 2011.
     Download: [BibTeX][Book]
     
     
220. Mithun Acharya and Tao Xie.
     Static API Specification Mining: Exploiting Source Code Model Checking.
     In Mining Software Specifications: Methodologies and Applications (Lo et al. ed.)
     Chapter 5, Chapman & Hall/CRC Data Mining and Knowledge Discovery Series, Taylor & Francis, March 2011.
     Download: [BibTeX][Book]
     
     
221. Suresh Thummalapenta, Tao Xie, and Madhuri R. Marri.
     Mining API Usage Specifications via Searching Source Code from the Web.
     In Mining Software Specifications: Methodologies and Applications (Lo et al. ed.)
     Chapter 10, Chapman & Hall/CRC Data Mining and Knowledge Discovery Series, Taylor & Francis, March 2011.
     Download: [BibTeX][Book]
     
     
222. Nikolai Tillmann, Jonathan de Halleux, and Tao Xie.
     Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science.
     Microsoft Research, Technical report, no. MSR-TR-2011-41, March 2011.
     Download: [PDF][BibTex]
     
     
223. Xusheng Xiao, Amit Paradkar, and Tao Xie.
     Automated Extraction and Validation of Security Policies from Natural-Language Documents.
     North Carolina State University Department of Computer Science Technical report TR-2011-7, March 15, 2011.
     Download: [PDF][BibTex]
     
     
     2010
     
     Journals (2)
     
     
224. Nuo Li, Tao Xie, Maozhong Jin, and Chao Liu.
     Perturbation-based User-Input-Validation Testing of Web Applications.
     Journal of Systems and Software. Volume 83, Issue 11, pages 2263-2274, November 2010.
     Download: [PDF][BibTeX]
     
     
225. Dan Hao, Tao Xie, Lu Zhang, Xiaoyin Wang, Jiasu Sun, and Hong Mei.
     Test Input Reduction for Result Inspection to Facilitate Fault Localization.
     Automated Software Engineering Journal. Vol. 17, Number 1, pp. 5-31 March 2010.
     Download: [PDF][BibTeX]
     
     
     Conferences (21: 15 in research/main tracks)
     
     
226. Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun.
     Locating Need-to-Translate Constant Strings in Web Applications.
     In Proceedings of the 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering
     (FSE 2010), Santa Fe, NM, pages 87-96, November 2010.
     Download: [PDF][BibTeX]
     
     
227. Fei Chen, Alex X. Liu, JeeHyun Hwang, and Tao Xie.
     First Step Towards Automatic Correction of Firewall Policy Faults.
     In Proceedings of the 24th USENIX Large Installation System Administration Conference
     (LISA 2010), San Jose, CA, pages 75-90, November 2010.
     Download: [PDF][BibTeX]
     Best Student Paper Award
     
     
228. Guangtai Liang, Ling Wu, Qian Wu, Qianxiang Wang, Tao Xie, and Hong Mei.
     Automatic Construction of an Effective Training Set for Prioritizing Static Analysis Warnings.
     In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2010), Antwerp, Belgium, pages 93-102, September 2010.
     Download: [PDF][BibTeX]
     
     
229. Kunal Taneja, Yi Zhang, and Tao Xie.
     MODA: Automated Test Generation for Database Applications via Mock Objects.
     In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2010), Short Paper, Antwerp, Belgium, pages 289-292, September 2010.
     Download: [PDF][BibTeX]
     
     
230. Kunal Taneja, Nuo Li, Madhuri Marri, Tao Xie, and Nikolai Tillmann.
     MiTV: Multiple-Implementation Testing of User-Input Validators for Web Applications.
     In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2010), Short Paper, Antwerp, Belgium, pages 131-134, September 2010.
     Download: [PDF][BibTeX]
     
     
231. Wujie Zheng, Qirun Zhang, Michael Lyu, and Tao Xie.
     Random Unit-Test Generation with MUT-aware Sequence Recommendation.
     In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2010), Short Paper, Antwerp, Belgium, pages 293-296, September 2010.
     Download: [PDF][BibTeX]
     
     
232. LiGuo Huang, Daniel Port, Liang Wang, Tao Xie, and Tim Menzies.
     Text Mining in Supporting Software Systems Risk Assurance.
     In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2010), Short Paper, Antwerp, Belgium, pages 163-166, September 2010.
     Download: [PDF][BibTeX]
     
     
233. Rahul Pandita, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux.
     Guided Test Generation for Coverage Criteria.
     In Proceedings of the 26th IEEE International Conference on Software Maintenance
     (ICSM 2010), Timișoara, Romania, September 2010.
     Download: [PDF][BibTeX]
     
     
234. Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, and Hong Mei.
     Test Generation via Dynamic Symbolic Execution for Mutation Testing.
     In Proceedings of the 26th IEEE International Conference on Software Maintenance
     (ICSM 2010), Timișoara, Romania, September 2010.
     Download: [PDF][BibTeX]
     
     
235. Hojun Jaygarl, Sunghun Kim, Tao Xie, and Carl K. Chang.
     OCAT: Object Capture-based Automated Testing.
     In Proceedings of International Conference on Software Testing and Analysis
     (ISSTA 2010), Trento, Italy, pp. 159-170, July 2010.
     Download: [PDF][BibTeX]
     
     
236. JeeHyun Hwang, Tao Xie, Vincent Hu, and Mine Altunay.
     Mining Likely Properties of Access Control Policies via Association Rule Mining.
     In Proceedings of the 24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security
     (DBSec 2010), Rome, Italy, pp. 193-208, June 2010.
     Download: [PDF][BibTeX]
     
     
237. Hao Zhong, Suresh Thummalapenta, Tao Xie, Lu Zhang, and Qing Wang.
     Mining API Mapping for Language Migration.
     In Proceedings of the 32nd International Conference on Software Engineering
     (ICSE 2010), Cape Town, South Africa, pp. 195-204, May 2010.
     Download: [PDF][BibTeX]
     
     
238. Lu Zhang, Shan-Shan Hou, Jun-Jue Hu, Tao Xie, and Hong Mei.
     Is Operator-Based Mutant Selection Superior to Random Mutant Selection?
     In Proceedings of the 32nd International Conference on Software Engineering
     (ICSE 2010), Cape Town, South Africa, pp. 435-444, May 2010.
     Download: [PDF][BibTeX]
     
     
239. Michael Gegick, Pete Rotella, and Tao Xie.
     Identifying Security Bug Reports via Text Mining: An Industrial Case Study.
     In Proceedings of the 7th Working Conference on Mining Software Repositories
     (MSR 2010), Cape Town, South Africa, pp. 11-20, May 2010.
     Download: [PDF][BibTeX]
     
     
240. Wei Jin, Alex Orso, and Tao Xie.
     Automated Behavioral Regression Testing.
     In Proceedings of the 3rd IEEE International Conference on Software Testing, Verification and Validation
     (ICST 2010), Paris, France, pp. 137-146, April 2010.
     Download: [PDF][BibTeX]
     A previous version appeared in Proceedings of WODA 2008.
     
     Other Conference Tracks
     
     
241. Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte.
     Future of Developer Testing: Building Quality in Code.
     In Proceedings of FSE/SDP Workshop on the Future of Software Engineering Research
     (FoSER 2010), Santa Fe, NM, pages 415-420, November 2010.
     Download: [PDF][BibTeX]
     
     
242. Ahmed E. Hassan and Tao Xie.
     Software Intelligence: Future of Mining Software Engineering Data.
     In Proceedings of FSE/SDP Workshop on the Future of Software Engineering Research
     (FoSER 2010), Santa Fe, NM, pages 161-166, November 2010.
     Download: [PDF][BibTeX]
     
     
243. Wei Jin, Alex Orso, and Tao Xie.
     BERT: A Tool for Behavioral Regression Testing.
     In Proceedings of the 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering
     (FSE 2010), Research Demonstration, Santa Fe, NM, pages 361-362, November 2010.
     Download: [PDF][BibTeX]
     
     
244. Tao Xie, Jonathan de Halleux, Nikolai Tillmann, and Wolfram Schulte.
     Teaching and Training Developer-Testing Techniques and Tool Support.
     In Proceedings of the 25th Annual ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity
     (SPLASH 2010), Educators' and Trainers' Symposium, Reno/Tahoe Nevada, pages 175-182, October 2010.
     Download: [PDF][BibTeX]
     
     
245. JeeHyun Hwang, Tao Xie, Vincent Hu, and Mine Altunay.
     ACPT: A Tool for Modeling and Verifying Access Control Policies.
     In Proceedings of the IEEE International Symposium on Policies for Distributed Systems and Networks
     (POLICY 2010), System Demo, George Mason University, USA, pages 40-43, July 2010.
     Download: [PDF][BibTeX]
     
     
246. Yoonki Song, Xiaoyin Wang, Tao Xie, Lu Zhang, and Hong Mei.
     JDF: Detecting Duplicate Bug Reports in Jazz.
     In Proceedings of the 32nd International Conference on Software Engineering
     (ICSE 2010), Informal Demonstration, Cape Town, South Africa, pp. 315-316, May 2010.
     Download: [PDF][BibTeX]
     
     
247. Nikolai Tillmann, Jonathan de Halleux, and Tao Xie.
     Parameterized Unit Testing: Theory and Practice.
     In Proceedings of the 32nd International Conference on Software Engineering
     (ICSE 2010), Tutorials, Cape Town, South Africa, pp. 483-484, May 2010.
     Download: [Tutorial Web][BibTeX]
     
     
248. Ahmed E. Hassan and Tao Xie.
     Mining Software Engineering Data.
     In Proceedings of the 32nd International Conference on Software Engineering
     (ICSE 2010), Tutorials, Cape Town, South Africa, pp. 503-504, May 2010.
     Download: [Tutorial Web][BibTeX]
     
     Others
     
     
249. JeeHyun Hwang, Evan Martin, Tao Xie, and Vincent C. Hu.
     Policy-Based Testing.
     Encyclopedia of Software Engineering, 1:1, 673-683, 01 November 2010
     Download: [PDF][BibTex]
     
     
250. Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Peli de Halleux.
     Issue Analysis for Residual Structural Coverage in Dynamic Symbolic Execution.
     North Carolina State University Department of Computer Science Technical report TR-2010-7, March 23, 2010.
     Download: [PDF][BibTex]
     
     
     2009
             
     Journals/Magazines (3)
     
     
251. Tao Xie, Suresh Thummalapenta, David Lo, and Chao Liu.
     Data Mining for Software Engineering.
     IEEE Computer, 42(8), pp.35-42, August 2009.
     Download: [PDF][BibTeX]
     
     
252. Stephen Thomas, Laurie Williams, and Tao Xie.
     On Automated Prepared Statement Generation to Remove SQL Injection Vulnerabilities.
     Information and Software Technology, Volume 51, Issue 3, pages 589-598, March 2009.
     Download: [PDF][BibTeX]
     
     
253. Dan Hao, Lu Zhang, Tao Xie, Hong Mei, Jia-Su Sun.
     Interactive Fault Localization Using Test Information.
     Journal of Computer Science and Technology, Volume 24, No. 5, pp. 962-974, September 2009.
     Download: [PDF][BibTeX]
     
     
     Conferences (20: 13 in research/main tracks)
     
     
254. Suresh Thummalapenta and Tao Xie.
     Alattin: Mining Alternative Patterns for Detecting Neglected Conditions.
     In Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2009), Auckland, New Zealand, pp. 283-294, November 2009.
     Download: [PDF][Slides][BibTeX]
     
     
255. Hao Zhong, Lu Zhang, Tao Xie, and Hong Mei.
     Inferring Resource Specifications from Natural Language API Documentation.
     In Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2009), Auckland, New Zealand, pp. 307-318, November 2009.
     Best Paper Award and ACM SIGSOFT Distinguished Paper Award
     Download: [PDF][BibTeX]
     
     
256. Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte.
     Reggae: Automated Test Generation for Programs using Complex Regular Expressions.
     In Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2009), Short Paper, Auckland, New Zealand, pp. 515-519, November 2009.
     Download: [PDF][BibTeX]
     
     
257. JeeHyun Hwang, Tao Xie, Fei Chen, and Alex X. Liu.
     Fault Localization for Firewall Policies.
     In Proceedings of the 28th IEEE International Symposium on Reliable Distributed Systems
     (SRDS 2009), Short Paper, Niagara Falls, New York, pp. 100-106, September 2009.
     Download: [PDF][BibTeX]
     
     
258. Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte.
     MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code.
     In Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
     (ESEC/FSE 2009), Amsterdam, the Netherlands, pp. 193-202, August 2009.
     Download: [PDF][BibTeX]
     
     
259. Lu Zhang, Shan-Shan Hou, Chao Guo, Tao Xie, and Hong Mei.
     Time-Aware Test-Case Prioritization using Integer Linear Programming.
     In Proceedings of International Conference on Software Testing and Analysis
     (ISSTA 2009), Chicago, pp. 213-223, July 2009.
     Download: [PDF][BibTeX]
     
     
260. JeeHyun Hwang, Tao Xie, and Vincent C. Hu.
     Detection of Multiple-Duty-Related Security Leakage in Access Control Policies.
     In Proceedings of the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement
     (SSIRI 2009), Shanghai, China, pp. 59-68, July 2009.
     Download: [PDF][BibTeX]
     
     
261. Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, and Hong Mei.
     MAPO: Mining and Recommending API Usage Patterns.
     In Proceedings of the 23rd European Conference on Object-Oriented Programming
     (ECOOP 2009), Genova, Italy, 318-343, July 2009.
     Download: [PDF][BibTeX]
     
     
262. Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte.
     Fitness-Guided Path Exploration in Dynamic Symbolic Execution.
     In Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
     (DSN 2009), Lisbon, Portugal, pp. 359-368, June-July 2009.
     Download: [PDF][Slides][BibTeX]
     
     
263. Suresh Thummalapenta and Tao Xie.
     Mining Exception-Handling Rules as Sequence Association Rules.
     In Proceedings of the 31st International Conference on Software Engineering
     (ICSE 2009), Vancouver, Canada, pp. 496-506, May 2009.
     Download: [PDF][Slides][BibTeX]
     
     
264. Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun.
     Locating Need-to-Translate Constant Strings for Software Internationalization.
     In Proceedings of the 31st International Conference on Software Engineering
     (ICSE 2009), Vancouver, Canada, pp. 353-363, May 2009.
     Download: [PDF][BibTeX]
     
     
265. Mithun Acharya and Tao Xie.
     Mining API Error-Handling Specifications from Source Code.
     In Proceedings of International Conference on Fundamental Approaches to Software Engineering
     (FASE 2009), York, UK, pp. 370-384, March 2009.
     Download: [PDF][BibTeX]
     
     
266. Mark Harman, Fayezin Islam, Tao Xie, and Stefan Wappler.
     Automated Test Data Generation for Aspect-Oriented Programs.
     In Proceedings of the 8th International Conference on Aspect-Oriented Software Development
     (AOSD 2009), Charlottesville, Virginia, pp. 185-196, March 2009.
     Download: [PDF][Slides][BibTeX]
     
     Other Conference Tracks
     
     
267. Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Wolfram Schulte.
     Parameterized Unit Testing: Principles, Techniques, and Applications in Practice.
     Presented at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
     (OOPSLA 2009), Tutorials, Orlando, Florida, October 2009.
     Download: [BibTeX]
     
     
268. Lingshuang Shao, Junfeng Zhao, Tao Xie, Lu Zhang, Bing Xie, and Hong Mei.
     User-Perceived Service Availability: A Metric and an Estimation Approach.
     In Proceedings of the IEEE International Conference on Web Services
     (ICWS 2009), Application and Industry Track, Los Angeles, CA, pp. 647-654, July 2009.
     Download: [PDF][BibTeX]
     
     
269. Wujie Zheng, Michael R. Lyu, and Tao Xie.
     Test Selection for Result Inspection via Mining Predicate Rules.
     In Companion Proceedings of the 31st International Conference on Software Engineering
     (ICSE 2009), New Ideas and Emerging Results, Vancouver, Canada, pp. 219-222, May 2009.
     Download: [PDF][BibTeX]
     
     
270. Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte.
     Guided Path Exploration for Regression Test Generation.
     In Companion Proceedings of the 31st International Conference on Software Engineering
     (ICSE 2009), New Ideas and Emerging Results, Vancouver, Canada, pp. 311-314, May 2009.
     Download: [PDF][BibTeX]
     
     
271. Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun.
     TranStrL: An Automatic Need-to-Translate String Locator for Software Internationalization.
     In Proceedings of the 31st International Conference on Software Engineering
     (ICSE 2009), Formal Demonstration, Vancouver, Canada, pp. 555-558, May 2009.
     Download: [PDF][BibTeX]
     
     
272. Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Wolfram Schulte.
     Parameterized Unit Testing: Principles, Techniques, and Applications in Practice.
     Presented at the 31st International Conference on Software Engineering
     (ICSE 2009), Tutorials, Vancouver, Canada, May 2009.
     Download: [Tutorial Web][BibTeX]
     
     
273. Tao Xie and Ahmed E. Hassan.
     Mining Software Engineering Data.
     Presented at the 31st International Conference on Software Engineering
     (ICSE 2009), Tutorials, Vancouver, Canada, May 2009.
     Download: [Tutorial Web][BibTeX]
     
     
     Workshops (4)
     
     
274. Madhuri R Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte.
     An Empirical Study of Testing File-System-Dependent Software with Mock Objects.
     In Proceedings of the 4th International Workshop on Automation of Software Test
     (AST 2009), Business and Industry Case Studies, Vancouver, Canada, pp. 149-153, May 2009.
     Download: [PDF][BibTeX]
     
     
275. Madhuri R Marri, Suresh Thummalapenta, and Tao Xie.
     Improving Software Quality via Code Searching and Mining.
     In Proceedings of the First International Workshop on Search-Driven Development – Users, Infrastructure, Tools and Evaluation
     (SUITE 2009), Vancouver, Canada, pp. 33-36, May 2009.
     Download: [PDF][BibTeX]
     
     
276. Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte.
     Mutation Analysis of Parameterized Unit Tests.
     In Proceedings of the 4th International Workshop on Mutation Analysis
     (Mutation 2009), Denver, Colorado, pp. 177-181, April 2009.
     Download: [PDF][Slides][BibTeX]
     
     
277. Ting Yu, Dhivya Sivasubramanian, and Tao Xie.
     Security Policy Testing via Automated Program Code Generation (Extended Abstract).
     In Proceedings of Cyber Security and Information Intelligence Research Workshop
     (CSIIRW 2009), Oak Ridge, TN, pp. 1-4, April 2009.
     Download: [PDF][BibTeX]
     
     Others (1):
     
     
278. Tao Xie.
     Improving Automation in Developer Testing: State of the Practice.
     North Carolina State University Department of Computer Science Technical report TR-2009-6, February 20, 2009.
     Download: [PDF][BibTex]
     An extended version appears as a book chapter in Advances in Computers 2012
     
     
     2008
     
     Journals (1)
     
     
279. Christoph Csallner, Yannis Smaragdakis, and Tao Xie.
     DSD-Crasher: A Hybrid Analysis Tool for Bug Finding.
     ACM Transactions on Software Engineering and Methodology, Vol. 17, Issue 2, pp. 345-371, July 2008.
     Download: [PDF][BibTeX]
     
     
     Conferences (15: 10 in research/main tracks)
     
     
280. Vincent Hu, Richard Kuhn, and Tao Xie.
     Property Verification for Generic Access Control Models.
     In Proceedings of IEEE/IFIP International Symposium on Trust, Security and Privacy for Pervasive Applications
     (TSP 2008), Shanghai, China, pp. 243-250, December 2008.
     Download: [PDF][BibTeX]
     
     
281. Evan Martin, JeeHyun Hwang, Tao Xie, and Vincent Hu.
     Assessing Quality of Policy Properties in Verification of Access Control Policies.
     In Proceedings of 24th Annual Computer Security Applications Conference
     (ACSAC 2008), Anaheim, California, pp. 163-172, December 2008.
     Download: [PDF][BibTeX]
     
     
282. Prasanth Anbalagan and Tao Xie.
     Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs.
     In Proceedings of the 19th IEEE International Conference on Software Reliability Engineering 
     (ISSRE 2008), Seattle, WA, pp. 239-248, November 2008.
     Download: [PDF][BibTeX]
     A previous version appeared in Proceedings of Mutation 2006.
     
     
283. JeeHyun Hwang, Tao Xie, Fei Chen, and Alex X. Liu.
     Systematic Structural Testing of Firewall Policies.
     In Proceedings of the 27th IEEE International Symposium on Reliable Distributed Systems
     (SRDS 2008), Napoli, Italy, pp. 105-114, October 2008.
     Download: [PDF][BibTeX]
     
     
284. Shan-Shan Hou, Lu Zhang, Tao Xie, and Jia-Su Sun.
     Quota-Constrained Test-Case Prioritization for Regression Testing of Service-Centric Systems.
     In Proceedings of the 24rd IEEE International Conference on Software Maintenance
     (ICSM 2008), Beijing, China, pp. 257-266, October 2008.
     Download: [PDF][BibTeX]
     
     
285. Suresh Thummalapenta and Tao Xie.
     SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web.
     In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2008), L'Aquila, Italy, pp. 327-336, September 2008.
     Download: [PDF][BibTeX]
     A previous version appeared in Proceedings of MSR 2008 as a Position Paper.
     
     
286. Kobi Inkumsah and Tao Xie.
     Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution.
     In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2008), L'Aquila, Italy, pp. 297-306, September 2008.
     Download: [PDF][Slides][BibTeX]
     A previous version appeared in Proceedings of ASE 2007 as a Short Paper.
     
     
287. Kunal Taneja and Tao Xie.
     DiffGen: Automated Regression Unit-Test Generation.
     In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2008), Short Paper, L'Aquila, Italy, pp. 407-410, September 2008.
     Download: [PDF][Poster][BibTeX]
     
     
288. Alex X. Liu, Fei Chen, JeeHyun Hwang, and Tao Xie.
     XEngine: A Fast and Scalable XACML Policy Evaluation Engine.
     In Proceedings of the International Conference on Measurement and Modeling of Computer Systems
     (SIGMETRICS 2008), Annapolis, Maryland, pp. 265-276, June 2008.
     Download: [PDF][BibTeX]
     
     
289. Xiaoyin Wang, Lu Zhang, Tao Xie, John Anvik, and Jiasu Sun.
     An Approach to Detecting Duplicate Bug Reports using Natural Language and Execution Information.
     In Proceedings of the 30th International Conference on Software Engineering
     (ICSE 2008), Leipzig, Germany, pp. 461-470, May 2008.
     Download: [PDF][BibTeX]
     
     
     Other Conference Tracks
     
     
290. Lingshuang Shao, Lu Zhang, Tao Xie, Junfeng Zhao, Bing Xie, and Hong Mei.
     Dynamic Availability Estimation for Service Selection Based on Status Identification.
     In Proceedings of the IEEE International Conference on Web Services
     (ICWS 2008), Application Services and Industry Track, Beijing, China, pp. 645-652, September 2008.
     Download: [PDF][BibTeX]
     
     
291. Tevfik Bultan and Tao Xie.
     Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2008).
     In Proceedings of the 2008 international Symposium on Software Testing and Analysis
     (ISSTA 2008), Seattle, Washington, pp. 311-312, July 2008.
     Download: [PDF][BibTex]
     
     
292. Suresh Thummalapenta and Tao Xie.
     SpotWeb: Detecting Framework Hotspots via Mining Open Source Repositories on the Web.
     In Proceedings of the 5th Working Conference on Mining Software Repositories
     (MSR 2008), Position Paper, Leipzig, Germany, pp.109-112, May 2008.
     Download: [PDF][BibTeX]
     A longer version appeared in Proceedings of ASE 2008.
     
     
293. Ahmed E. Hassan and Tao Xie.
     Mining Software Engineering Data.
     Presented at the 30th International Conference on Software Engineering
     (ICSE 2008), Tutorials, Leipzig, Germany, May 2008.
     Download: [Tutorial Web][BibTeX]
     
     Workshops (4):
     
     
294. Alessandro Orso and Tao Xie.
     BERT: BEhavioral Regression Testing.
     In Proceedings of the International Workshop on Dynamic Analysis
     (WODA 2008), Seattle, WA, pp. 36-42, July 2008.
     Download: [PDF][BibTeX]
     An extended version appeared in Proceedings of ICST 2010.
     
     
295. Nuo Li, JeeHyun Hwang, and Tao Xie.
     Multiple-Implementation Testing for XACML Implementations.
     In Proceedings of the Workshop on Testing, Analysis and Verification of Web Software
     (TAV-WEB 2008), Seattle, WA, pp. 27-33, July 2008.
     Download: [PDF][BibTeX]
     
     
296. Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte.
     Method-Sequence Exploration for Automated Unit Testing of Object-Oriented Programs.
     Presented at the Workshop on State-Space Exploration for Automated Testing
     (SSEAT 2008), Seattle, WA, July 2008.
     Download: [BibTeX]
     
     
297. Tao Xie, Mithun Acharya, Suresh Thummalapenta, and Kunal Taneja.
     Improving Software Reliability and Productivity via Mining Program Source Code.
     In Proceedings of the NSF Next Generation Software Program Workshop at IPDPS 2008
     (NSFNGS 2008), Miami, Florida, pp. 1-5, April 2008.
     Download: [PDF][BibTeX]
     
     
     2007
     
     Conferences (12: 8 in research/main tracks)
     
     
298. Suresh Thummalapenta and Tao Xie.
     PARSEWeb: A Programmer Assistant for Reusing Open Source Code on the Web.
     In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2007), Atlanta, Georgia, pp. 204-213, November 2007.
     Download: [PDF][BibTeX]
     ASE 2021 Most Influential Paper Award 
     
     
299. Kunal Taneja, Danny Dig, and Tao Xie.
     Automated Detection of API Refactorings in Libraries.
     In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2007), Short Paper, Atlanta, Georgia, pp. 377-380, November 2007.
     Download: [PDF][BibTeX]
     
     
300. Kobi Inkumsah and Tao Xie.
     Evacon: A Framework for Integrating Evolutionary and Concolic Testing for Object-Oriented Programs.
     In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2007), Short Paper, Atlanta, Georgia, pp. 425-428, November 2007.
     Download: [PDF][BibTeX]
     
     
301. Yuanfang Cai, Sunny Huynh, and Tao Xie.
     A Framework and Tool Supports for Testing Modularity of Software Design.
     In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering
     (ASE 2007), Short Paper, Atlanta, Georgia, pp. 441-444, November 2007.
     Download: [PDF][BibTeX]
     
     
302. Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, and Jia-Su Sun.
     Applying Interface-Contract Mutation in Regression Testing of Component-Based Software.
     In Proceedings of the 23rd IEEE International Conference on Software Maintenance
     (ICSM 2007), Paris, France, pp. 174-183, October 2007.
     Download: [PDF][BibTeX]
     
     
303. Mithun Acharya, Tao Xie, Jian Pei, and Jun Xu.
     Mining API Patterns as Partial Orders from Source Code: From Usage Scenarios to Specifications.
     In Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
     (ESEC/FSE 2007), Dubrovnik, Croatia, pp. 25-34, September, 2007.
     Download: [PDF][BibTeX]
     
     
304. Prasanth Anbalagan and Tao Xie.
     Automated Inference of Pointcuts in Aspect-Oriented Refactoring.
     In Proceedings of the 29th International Conference on Software Engineering
     (ICSE 2007), Minneapolis, MN, pp. 127-136, May 2007.
     Download: [PDF][BibTeX]
     A previous version appeared in Supplemental Proceedings of FSE 2006 Poster Session.
     
     
305. Evan Martin and Tao Xie.
     A Fault Model and Mutation Testing of Access Control Policies.
     In Proceedings of the 16th International Conference on World Wide Web
     (WWW 2007), Security, Privacy, Reliability, and Ethics Track, Banff, Alberta, Canada, pp. 667-676, May 2007.
     Download: [PDF][Slides][BibTeX]
     
     Other Conference Tracks
     
     
306. Chao Liu, Tao Xie, and Jiawei Han.
     Mining for Software Reliability.
     Presented at the 2007 IEEE International Conference on Data Mining
     (ICDM 2007), Tutorials, Omaha, NE, October 2007.
     Download: [Tutorial Web][BibTeX]
     
     
307. Evan Martin, Suranjana Basu, and Tao Xie.  
     Automated Testing and Response Analysis of Web Services.
     In Proceedings of the IEEE International Conference on Web Services
     (ICWS 2007), Application Services and Industry Track, Salt Lake City, Utah, pp. 647-654, July 2007.
     Download: [PDF][BibTeX]
     A previous version appeared in Proceedings of SOAWS 2006.
     
     
308. Tao Xie, Jian Pei, and Ahmed E. Hassan.
     Mining Software Engineering Data.
     In Proceedings of the 29th International Conference on Software Engineering
     (ICSE 2007), Tutorials, Minneapolis, MN, pp. 172-173, May 2007.
     Download: [Tutorial Web][PDF][BibTeX]
     
     
309. Evan Martin, Suranjana Basu, and Tao Xie.  
     WebSob: A Tool for Robustness Testing of Web Services.
     In Proceedings of the 29th International Conference on Software Engineering
     (ICSE 2007), Informal Research Demonstrations, Minneapolis, MN, pp. 65-66, May 2007.
     Download: [PDF][BibTeX]
     

     
     Workshops (5)

310. Yoonki Song, Suresh Thummalapenta, and Tao Xie.
     UnitPlus: Assisting Developer Testing in Eclipse.
     In Proceedings of the Eclipse Technology eXchange Workshop at OOPSLA 2007
     (ETX 2007), Montréal, Canada, pp. 26-30, October 2007. 
     Best Student Paper Award
     Download: [PDF][BibTeX]
     
     
311. Vincent C. Hu, Evan Martin, JeeHyun Hwang, and Tao Xie.
     Conformance Checking of Access Control Policies Specified in XACML
     In Proceedings of the 1st IEEE International Workshop on Security in Software Engineering
     (IWSSE 2007), Beijing, China, pp. 275-280, July 2007.
     Download: [PDF][Slides][BibTeX]
     
     
312. Evan Martin and Tao Xie.
     Automated Test Generation for Access Control Policies via Change-Impact Analysis.
     In Proceedings of the 3rd International Workshop on Software Engineering for Secure Systems
     (SESS 2007), Minneapolis, MN, pp. 5-11, May 2007.
     Download: [PDF][BibTeX]
     
     
313. Tao Xie, Kunal Taneja, Shreyas Kale, and Darko Marinov.
     Towards a Framework for Differential Unit Testing of Object-Oriented Programs.
     In Proceedings of the 2nd International Workshop on Automation of Software Test
     (AST 2007), Minneapolis, MN, pp. 5-11, May 2007.
     Download: [PDF][BibTeX]
     
     
314. Tao Xie and Jianjun Zhao.  
     Perspectives on Automated Testing of Aspect-Oriented Programs.
     In Proceedings of the 3rd Workshop on Testing Aspect-Oriented Programs
     (WTAOP 2007), Vancouver, Canada, pp. 7-12, March 2007.
     Download: [PDF][BibTeX]
     
     Others (4)
     
     
315. Suresh Thummalapenta and Tao Xie.
     NEGWeb: Static Defect Detection via Searching Billions of Lines of Open Source Code.
     North Carolina State University Department of Computer Science Technical report TR-2007-24, September 16, 2007.
     Download: [PDF][BibTex]
     
     

2006

Journals (1)

316. Tao Xie and David Notkin.  
     Tool-Assisted Unit-Test Generation and Selection Based on Operational Abstractions.
     Automated Software Engineering Journal, Vol. 13, No. 3, pp. 345-371, July 2006.
     A special issue of selected papers from the ASE 2003 conference.
     Download: [PDF][BibTeX]
     A previous version appeared in Proceedings of ASE 2003.
     A previous version appeared in Proceedings of WODA 2003.
     
     Conferences (14: 7 in research/main tracks)
     
     
317. Evan Martin, Tao Xie, and Ting Yu.
     Defining and Measuring Policy Coverage in Testing Access Control Policies.
     In Proceedings of the 8th International Conference on Information and Communications Security 
     (ICICS 2006), Raleigh, NC, pp. 139-158, December 2006.
     Download: [PDF][BibTeX]
     
     
318. Mithun Acharya, Tao Xie, and Jun Xu.
     Mining Interface Specifications for Generating Checkable Robustness Properties.
     In Proceedings of the 17th IEEE International Conference on Software Reliability Engineering 
     (ISSRE 2006), Raleigh, NC, pp. 311-320, November 2006.
     Download: [PDF][BibTeX]
     
     
319. Tao Xie, Jianjun Zhao, Darko Marinov, and David Notkin.
     Detecting Redundant Unit Tests for AspectJ Programs.
     In Proceedings of the 17th IEEE International Conference on Software Reliability Engineering 
     (ISSRE 2006), Raleigh, NC, pp. 179-188, November 2006.
     Download: [PDF][BibTeX]
     
     
320. Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, and Michael D. Ernst.
     An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing.
     In Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering  
     (ASE 2006), Tokyo, Japan, pp. 59-68, September 2006.
     Nominated for the Best Paper Award
     Download: [PDF][BibTeX]
     
     
321. Mithun Acharya, Tanu Sharma, Jun Xu, and Tao Xie.
     Effective Generation of Interface Robustness Properties for Static Analysis.
     In Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering  
     (ASE 2006), Short Paper, Tokyo, Japan, pp. 293-296, September 2006.
     Download: [PDF][BibTeX]
     
     
322. Tao Xie.
     Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking.
     In Proceedings of the 20th European Conference on Object-Oriented Programming
     (ECOOP 2006), Nantes, France, pp. 380-403, July 2006.
     Download: [PDF][BibTeX][Slides]
     
     
323. Tao Xie and Jianjun Zhao.
     A Framework and Tool Supports for Generating Test Inputs of AspectJ Programs.
     In Proceedings of the 5th International Conference on Aspect-Oriented Software Development
     (AOSD 2006), Bonn, Germany, pp. 190-201, March 2006.
     Download: [PDF][BibTeX]
     A previous version appeared in Proceedings of WTAOP 2005.
     
     
Other Conference Tracks


324. Prasanth Anbalagan and Tao Xie.
     Clamp: Automated Joinpoint Clustering and Pointcut Mining in Aspect-Oriented Refactoring.
     In Supplemental Proceedings of  the 14th ACM SIGSOFT Symposium on Foundations of Software Engineering
     (FSE 2006), Posters, Portland, Oregon, pp. 1-2, November 2006.
     Download: [PDF][BibTeX]
     An extended version appeared in Proceedings of ICSE 2007.
     
     
325. Evan Martin and Tao Xie.
     Automated Test Generation for Access Control Policies.
     In Supplemental Proceedings of the 17th IEEE International Conference on Software Reliability Engineering 
     (ISSRE 2006), Fast Abstracts, Raleigh, NC, November 2006.
     Download: [PDF][BibTeX]
     
     
326. Yonghee Shin, Laurie Williams, and Tao Xie.
     SQLUnitGen: SQL Injection Testing Using Static and Dynamic Analysis.
     In Supplemental Proceedings of the 17th IEEE International Conference on Software Reliability Engineering 
     (ISSRE 2006), Student Program, Raleigh, NC, November 2006.
     Download: [PDF][BibTeX]
     A longer version appeared as an NCSU CSC Technical Report
     
     
327. Tao Xie.
     Improving Effectiveness of Automated Software Testing in the Absence of Specifications.
     In Proceedings of the 22nd IEEE International Conference on Software Maintenance  
     (ICSM 2006), Dissertation Forum, Philadelphia, PA, pp. 355-359, September 2006.
     Download: [PDF][BibTeX][Slides]
     A full version appeared as Ph.D. Dissertation, University of Washington Department of Computer Science and Engineering
     
     
328. Tao Xie and Jian Pei.
     Data Mining for Software Engineering.
     Presented at the 12th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining
     (KDD 2006), Tutorial, Philadelphia, Pennsylvania, August 2006.
     Download: [Tutorial Web][Slides][BibTeX]
     
     
329. Tao Xie, Evan Martin, and Hai Yuan.
     Automatic Extraction of Abstract-Object-State Machines from Unit-Test Executions.
     In Proceedings of the 28th International Conference on Software Engineering
     (ICSE 2006), Informal Research Demonstrations, Shanghai, China, pp. 835-838, May 2006.
     Download: [PDF][BibTeX]
     
     
330. Evan Martin and Tao Xie.
     Understanding Software Application Interfaces via String Analysis. 
     In Proceedings of the 28th International Conference on Software Engineering
     (ICSE 2006), Emerging Results Track, Shanghai, China, pp. 901-904, May 2006.
     Download: [PDF][BibTeX]


Workshops (7)


331. Prasanth Anbalagan and Tao Xie.
     Efficient Mutant Generation for Mutation Testing of Pointcuts in Aspect-Oriented Programs.
     In Proceedings of the 2nd Workshop on Mutation Analysis
     (MUTATION 2006), Raleigh, NC, pp. 51-56, November 2006.
     Download: [PDF][BibTeX]
     An extended version appeared in Proceedings of ISSRE 2008.
     
     
332. Evan Martin, Suranjana Basu, and Tao Xie.
     Automated Robustness Testing of Web Services.
     In Proceedings of the 4th International Workshop on SOA And Web Services Best Practices
     (SOAWS 2006), Portland, OR, October 2006.
     Download: [PDF][BibTeX]
     
     
333. Prasanth Anbalagan and Tao Xie.
     APTE: Automated Pointcut Testing for AspectJ Programs.
     In Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs
     (WTAOP 2006), Portland, Maine, pp. 27-32, July 2006.
     Download: [PDF][BibTeX]
     
     
334. Jianjun Zhao, Tao Xie, and Nan Li.
     Towards Regression Test Selection for Aspect-Oriented Programs.
     In Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs
     (WTAOP 2006), Portland, Maine, pp. 21-26, July 2006.
     Download: [PDF][BibTeX]
     
     
335. Evan Martin and Tao Xie.
     Inferring Access-Control Policy Properties via Machine Learning.
     In Proceedings of the 7th IEEE Workshop on Policies for Distributed Systems and Networks 
     (POLICY 2006), London, Ontario Canada, pp. 235-238, June 2006.
     Download: [PDF][BibTeX]
     
     
336. Tao Xie and Jian Pei.
     MAPO: Mining API Usages from Open Source Repositories.
     In Proceedings of the 3rd International Workshop on Mining Software Repositories
     (MSR 2006), Shanghai, China, pp. 54-57, May 2006.
     Download: [PDF][BibTeX][Slides]
     
     
337. Hai Yuan and Tao Xie.
     Substra: A Framework for Automatic Generation of Integration Tests.
     In Proceedings of the 1st Workshop on Automation of Software Test
     (AST 2006), Shanghai, China, pp. 64-70, May 2006.
     Download: [PDF][BibTeX][Slides]
     
     Others:
     
     
338. Yonghee Shin, Laurie Williams, and Tao Xie.
     SQLUnitGen: Test Case Generation for SQL Injection Detection.
     North Carolina State University Department of Computer Science Technical report TR-2006-21, August 06, 2006.
     Download: [PDF][BibTex]
     A shorter version appeared in In Supplemental Proceedings of ISSRE 2006
     
     
     2005
     
     Journals (1)
     
     
339. Tao Xie and David Notkin.
     Checking Inside the Black Box: Regression Testing By Comparing Value Spectra.
     IEEE Transactions on Software Engineering, Vol. 31, No. 10, pp. 869-883, October 2005.
     A special issue of selected papers from the ICSM 2004 conference. 
     Download: [PDF][BibTeX]
     A previous version appeared in Proceedings of ICSM 2004.
     
     Conferences (3)
     


340. Tao Xie and David Notkin.
     Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs.
     In Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
     (ISSRE 2005), Chicago, Illinois, USA, pp. 277-287, November 2005.
     Download: [PDF][BibTeX][Slides]
     A short version won the 3rd Place of 2005 ACM Student Research Competition Grand Finals.
     A short version won the 3rd Place of 2004 ACM SIGPLAN Student Research Competition and appeared in Proceedings of OOPSLA 2004 Companion.
     
     
341. Amir Michail and Tao Xie.
     Helping Users Avoid Bugs in GUI Applications. 
     In Proceedings of the 27th International Conference on Software Engineering 
     (ICSE 2005), St. Louis, Missouri, USA,  pp. 107-116, May 2005.
     Download: [PDF][BibTeX][Slides] 
     
     
342. Tao Xie, Darko Marinov, Wolfram Schulte, and David Notkin. 
     Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution. 
     In Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
     (TACAS 2005), Edinburgh, U.K., pp. 365-381, April 2005.
     Download: [PDF][BibTeX][Slides]
     
     
Workshops (2)


343. Hai Yuan and Tao Xie.
     Automatic Extraction of Abstract-Object-State Machines Based on Branch Coverage.
     In Proceedings of the 1st International Workshop on Reverse Engineering To Requirements at WCRE 2005
     (RETR 2005), Pittsburgh, Pennsylvania, pp. 5-11, November 2005.
     Download: [PDF][BibTeX][Slides]
     
     
344. Tao Xie, Jianjun Zhao, Darko Marinov, and David Notkin. 
     Automated Test Generation for AspectJ Programs. 
     In Proceedings of the AOSD 2005 Workshop on Testing Aspect-Oriented Programs
     (WTAOP 2005), Chicago, March 2005.
     Download: [PDF][BibTeX][Slides]
     An extended version appeared in Proceedings of AOSD 2006.
     
     
Others (2)


345. Tao Xie.
     Improving Effectiveness of Automated Software Testing in the Absence of Specifications.
     Ph.D. dissertation, University of Washington Department of Computer Science and Engineering, (Seattle, Washington), August 2005.
     Chair of Supervisory Committee: David Notkin 
     Supervisory Committee: Richard Anderson, Craig Chambers, David Notkin, and Wolfram Schulte (Microsoft Research)
     Download: [Abstract][PDF][BibTeX]
     A summary appeared in Proceedings of ICSM 2006 Dissertation Forum
     
     
346. Tao Xie.
     Automatic Identification of Common and Special Object-Oriented Unit Tests.
     The 3rd Place of 2005 ACM Student Research Competition Grand Finals 
     (ACM SRC 2005), San Francisco, CA, 11 June 2005.
     Download: [PDF][BibTeX] 
     A previous version won the 3rd Place of 2004 ACM SIGPLAN Student Research Competition and appeared in Proceedings of OOPSLA 2004 Companion.
     An extended version appeared in Proceedings of ISSRE 05.
     
     2004
     
     Conferences (4: 3 in research/main tracks)
     
     
347. Tao Xie and David Notkin.
     Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions.
     In Proceedings of the 6th International Conference on Formal Engineering Methods 
     (ICFEM 2004), Seattle, pp. 290-305, November 2004.
     Download: [PDF][BibTeX][Slides]
     
     
348. Tao Xie, Darko Marinov, and David Notkin.
     Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests.
     In Proceedings of the 19th IEEE International Conference on Automated Software Engineering  
     (ASE 2004), Linz, Austria, pp. 196-205, September 2004.
     Download: [PDF][BibTeX][Slides] 
     A previous version appeared as UW-CSE-04-01-05 technical report.
     
     
349. Tao Xie and David Notkin. 
     Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences.
     In Proceedings of the 20th IEEE International Conference on Software Maintenance 
     (ICSM 2004), Chicago, Illinois, pp. 28-37, September 2004.
     Selected as one of the Best Papers that are invited to submit to IEEE Transactions on Software Engineering
     Download: [PDF][BibTeX][Slides]
     An extended version appeared in a special issue of IEEE Transactions on Software Engineering.
     
     Other Conference Tracks
     
     
350. Tao Xie.
     Automatic Identification of Common and Special Object-Oriented Unit Tests.
     In Proceedings of the 17th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Companion) 
     (OOPSLA 2004 Companion), Student Research Competition, Vancouver, Canada, pp. 324-325, October 2004.
     The 3rd Place of 2004 ACM SIGPLAN Student Research Competition
     Download: [PDF][BibTeX][Poster][Slides][Award Web]
     An extended version won the 3rd Place of 2005 ACM Student Research Competition Grand Finals.
     An extended version appeared in Proceedings of ISSRE 05.
     
     Workshops (1)
     


351. Tao Xie and David Notkin. 
     Automatic Extraction of Sliced Object State Machines for Component Interfaces. 
     In Proceedings of the 3rd Workshop on Specification and Verification of Component-Based Systems at ACM SIGSOFT 2004/FSE-12
     (SAVCBS 2004), Newport Beach, California, pp. 39-46, October 31-November 1, 2004.
     Download: [PDF][BibTeX][Slides]
     
     Others (1):
     

352. Tao Xie, Darko Marinov, and David Notkin. 
     Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests. 
     University of Washington Department of Computer Science and Engineering technical report UW-CSE-04-01-05, (Seattle, WA), January 2004. 
     Download: [PDF][BibTeX]
     An extended version appeared in Proceedings of ASE 2004.
     
     2003
     
     Conferences (1)

353. Tao Xie and David Notkin.  
     Tool-Assisted Unit Test Selection Based on Operational Violations. 
     In Proceedings of the 18th IEEE International Conference on Automated Software Engineering  
     (ASE 2003), Montreal, Canada, pp. 40-48, October 2003. 
     Nominated for the Best Paper Award
     Download: [PDF][BibTeX][Slides] 
     An extended version appeared in a special issue of Automated Software Engineering Journal.
     A previous workshop version appeared in Proceedings of WODA 2003.
     
     Workshops (2)


354. Tao Xie and David Notkin.
     Mutually Enhancing Test Generation and Specification Inference.
      In Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software 
     (FATES 2003), LNCS Vol. 2931, Springer, Montreal, Canada, pp. 60-69, October 2003.  
     Download: [PDF][BibTeX][Slides]
     
     
355. Tao Xie and David Notkin.
     Exploiting Synergy between Testing and Inferred Partial Specifications. 
     In Proceedings of ICSE 2003 Workshop on Dynamic Analysis
     (WODA 2003), Portland, Oregon, pp. 17-20, May 2003.
     Download: [PDF][BibTeX][Slides]
     An extended journal version appeared in a special issue of Automated Software Engineering Journal.
     An extended conference version appeared in Proceedings of ASE 2003.
     A previous (longer) version appeared as University of Washington Department of Computer Science and Engineering technical report UW-CSE-03-04-02, (Seattle, WA), April 2003. [PDF]
     
     Others (1)


356. Tao Xie. 
     Software Component Protocol Inference. 
     General Examination Report, University of Washington Department of Computer Science and Engineering, (Seattle, WA), June 2003. 
     Download: [PDF][BibTeX][Slides]
     
     2002
     
     
Journals (1):


357. Hong Mei, Tao Xie, and Fuqing Yang. 
     A Model-based Approach to Object-Oriented Software Metrics. 
     Journal of Computer Science and Technology, Vol.17, No.6, pp.757-769, November 2002. 
     Download: [PDF][BibTeX]
     
     
Workshops (1)


358. Tao Xie and David Notkin.
     Macro and Micro Perspectives on Strategic Software Quality Assurance in Resource Constrained Environments. 
     In Proceedings of the 4th International Workshop on Economics-Driven Software Engineering Research  
     (EDSER-4), Orlando, Florida, pp. 66-70, May 2002. 
     Download: [PDF][BibTeX]
     
     
Others (1)


359. Tao Xie and David Notkin.
     An Empirical Study of Java Dynamic Call Graph Extractors.
     University of Washington Department of Computer Science and Engineering technical report UW-CSE-02-12-03, (Seattle, WA), December 2002. 
     Download: [PDF][BibTeX]
     
     
     1998 - 2001
     
     Journals (2)
     
     
360. Hong Mei, Tao Xie, Wanghong Yuan, and Fuqing Yang. 
     Component Metrics in Jade Bird Component Library System.  
     Journal of Software, Vol. 11, No.5, pp.634-641, May 2000. 
     Download: [BibTeX]
     
     
361. Tao Xie, Wanghong Yuan, Hong Mei, and Fuqing Yang. 
     JBOOMT: Jade Bird Object-Oriented Metrics Tool.  
     Chinese Journal of Electronics, Vol. 9, No.2, pp.202-207, April 2000. 
     Download: [PDF][BibTeX]

Conferences (2)


362. Hong Mei, Tao Xie, and Fuqing Yang.
     JBOORET: an Automated Tool to Recover OO Design and Source Models. 
     In Proceedings of the 25th Anniversary Annual International Computer Software and Applications Conference 
     (COMPSAC 2001), Chicago, Illinois, pp. 71-76, October 2001. 
     Download: [PDF][BibTeX][Slides]
     
     
363.  Wanghong Yuan, Xiangkui Chen, Tao Xie, Hong Mei, and Fuqing Yang.
     C++ Program Information Database for Analysis Tools. 
     In Proceedings of the 1998 Conference on Technology of Object-Oriented Languages and Systems 
     (TOOLS 27), Beijing, China, pp. 173-180, September 1998. 
     Download: [PDF][BibTeX][Slides]
     
     
Others (1)


364. Tao Xie.
     Jade Bird Object-Oriented Software Metrics Framework and Tool Support. 
     M.S. Thesis, Department of Computer Science, Peking University, June 2000.
     Download: [BibTeX]