Tao Xie

Works (32)

Updated: April 11th, 2023 10:13
Download BibTeX Download Plain Text View JSON

2020 journal article

A Combinatorial Testing-Based Approach to Fault Localization

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 46(6), 616–645.

By: L. Ghandehari*, Y. Lei*, R. Kacker*, R. Kuhn*, T. Xie & D. Kung*

author keywords: Testing; Fault diagnosis; Flexible printed circuits; Software; Task analysis; Debugging; Computer science; Combinatorial testing; fault localization; debugging
Source: Web Of Science
Added: July 13, 2020

2020 article

Database-Access Performance Antipatterns in Database-Backed Web Applications

2020 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2020), pp. 58–69.

By: S. Shao, Z. Qiu, X. Yu, W. Yang*, G. Jin, T. Xie, X. Wu*

author keywords: performance antipatterns; performance bugs; database-backed web applications; characteristic study
Source: Web Of Science
Added: March 1, 2021

2013 conference paper

A characteristic study on failures of production distributed data-parallel programs

Proceedings of the 35th International Conference on software engineering (ICSE 2013), 963–972.

By: S. Li, H. Zhou, H. Lin, T. Xiao, H. Lin, W. Lin, T. Xie

Source: NC State University Libraries
Added: August 6, 2018

2013 conference paper

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.

By: T. Xie, N. Tillmann* & J. Halleux*

Source: NC State University Libraries
Added: August 6, 2018

2013 journal article

Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 39(4), 516–536.

By: X. Wang*, L. Zhang*, T. Xie, H. Mei* & J. Sun*

author keywords: Software internationalization; need-to-externalize constant strings; string-taint analysis
Source: Web Of Science
Added: August 6, 2018

2013 conference paper

The synergy of human and artificial intelligence in software engineering

International workshop on realizing artificial intelligence synergies in, 4–6.

By: T. Xie

Source: NC State University Libraries
Added: August 6, 2018

2012 journal article

Environmental Modeling for Automated Cloud Application Testing

IEEE SOFTWARE, 29(2), 30–35.

By: L. Zhang*, X. Ma *, J. Lu*, T. Xie, N. Tillmann* & P. Halleux*

Source: Web Of Science
Added: August 6, 2018

2012 conference paper

Inferring method specifications from natural language API descriptions

2012 34th international conference on software engineering (icse), 815–825.

By: R. Pandita, X. Xiao, H. Zhong*, T. Xie, S. Oney* & A. Paradkar*

Source: NC State University Libraries
Added: August 6, 2018

2012 conference paper

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.

By: J. Hwang, T. Xie, D. El Kateb*, T. Mouelhi* & Y. Le Traon *

Source: NC State University Libraries
Added: August 6, 2018

2011 journal article

Alattin: mining alternative patterns for defect detection

AUTOMATED SOFTWARE ENGINEERING, 18(3-4), 293–323.

By: S. Thummalapenta & T. Xie

author keywords: Alternative patterns; Static defect detection; Mining software engineering data; Code search engine
Source: Web Of Science
Added: August 6, 2018

2011 conference paper

Covana: Precise identification of problems in Pex

2011 33rd International Conference on Software Engineering (ICSE), 1004–1006.

By: X. Xiao, T. Xie, N. Tillmann* & J. Halleux*

Source: NC State University Libraries
Added: August 6, 2018

2011 journal article

Designing Fast and Scalable XACML Policy Evaluation Engines

IEEE TRANSACTIONS ON COMPUTERS, 60(12), 1802–1817.

By: A. Liu*, F. Chen*, J. Hwang & T. Xie

author keywords: Web servers; XACML; policy evaluation; policy-based computing; access control; policy decision point
Source: Web Of Science
Added: August 6, 2018

2011 conference paper

DyTa: Dynamic symbolic execution guided with static verification results

2011 33rd International Conference on Software Engineering (ICSE), 992–994.

By: X. Ge, K. Taneja, T. Xie & N. Tillmann*

Source: NC State University Libraries
Added: August 6, 2018

2011 journal article

Inferring specifications for resources from natural language API documentation

AUTOMATED SOFTWARE ENGINEERING, 18(3-4), 227–261.

By: H. Zhong*, L. Zhang*, T. Xie & H. Mei*

author keywords: Inferring specifications; API documentation
Source: Web Of Science
Added: August 6, 2018

2011 journal article

MODEL CHECKING FOR VERIFICATION OF MANDATORY ACCESS CONTROL MODELS AND PROPERTIES

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 21(1), 103–127.

By: V. Hu*, D. Kuhn*, T. Xie & J. Hwang

author keywords: Access control; policy; model; testing
Source: Web Of Science
Added: August 6, 2018

2011 conference paper

Precise identification of problems for structural test generation

2011 33rd International Conference on Software Engineering (ICSE), 611–620.

By: X. Xiao, T. Xie, N. Tillmann* & J. Halleux*

Source: NC State University Libraries
Added: August 6, 2018

2011 journal article

Retrofitting unit tests for parameterized unit testing

Fundamental Approaches to Software Engineering, 6603, 294–309.

By: S. Thummalapenta, M. Marri, T. Xie, N. Tillmann & J. Halleux

Source: NC State University Libraries
Added: August 6, 2018

2011 article

Synthesizing Method Sequences for High-Coverage Testing

Thummalapenta, S., Xie, T., Tillmann, N., Halleux, J., & Su, Z. (2011, October). ACM SIGPLAN NOTICES, Vol. 46, pp. 189–206.

By: S. Thummalapenta*, T. Xie, N. Tillmann*, J. Halleux* & Z. Su*

author keywords: Languages; Experimentation; Object-oriented testing; Symbolic execution
Source: Web Of Science
Added: August 6, 2018

2010 conference paper

Guided test generation for coverage criteria

2010 ieee international conference on software maintenance.

By: R. Pandita, T. Xie, N. Tillmann* & J. Halleux*

Source: NC State University Libraries
Added: August 6, 2018

2010 journal article

Perturbation-based user-input-validation testing of web applications

JOURNAL OF SYSTEMS AND SOFTWARE, 83(11), 2263–2274.

By: N. Li, T. Xie, M. Jin* & C. Liu*

author keywords: Software testing; Web-application testing; User-input-validation testing
Source: Web Of Science
Added: August 6, 2018

2010 journal article

Test input reduction for result inspection to facilitate fault localization

AUTOMATED SOFTWARE ENGINEERING, 17(1), 5–31.

By: D. Hao*, T. Xie, L. Zhang*, X. Wang*, J. Sun* & H. Mei*

author keywords: Test suite reduction; Testing; Debugging; Fault localization
Source: Web Of Science
Added: August 6, 2018

2009 article

Alattin: Mining Alternative Patterns for Detecting Neglected Conditions

2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, pp. 283–294.

By: S. Thummalapenta & T. Xie

author keywords: code search; frequent itemset mining; alternative patterns
Source: Web Of Science
Added: August 6, 2018

2009 journal article

DATA MINING FOR SOFTWARE ENGINEERING

COMPUTER, 42(8), 55–62.

By: T. Xie, S. Thummalapenta, D. Lo* & C. Liu*

Source: Web Of Science
Added: August 6, 2018

2009 article

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.

By: J. Hwang, T. Xie & V. Hu*

author keywords: Validation; Policy Verification; Access Control Policies
Source: Web Of Science
Added: August 6, 2018

2009 article

Fault Localization for Firewall Policies

2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, pp. 100-+.

By: J. Hwang, T. Xie, F. Chen* & A. Liu*

Source: Web Of Science
Added: August 6, 2018

2009 article

Fitness-Guided Path Exploration in Dynamic Symbolic Execution

2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009), pp. 359-+.

By: T. Xie, N. Tillmann*, J. Halleux* & W. Schulte*

Source: Web Of Science
Added: August 6, 2018

2009 journal article

Interactive Fault Localization Using Test Information

JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 24(5), 962–974.

By: D. Hao *, L. Zhang*, T. Xie, H. Mei* & J. Sun*

author keywords: debugging; fault localization; interactive approach
Source: Web Of Science
Added: August 6, 2018

2009 conference paper

MAPO: mining and recommending API usage patterns

Ecoop 2009 - object-oriented programming, 5653, 318–343.

By: H. Zhong, T. Xie, L. Zhang, J. Pei & H. Mei

Source: NC State University Libraries
Added: August 6, 2018

2009 journal article

On automated prepared statement generation to remove SQL injection vulnerabilities

INFORMATION AND SOFTWARE TECHNOLOGY, 51(3), 589–598.

By: S. Thomas n, L. Williams & T. Xie

author keywords: SQL injection; Prepared statement; Fix automation
Source: Web Of Science
Added: August 6, 2018

2009 article

Reggae: Automated Test Generation for Programs using Complex Regular Expressions

2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, pp. 515–519.

By: N. Li, T. Xie, N. Tillmann*, J. Halleux* & W. Schulte*

author keywords: test generation; dynamic symbolic execution; string generation
Source: Web Of Science
Added: August 6, 2018

2008 article

DSD-Crasher: A hybrid analysis tool for bug finding

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, Vol. 17.

By: C. Csallner*, Y. Smaragdakis* & T. Xie

author keywords: reliability; verification; automatic testing; bug finding; dynamic analysis; dynamic invariant detection; extended static checking; false positives; static analysis; test case generation; usability
Source: Web Of Science
Added: August 6, 2018

2006 journal article

Augmenting automatically generated unit-test suites with regression oracle checking

Lecture Notes in Computer Science, (4067), 380–403.

By: T. Xie

Source: NC State University Libraries
Added: August 6, 2018