Xie, Tao

Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study

Zhou, X., Peng, X., Xie, T., Sun, J., Ji, C., Li, W., & Ding, D. (2021) · IEEE Transactions on Software Engineering

Software System Performance and ReliabilitySoftware Testing and Debugging Techniques

Cited by 410

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution

Xie, T., Marinov, D., Schulte, W., & Notkin, D. (2005) · Lecture Notes in Computer Science

Software Testing and Debugging TechniquesLogic, programming, and type systems

Cited by 287

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. (2019) · Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Software System Performance and ReliabilitySoftware Testing and Debugging Techniques

Cited by 277

CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models

Yu, H., Shen, B., Ran, D., Zhang, J., Zhang, Q., Ma, Y., Liang, G., Li, Y., Wang, Q., & Xie, T. (2024) · Proceedings of the IEEE/ACM 46th International Conference on Software Engineering

Software Engineering ResearchTopic Modeling

Cited by 140

Enjoy your observability: an industrial survey of microservice tracing and analysis

Li, B., Peng, X., Xiang, Q., Wang, H., Xie, T., Sun, J., & Liu, X. (2022) · Empirical Software Engineering

Software System Performance and ReliabilitySoftware Engineering Techniques and Practices

Cited by 121

Graph-based trace analysis for microservice architecture understanding and problem diagnosis

Guo, X., Peng, X., Wang, H., Li, W., Jiang, H., Ding, D., Xie, T., & Su, L. (2020) · Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Software System Performance and ReliabilityCloud Computing and Resource Management

Cited by 118

A large-scale longitudinal study of flaky tests

Lam, W., Winter, S., Wei, A., Xie, T., Marinov, D., & Bell, J. (2020) · Proceedings of the ACM on Programming Languages

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 64

How Practitioners Expect Code Completion?

Wang, C., Hu, J., Gao, C., Jin, Y., Xie, T., Huang, H., Lei, Z., & Deng, Y. (2023) · Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Software Engineering ResearchSoftware Engineering Techniques and Practices

Cited by 50

Measuring code behavioral similarity for programming and software engineering education

Li, S., Xiao, X., Bassett, B., Xie, T., & Tillmann, N. (2016) · Proceedings of the 38th International Conference on Software Engineering Companion

Teaching and Learning ProgrammingSoftware Testing and Debugging Techniques

Cited by 30

Practitioners' Expectations on Code Completion

Wang, C., Hu, J., Gao, C., Jin, Y., Xie, T., Huang, H., Lei, Z., & Deng, Y. (2023) · arXiv

Software Engineering ResearchSoftware Engineering Techniques and Practices

Cited by 14

CodeR: Issue Resolving with Multi-Agent and Task Graphs

Chen, D., Lin, S., Zeng, M., Zan, D., Wang, J.-G., Cheshkov, A., Sun, J., Yu, H., Dong, G., Aliev, A., et al. (2024) · arXiv

Software Engineering ResearchSoftware Testing and Debugging Techniques

Cited by 8

MemServe: Context Caching for Disaggregated LLM Serving with Elastic Memory Pool

Hu, C., Huang, H., Hu, J., Xu, J., Chen, X., Xie, T., Wang, C., Wang, S., Bao, Y., Sun, N., et al. (2024) · arXiv

Parallel Computing and Optimization TechniquesCloud Computing and Resource Management

Cited by 6

EPIC: Efficient Position-Independent Caching for Serving Large Language Models

Hu, J., Huang, W., Wang, W., Wang, H., Hu, T., Zhang, Q., Feng, H., Chen, X., Shan, Y., & Xie, T. (2024) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 2

Automated Proof Generation for Rust Code via Self-Evolution

Chen, T., Lu, S., Lu, S., Gong, Y., Yang, C., Li, X., Misu, M. R. H., Yu, H., Duan, N., Cheng, P., et al. (2024) · arXiv

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 1

RedKnot: Efficient Long-Context LLM Serving with Head-Aware KV Reuse and SegPagedAttention

Liu, Y., Luo, Z., Jin, H., Wang, Z., He, R., Wang, B., Chen, G., Liu, Y., Xie, T., & Hu, J. (2026) · arXiv

Parallel Computing and Optimization TechniquesNatural Language Processing Techniques

Cited by 0

Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories

Chen, T., Wang, Z., Li, L., Li, D., Li, Z., Chang, X., Bian, P., Liang, G., Wang, Q., & Xie, T. (2025) · Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Software Engineering ResearchWeb Application Security Vulnerabilities

Cited by 0