Tao Xie Ghandehari, L. S., Lei, Y., Kacker, R., Kuhn, R., Xie, T., & Kung, D. (2020). A Combinatorial Testing-Based Approach to Fault Localization. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 46(6), 616–645. https://doi.org/10.1109/TSE.2018.2865935 Shao, S., Qiu, Z., Yu, X., Yang, W., Jin, G., Xie, T., & Wu, X. (2020). Database-Access Performance Antipatterns in Database-Backed Web Applications. 2020 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2020), pp. 58–69. https://doi.org/10.1109/ICSME46990.2020.00016 Li, S. H., Zhou, H. C., Lin, H. X., Xiao, T., Lin, H. B., Lin, W., & Xie, T. (2013). A characteristic study on failures of production distributed data-parallel programs. Proceedings of the 35th International Conference on software engineering (ICSE 2013), 963–972. https://doi.org/10.1109/icse.2013.6606646 Xie, T., Tillmann, N., & Halleux, J. (2013). Educational software engineering: Where software engineering, education, and gaming meet. 2013 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change (GAS), 36–39. https://doi.org/10.1109/gas.2013.6632588 Xie, T. (2013). The synergy of human and artificial intelligence in software engineering. International workshop on realizing artificial intelligence synergies in, 4–6. https://doi.org/10.1109/raise.2013.6615197 Pandita, R., Xiao, X. S., Zhong, H., Xie, T., Oney, S., & Paradkar, A. (2012). Inferring method specifications from natural language API descriptions. 2012 34th international conference on software engineering (icse), 815–825. https://doi.org/10.1109/icse.2012.6227137 Wang, X., Zhang, L., Xie, T., Mei, H., & Sun, J. (2013). Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 39(4), 516–536. https://doi.org/10.1109/tse.2012.40 Hwang, J. H., Xie, T., El Kateb, D., Mouelhi, T., & Le Traon, Y. (2012). Selection of regression system tests for security policy evolution. 2012 proceedings of the 27th ieee/acm international conference on automated software engineering (ase), 266–269. https://doi.org/10.1145/2351676.2351719 Thummalapenta, S., & Xie, T. (2011). Alattin: mining alternative patterns for defect detection. AUTOMATED SOFTWARE ENGINEERING, 18(3-4), 293–323. https://doi.org/10.1007/s10515-011-0086-z Xiao, X. S., Xie, T., Tillmann, N., & Halleux, J. (2011). Covana: Precise identification of problems in Pex. 2011 33rd International Conference on Software Engineering (ICSE), 1004–1006. https://doi.org/10.1145/1985793.1985976 Liu, A. X., Chen, F., Hwang, J. H., & Xie, T. (2011). Designing Fast and Scalable XACML Policy Evaluation Engines. IEEE TRANSACTIONS ON COMPUTERS, 60(12), 1802–1817. https://doi.org/10.1109/tc.2010.274 Ge, X., Taneja, K., Xie, T., & Tillmann, N. (2011). DyTa: Dynamic symbolic execution guided with static verification results. 2011 33rd International Conference on Software Engineering (ICSE), 992–994. https://doi.org/10.1145/1985793.1985971 Zhang, L., Ma, X., Lu, J., Xie, T., Tillmann, N., & Halleux, P. (2012). Environmental Modeling for Automated Cloud Application Testing. IEEE SOFTWARE, 29(2), 30–35. https://doi.org/10.1109/ms.2011.158 Zhong, H., Zhang, L., Xie, T., & Mei, H. (2011). Inferring specifications for resources from natural language API documentation. AUTOMATED SOFTWARE ENGINEERING, 18(3-4), 227–261. https://doi.org/10.1007/s10515-011-0082-3 Hu, V. C., Kuhn, D. R., Xie, T., & Hwang, J. (2011). MODEL CHECKING FOR VERIFICATION OF MANDATORY ACCESS CONTROL MODELS AND PROPERTIES. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 21(1), 103–127. https://doi.org/10.1142/s021819401100513x Xiao, X. S., Xie, T., Tillmann, N., & Halleux, J. (2011). Precise identification of problems for structural test generation. 2011 33rd International Conference on Software Engineering (ICSE), 611–620. https://doi.org/10.1145/1985793.1985876 Thummalapenta, S., Marri, M. R., Xie, T., Tillmann, N., & Halleux, J. (2011). Retrofitting unit tests for parameterized unit testing. Fundamental Approaches to Software Engineering, 6603, 294–309. Thummalapenta, S., Xie, T., Tillmann, N., Halleux, J., & Su, Z. (2011, October). Synthesizing Method Sequences for High-Coverage Testing. ACM SIGPLAN NOTICES, Vol. 46, pp. 189–206. https://doi.org/10.1145/2076021.2048083 Pandita, R., Xie, T., Tillmann, N., & Halleux, J. (2010). Guided test generation for coverage criteria. 2010 ieee international conference on software maintenance. https://doi.org/10.1109/icsm.2010.5609565 Li, N., Xie, T., Jin, M., & Liu, C. (2010). Perturbation-based user-input-validation testing of web applications. JOURNAL OF SYSTEMS AND SOFTWARE, 83(11), 2263–2274. https://doi.org/10.1016/j.jss.2010.07.007 Thummalapenta, S., & Xie, T. (2009). Alattin: Mining Alternative Patterns for Detecting Neglected Conditions. 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, pp. 283–294. https://doi.org/10.1109/ase.2009.72 Xie, T., Thummalapenta, S., Lo, D., & Liu, C. (2009). DATA MINING FOR SOFTWARE ENGINEERING. COMPUTER, 42(8), 55–62. https://doi.org/10.1109/MC.2009.256 Hwang, J. H., Xie, T., & Hu, V. C. (2009). Detection of Multiple-Duty-Related Security Leakage in Access Control Policies. 2009 THIRD IEEE INTERNATIONAL CONFERENCE ON SECURE SOFTWARE INTEGRATION AND RELIABILITY IMPROVEMENT, PROCEEDINGS, pp. 65–74. https://doi.org/10.1109/ssiri.2009.63 Hwang, J. H., Xie, T., Chen, F., & Liu, A. X. (2009). Fault Localization for Firewall Policies. 2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, pp. 100-+. https://doi.org/10.1109/srds.2009.38 Xie, T., Tillmann, N., Halleux, J., & Schulte, W. (2009). Fitness-Guided Path Exploration in Dynamic Symbolic Execution. 2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009), pp. 359-+. https://doi.org/10.1109/dsn.2009.5270315 Hao, D., Zhang, L., Xie, T., Mei, H., & Sun, J.-S. (2009). Interactive Fault Localization Using Test Information. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 24(5), 962–974. https://doi.org/10.1007/s11390-009-9270-z Zhong, H., Xie, T., Zhang, L., Pei, J., & Mei, H. (2009). MAPO: mining and recommending API usage patterns. Ecoop 2009 - object-oriented programming, 5653, 318–343. Thomas, S., Williams, L., & Xie, T. (2009). On automated prepared statement generation to remove SQL injection vulnerabilities. INFORMATION AND SOFTWARE TECHNOLOGY, 51(3), 589–598. https://doi.org/10.1016/j.infsof.2008.08.002 Li, N., Xie, T., Tillmann, N., Halleux, J., & Schulte, W. (2009). Reggae: Automated Test Generation for Programs using Complex Regular Expressions. 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, pp. 515–519. https://doi.org/10.1109/ase.2009.67 Hao, D., Xie, T., Zhang, L., Wang, X., Sun, J., & Mei, H. (2010). Test input reduction for result inspection to facilitate fault localization. AUTOMATED SOFTWARE ENGINEERING, 17(1), 5–31. https://doi.org/10.1007/s10515-009-0056-x Csallner, C., Smaragdakis, Y., & Xie, T. (2008). DSD-Crasher: A hybrid analysis tool for bug finding. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, Vol. 17. https://doi.org/10.1145/1348250.1348254 Xie, T. (2006). Augmenting automatically generated unit-test suites with regression oracle checking. Lecture Notes in Computer Science, (4067), 380–403.