A Combinatorial Testing-Based Approach to Fault Localization - Ghandehari, Laleh Sh; Lei, Yu; Kacker, Raghu; Kuhn, Richard; Xie, Tao; Kung, David (IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2020)
Keywords: Testing; Fault diagnosis; Flexible printed circuits; Software; Task analysis; Debugging; Computer science; Combinatorial testing; fault localization; debugging

Database-Access Performance Antipatterns in Database-Backed Web Applications - Shao, Shudi; Qiu, Zhengyi; Yu, Xiao; Yang, Wei; Jin, Guoliang; Xie, Tao; Wu, Xintao (2020 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2020), 2020)
Keywords: performance antipatterns; performance bugs; database-backed web applications; characteristic study

A characteristic study on failures of production distributed data-parallel programs - Li, S. H.; Zhou, H. C.; Lin, H. X.; Xiao, T.; Lin, H. B.; Lin, W.; Xie, T. (2013)

Educational software engineering: Where software engineering, education, and gaming meet - Xie, T.; Tillmann, N.; Halleux, J. (2013)

Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis - Wang, Xiaoyin; Zhang, Lu; Xie, Tao; Mei, Hong; Sun, Jiasu (IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013)
Keywords: Software internationalization; need-to-externalize constant strings; string-taint analysis

The synergy of human and artificial intelligence in software engineering - Xie, T. (2013)

Environmental Modeling for Automated Cloud Application Testing - Zhang, Linghao; Ma, Xiaoxing; Lu, Jian; Xie, Tao; Tillmann, Nikolai; Halleux, Peli (IEEE SOFTWARE, 2012)

Inferring method specifications from natural language API descriptions - Pandita, R.; Xiao, X. S.; Zhong, H.; Xie, T.; Oney, S.; Paradkar, A. (2012)

Selection of regression system tests for security policy evolution - Hwang, J. H.; Xie, T.; El Kateb, D.; Mouelhi, T.; Le Traon, Y. (2012)

Alattin: mining alternative patterns for defect detection - Thummalapenta, Suresh; Xie, Tao (AUTOMATED SOFTWARE ENGINEERING, 2011)
Keywords: Alternative patterns; Static defect detection; Mining software engineering data; Code search engine

Covana: Precise identification of problems in Pex - Xiao, X. S.; Xie, T.; Tillmann, N.; Halleux, J. (2011)

Designing Fast and Scalable XACML Policy Evaluation Engines - Liu, Alex X.; Chen, Fei; Hwang, JeeHyun; Xie, Tao (IEEE TRANSACTIONS ON COMPUTERS, 2011)
Keywords: Web servers; XACML; policy evaluation; policy-based computing; access control; policy decision point

DyTa: Dynamic symbolic execution guided with static verification results - Ge, X.; Taneja, K.; Xie, T.; Tillmann, N. (2011)

Inferring specifications for resources from natural language API documentation - Zhong, Hao; Zhang, Lu; Xie, Tao; Mei, Hong (AUTOMATED SOFTWARE ENGINEERING, 2011)
Keywords: Inferring specifications; API documentation

MODEL CHECKING FOR VERIFICATION OF MANDATORY ACCESS CONTROL MODELS AND PROPERTIES - Hu, Vincent C.; Kuhn, D. Richard; Xie, Tao; Hwang, Jeehyun (INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2011)
Keywords: Access control; policy; model; testing

Precise identification of problems for structural test generation - Xiao, X. S.; Xie, T.; Tillmann, N.; Halleux, J. (2011)

Retrofitting unit tests for parameterized unit testing - Thummalapenta, S.; Marri, M. R.; Xie, T.; Tillmann, N.; Halleux, J. (Fundamental approaches to software engineering, 2011)

Synthesizing Method Sequences for High-Coverage Testing - Thummalapenta, Suresh; Xie, Tao; Tillmann, Nikolai; Halleux, Jonathan; Su, Zhendong (ACM SIGPLAN NOTICES, 2011)
Keywords: Languages; Experimentation; Object-oriented testing; Symbolic execution

Guided test generation for coverage criteria - Pandita, R.; Xie, T.; Tillmann, N.; Halleux, J. (2010)

Perturbation-based user-input-validation testing of web applications - Li, Nuo; Xie, Tao; Jin, Maozhong; Liu, Chao (JOURNAL OF SYSTEMS AND SOFTWARE, 2010)
Keywords: Software testing; Web-application testing; User-input-validation testing

Test input reduction for result inspection to facilitate fault localization - Hao, Dan; Xie, Tao; Zhang, Lu; Wang, Xiaoyin; Sun, Jiasu; Mei, Hong (AUTOMATED SOFTWARE ENGINEERING, 2010)
Keywords: Test suite reduction; Testing; Debugging; Fault localization

Alattin: Mining Alternative Patterns for Detecting Neglected Conditions - Thummalapenta, Suresh; Xie, Tao (2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009)
Keywords: code search; frequent itemset mining; alternative patterns

DATA MINING FOR SOFTWARE ENGINEERING - Xie, Tao; Thummalapenta, Suresh; Lo, David; Liu, Chao (COMPUTER, 2009)

Detection of Multiple-Duty-Related Security Leakage in Access Control Policies - Hwang, JeeHyun; Xie, Tao; Hu, Vincent C. (2009 THIRD IEEE INTERNATIONAL CONFERENCE ON SECURE SOFTWARE INTEGRATION AND RELIABILITY IMPROVEMENT, PROCEEDINGS, 2009)
Keywords: Validation; Policy Verification; Access Control Policies

Fault Localization for Firewall Policies - Hwang, JeeHyun; Xie, Tao; Chen, Fei; Liu, Alex X. (2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009)

Fitness-Guided Path Exploration in Dynamic Symbolic Execution - Xie, Tao; Tillmann, Nikolai; Halleux, Jonathan; Schulte, Wolfram (2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009), 2009)

Interactive Fault Localization Using Test Information - Hao, Dan; Zhang, Lu; Xie, Tao; Mei, Hong; Sun, Jia-Su (JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009)
Keywords: debugging; fault localization; interactive approach

MAPO: mining and recommending API usage patterns - Zhong, H.; Xie, T.; Zhang, L.; Pei, J.; Mei, H. (2009)

On automated prepared statement generation to remove SQL injection vulnerabilities - Thomas, Stephen; Williams, Laurie; Xie, Tao (INFORMATION AND SOFTWARE TECHNOLOGY, 2009)
Keywords: SQL injection; Prepared statement; Fix automation

Reggae: Automated Test Generation for Programs using Complex Regular Expressions - Li, Nuo; Xie, Tao; Tillmann, Nikolai; Halleux, Jonathan; Schulte, Wolfram (2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009)
Keywords: test generation; dynamic symbolic execution; string generation

DSD-Crasher: A hybrid analysis tool for bug finding - Csallner, Christoph; Smaragdakis, Yannis; Xie, Tao (ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2008)
Keywords: reliability; verification; automatic testing; bug finding; dynamic analysis; dynamic invariant detection; extended static checking; false positives; static analysis; test case generation; usability

Augmenting automatically generated unit-test suites with regression oracle checking - Xie, T. (Lecture Notes in Computer Science, 2006)