Find Research Outputs

Search in all content

Filters for Research & Scholarship

Search concepts
Selected Filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011

Author

  • Tao Xie
2017

Automated test input generation for android: Towards getting there in an industrial case

Zheng, H., Li, D., Liang, B., Zeng, X., Zheng, W., Deng, Y., Lam, W., Yang, W. & Xie, T., Jun 30 2017, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track, ICSE-SEIP 2017. Institute of Electrical and Electronics Engineers Inc., p. 253-262 10 p. 7965449. (Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track, ICSE-SEIP 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

A Study of Grayware on Google Play

Andow, B., Nadkarni, A., Bassett, B., Enck, W. & Xie, T., Aug 1 2016, Proceedings - 2016 IEEE Symposium on Security and Privacy Workshops, SPW 2016. Institute of Electrical and Electronics Engineers Inc., p. 224-233 10 p. 7527773. (Proceedings - 2016 IEEE Symposium on Security and Privacy Workshops, SPW 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2020

Dependent-test-aware regression testing techniques

Lam, W., Shi, A., Oei, R., Zhang, S., Ernst, M. D. & Xie, T., Jul 18 2020, ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. Khurshid, S. & Pasareanu, C. S. (eds.). Association for Computing Machinery, Inc, p. 298-311 14 p. (ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
2018

A large-scale empirical study on android runtime-permission rationale messages

Liu, X., Leng, Y., Yang, W., Wang, W., Zhai, C. & Xie, T., Oct 23 2018, Proceedings - 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018. Kelleher, C., Engels, G., Fernandes, J. P., Cunha, J. & Mendes, J. (eds.). IEEE Computer Society, p. 137-146 10 p. 8506574. (Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC; vol. 2018-October).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2019

REINAM: Reinforcement learning for input-grammar inference

Wu, Z., Johnson, E., Yang, W., Bastani, O., Song, D., Peng, J. & Xie, T., Aug 12 2019, ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Apel, S., Dumas, M., Russo, A. & Pfahl, D. (eds.). Association for Computing Machinery, Inc, p. 488-498 11 p. (ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Learning stateful preconditions modulo a test generator

Astorga, A., Madhusudan, P., Saha, S., Wang, S. & Xie, T., Jun 8 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 775-787 13 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
2020

SemRegex: A semantics-based approach for generating regular expressions from natural language specifications

Zhong, Z., Guo, J., Yang, W., Peng, J., Xie, T., Lou, J. G., Liu, T. & Zhang, D., 2020, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018. Riloff, E., Chiang, D., Hockenmaier, J. & Tsujii, J. (eds.). Association for Computational Linguistics, p. 1608-1618 11 p. (Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

Preliminary analysis of code hunt data set from a contest

McCauley, P., Nsiah-Ababio, B., Reed, J., Isiaka, F. & Xie, T., Nov 14 2016, CHESE 2016 - Proceedings of the 2nd International Code Hunt Workshop on Educational Software Engineering, co-located with FSE 2016. Liu, C. & Singh, R. (eds.). Association for Computing Machinery, Inc, p. 7-8 2 p. (CHESE 2016 - Proceedings of the 2nd International Code Hunt Workshop on Educational Software Engineering, co-located with FSE 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

PreInfer: Automatic inference of preconditions via symbolic analysis

Astorga, A., Srisakaokul, S., Xiao, X. & Xie, T., Jul 19 2018, Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018. Institute of Electrical and Electronics Engineers Inc., p. 678-689 12 p. 8416526. (Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

Measuring code behavioral similarity for programming and software engineering education

Li, S., Xiao, X., Bassett, B., Xie, T. & Tillmann, N., May 14 2016, Proceedings - 5th International Workshop on Green and Sustainable Software, GREENS 2016. IEEE Computer Society, p. 501-510 10 p. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2020

Working Across Boundaries

Hierons, R. M. & Xie, T., May 1 2020, In : Software Testing Verification and Reliability. 30, 3, e1734.

Research output: Contribution to journalEditorial

Open Access
2013

A comprehensive field study of end-user programming on mobile devices

Li, S., Xie, T. & Tillmann, N., 2013, Proceedings - 2013 IEEE Symposium on Visual Languages and Human Centric Computing, VL/HCC 2013. p. 43-50 8 p. 6645242. (Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Contextual analysis of program logs for understanding system behaviors

Fu, Q., Lou, J. G., Lin, Q., Ding, R., Zhang, D. & Xie, T., Dec 9 2013, 2013 10th Working Conference on Mining Software Repositories, MSR 2013 - Proceedings. p. 397-400 4 p. 6624054. (IEEE International Working Conference on Mining Software Repositories).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Introduction to the special issue on mining software repositories

Xie, T., Zimmermann, T. & Van Deursen, A., Dec 1 2013, In : Empirical Software Engineering. 18, 6, p. 1043-1046 4 p.

Research output: Contribution to journalEditorial

2015

Crowdsourcing Code and Process via Code Hunt

Xie, T., Bishop, J., Horspool, R. N., Tillmann, N. & Halleux, J. D., Jul 27 2015, Proceedings - 2nd International Workshop on CrowdSourcing in Software Engineering, CSI-SE 2015. Institute of Electrical and Electronics Engineers Inc., p. 15-16 2 p. 7169423. (Proceedings - 2nd International Workshop on CrowdSourcing in Software Engineering, CSI-SE 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2012

Welcome from the chairs

Lanza, M., Di Penta, M., Xie, T. & Shihab, E., Aug 23 2012, 2012 9th IEEE Working Conference on Mining Software Repositories, MSR 2012 - Proceedings. p. iii-iv 6224291. (IEEE International Working Conference on Mining Software Repositories).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

Intelligent Software Engineering: Synergy Between AI and Software Engineering

Xie, T., 2018, Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Proceedings. Yang, Z., Feng, X. & Müller-Olm, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 3-7 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10998 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2014

Educational programming systems for learning at scale

Wang, Q., Li, W. & Xie, T., Jan 1 2014, p. 177-178. 2 p.

Research output: Contribution to conferencePaper

2015

Preface

Xie, T., Sep 22 2015, In : Journal of Computer Science and Technology. 30, 5, p. 933-934 2 p.

Research output: Contribution to journalArticle

2014

Comprehending performance from real-world execution traces: A device-driver case

Yu, X., Han, S., Zhang, D. & Xie, T., Mar 14 2014, ASPLOS 2014 - 19th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 193-206 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

Reliability Engineering

Larrucea, X., Belmonte, F., Welc, A. & Xie, T., Jan 1 2017, In : IEEE Software. 34, 4, p. 26-29 4 p., 7974694.

Research output: Contribution to journalReview article

Aladdin: Automating release of android deep links to in-app content

Ma, Y., Liu, X., Hu, Z., Yang, D., Huang, G., Liu, Y. & Xie, T., Jun 30 2017, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017. Institute of Electrical and Electronics Engineers Inc., p. 139-140 2 p. 7965281. (Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

The synergy of human and artificial intelligence in software engineering

Xie, T., Nov 4 2013, 2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013 - Proceedings. p. 4-6 3 p. 6615197. (2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

Delta debugging microservice systems

Zhou, X., Sun, J., Peng, X., Li, W., Ding, D., Xie, T. & Ji, C., Sep 3 2018, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (eds.). Association for Computing Machinery, Inc, p. 802-807 6 p. (ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

Advances in unit testing: Theory and practice

Xie, T., Tillmann, N. & Lakshman, P., May 14 2016, Proceedings - 5th International Workshop on Green and Sustainable Software, GREENS 2016. IEEE Computer Society, p. 904-905 2 p. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2012

Advances on Improving Automation in Developer Testing

Xiao, X., Thummalapenta, S. & Xie, T., 2012, Advances in Computers. p. 165-212 48 p. (Advances in Computers; vol. 85).

Research output: Chapter in Book/Report/Conference proceedingChapter

2014

Message from the chairs

Xu, H., Xie, T., Lu, S., Zhang, D., Nagarakatte, S. & Csallner, C., Jul 22 2014, In : WODA+PERTEA 2014: Joint 12th International Workshop on Dynamic Analysis and Workshop on Software and System Performance Testing, Debugging, and Analytics - Proceedings. p. iii

Research output: Contribution to journalEditorial

2019

Delta Debugging Microservice Systems with Parallel Optimization

Zhou, X., Peng, X., Xie, T., Sun, J., Ji, C., Li, W. & Ding, D., 2019, (Accepted/In press) In : IEEE Transactions on Services Computing.

Research output: Contribution to journalArticle

2011

Covana: Precise identification of problems in Pex

Xiao, X., Xie, T., Tillmann, N. & De Halleux, J., Jul 7 2011, ICSE 2011 - 33rd International Conference on Software Engineering, Proceedings of the Conference. p. 1004-1006 3 p. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

Context-sensitive delta inference for identifying workload-dependent performance bottlenecks

Xiao, X., Han, S., Zhang, D. & Xie, T., Aug 14 2013, 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings. p. 90-100 11 p. (2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2011

Static API specification mining: Exploiting source code model checking

Acharya, M. & Xie, T., Jan 1 2011, Mining Software Specifications: Methodologies and Applications. CRC Press, p. 113-158 46 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2017

When program analysis meets mobile security: An industrial study of misusing android internet sockets

Bu, W., Xue, M., Xu, L., Zhou, Y., Tang, Z. & Xie, T., Aug 21 2017, ESEC/FSE 2017 - Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. Zisman, A., Bodden, E., Schafer, W. & van Deursen, A. (eds.). Association for Computing Machinery, p. 842-847 6 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. Part F130154).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

Relationship-Aware code search for Javascript frameworks

Li, X., Wang, Z., Wang, Q., Yan, S., Xie, T. & Mei, H., Nov 1 2016, FSE 2016 - Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Su, Z., Zimmermann, T. & Cleland-Huang, J. (eds.). Association for Computing Machinery, p. 690-701 12 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 13-18-November-2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015

Gamifying software security education and training via secure coding duels in code hunt

Xie, T., Bishop, J., Tillmann, N. & De Halleux, J., Apr 21 2015, Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, HotSoS 2015. Association for Computing Machinery, 2746220. (ACM International Conference Proceeding Series; vol. 21-22-April-2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2019

Root cause localization for unreproducible builds via causality analysis over system call tracing

Ren, Z., Liu, C., Xiao, X., Jiang, H. & Xie, T., Nov 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. Institute of Electrical and Electronics Engineers Inc., p. 527-538 12 p. 8952375. (Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2011

DyTa: Dynamic symbolic execution guided with static verification results

Ge, X., Taneja, K., Xie, T. & Tillmann, N., Jul 7 2011, ICSE 2011 - 33rd International Conference on Software Engineering, Proceedings of the Conference. p. 992-994 3 p. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015

User-aware privacy control via extended static-information-flow analysis

Xiao, X., Tillmann, N., Fahndrich, M., de Halleux, J., Moskal, M. & Xie, T., Sep 22 2015, In : Automated Software Engineering. 22, 3, p. 333-366 34 p.

Research output: Contribution to journalArticle

2014

Tutorial: Text analytics for security

Enck, W. & Xie, T., Nov 3 2014, Proceedings of the ACM Conference on Computer and Communications Security. Association for Computing Machinery, p. 1540-1541 2 p. (Proceedings of the ACM Conference on Computer and Communications Security).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

Pathways to technology transfer and adoption: Achievements and challenges (mini-tutorial)

Zhang, D. & Xie, T., Oct 30 2013, 2013 35th International Conference on Software Engineering, ICSE 2013 - Proceedings. p. 951-952 2 p. 6606644. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

SWAROVsky: Optimizing Resource Loading for Mobile Web Browsing

Liu, X., Ma, Y., Wang, X., Liu, Y., Xie, T. & Huang, G., Oct 1 2017, In : IEEE Transactions on Mobile Computing. 16, 10, p. 2941-2954 14 p., 7801009.

Research output: Contribution to journalArticle

2015

Message from the Chairs

Xie, T. & Young, M., Jul 13 2015, In : 2015 International Symposium on Software Testing and Analysis, ISSTA 2015 - Proceedings. p. iii

Research output: Contribution to journalEditorial

2018

A Platform Solution of Data-Quality Improvement for Internet-of-Vehicle Services

Zhang, M., Wo, T. & Xie, T., Aug 22 2018, 2018 IEEE International Conference on Pervasive Computing and Communications, PerCom 2018. Institute of Electrical and Electronics Engineers Inc., 8444581. (2018 IEEE International Conference on Pervasive Computing and Communications, PerCom 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2019

Latent error prediction and fault localization for microservice applications by learning from system trace logs

Zhou, X., Peng, X., Xie, T., Sun, J., Ji, C., Liu, D., Xiang, Q. & He, C., Aug 12 2019, ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Apel, S., Dumas, M., Russo, A. & Pfahl, D. (eds.). Association for Computing Machinery, Inc, p. 683-694 12 p. (ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Preface

Xie, T., Wei, J., Xu, C., Jin, Z. & Ma, X., Sep 1 2019, In : Journal of Computer Science and Technology. 34, 5, p. 939-941 3 p.

Research output: Contribution to journalEditorial

2014

Joint voting prediction for questions and answers in CQA

Yao, Y., Tong, H., Xie, T., Akoglu, L., Xu, F. & Lu, J., Oct 10 2014, ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. Ester, M., Xu, G., Wu, X. & Wu, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 340-343 4 p. 6921607. (ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015

Program-input generation for testing database applications using existing database states

Pan, K., Wu, X. & Xie, T., Dec 26 2015, In : Automated Software Engineering. 22, 4, p. 439-473 35 p.

Research output: Contribution to journalArticle

2011

Generating program inputs for database application testing

Pan, K., Wu, X. & Xie, T., Dec 1 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings. p. 73-82 10 p. 6100152. (2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

FACTS: Automated black-box testing of fintech systems

Wang, Q., Gu, L., Xue, M., Xu, L., Niu, W., Dou, L., He, L. & Xie, T., Oct 26 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 839-844 6 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2019

FinExpert: Domain-specific test generation for FinTech systems

Jin, T., Wang, Q., Xu, L., Pan, C., Dou, L., Qian, H., He, L. & Xie, T., Aug 12 2019, ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Apel, S., Dumas, M., Russo, A. & Pfahl, D. (eds.). Association for Computing Machinery, Inc, p. 853-862 10 p. (ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2012

Isolating failure-inducing combinations in combinatorial testing using test augmentation and classification

Shakya, K., Xie, T., Li, N., Lei, Y., Kacker, R. & Kuhn, R., Jun 21 2012, Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012. p. 620-623 4 p. 6200161. (Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012).

Research output: Chapter in Book/Report/Conference proceedingConference contribution