Tao Xie

Works (32)

Updated: July 5th, 2023 15:53

2020 article

Database-Access Performance Antipatterns in Database-Backed Web Applications

Shao, S., Qiu, Z., Yu, X., Yang, W., Jin, G., Xie, T., & Wu, X. (2020, September 1).

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

author keywords: performance antipatterns; performance bugs; database-backed web applications; characteristic study
topics (OpenAlex): Software System Performance and Reliability; Distributed systems and fault tolerance; Cloud Computing and Resource Management
TL;DR: This study collects database-access performance bugs from web applications that access databases through language-provided SQL interfaces, which have been largely ignored by recent work, to check how extensively the known antipatterns can cover these bugs. (via Semantic Scholar)
Source: Web Of Science
Added: March 1, 2021

2018 article

A Combinatorial Testing-Based Approach to Fault Localization

Ghandehari, L. S., Lei, Y., Kacker, R., Kuhn, R., Xie, T., & Kung, D. (2018, August 17). IEEE Transactions on Software Engineering.

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

author keywords: Testing; Fault diagnosis; Flexible printed circuits; Software; Task analysis; Debugging; Computer science; Combinatorial testing; fault localization; debugging
topics (OpenAlex): Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Software Engineering Research
TL;DR: A fault localization approach, called BEN, which produces a ranking of statements in terms of their likelihood of being faulty by leveraging the result of combinatorial testing. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Source: Web Of Science
Added: July 13, 2020

2013 article

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

Li, S., Zhou, H., Lin, H., Xiao, T., Lin, H., Lin, W., & Xie, T. (2013, May 1). 2013 35th International Conference on Software Engineering (ICSE).

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

topics (OpenAlex): Distributed systems and fault tolerance; Cloud Computing and Resource Management; Software System Performance and Reliability
TL;DR: The study results provide valuable guidelines for future development of data-parallel programs, and it is believed that these guidelines are not limited to SCOPE, but can also be generalized to other similar data- parallel platforms. (via Semantic Scholar)
Source: NC State University Libraries
Added: August 6, 2018

2013 article

Educational software engineering: Where software engineering, education, and gaming meet

Xie, T., Tillmann, N., & Halleux, J. (2013, May 1).

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

topics (OpenAlex): Software Testing and Debugging Techniques; Advanced Malware Detection Techniques; Software Engineering Research
TL;DR: The subfield of educational software engineering is defined and Pex for Fun is illustrated, one of the recent examples on leveraging software engineering and gaming technologies to address educational tasks on teaching and learning programming and software engineering skills. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
4. Quality Education (OpenAlex)
Source: NC State University Libraries
Added: August 6, 2018

2013 article

The synergy of human and artificial intelligence in software engineering

Xie, T. (2013, May 1).

By: T. Xie n

topics (OpenAlex): Software Testing and Debugging Techniques; Software Engineering Research; Software Reliability and Analysis Research
TL;DR: This paper presents example software-engineering problems with solutions that leverage the synergy of human and artificial intelligence, and illustrates how cooperative testing and analysis can help realize such synergy. (via Semantic Scholar)
Source: NC State University Libraries
Added: August 6, 2018

2012 article

Inferring method specifications from natural language API descriptions

Pandita, R., Xiao, X., Zhong, H., Xie, T., Oney, S., & Paradkar, A. (2012, June 1).

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

topics (OpenAlex): Software Engineering Research; Advanced Malware Detection Techniques; Software Testing and Debugging Techniques
TL;DR: This work proposes a novel approach to infer formal specifications from natural language text of API documents and shows that this approach has an average 83% accuracy in inferring specifications from over 1600 sentences describing code contracts. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: NC State University Libraries
Added: August 6, 2018

2012 article

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

Wang, X., Zhang, L., Xie, T., Mei, H., & Sun, J. (2012, June 12). IEEE Transactions on Software Engineering.

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

author keywords: Software internationalization; need-to-externalize constant strings; string-taint analysis
topics (OpenAlex): Web Application Security Vulnerabilities; Software Engineering Research; Advanced Malware Detection Techniques
TL;DR: An automatic approach to locate need-to-externalize constant strings in the source code of a software product using generalized string-taint analysis is proposed and visual representation of the string dependencies related to the need- to-externalized strings is provided. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2012 article

Selection of regression system tests for security policy evolution

Hwang, J. H., Xie, T., Kateb, D. E., Mouelhi, T., & Traon, Y. L. (2012, September 3).

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

topics (OpenAlex): Software Testing and Debugging Techniques; Advanced Malware Detection Techniques; Software Engineering Research
TL;DR: A regression-test-selection approach is developed, which selects every system test case that may reveal regression faults caused by policy changes, and shows that this approach reduces a substantial number of system test cases efficiently. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: NC State University Libraries
Added: August 6, 2018

2011 article

Alattin: mining alternative patterns for defect detection

Thummalapenta, S., & Xie, T. (2011, April 8). Automated Software Engineering.

By: S. Thummalapenta n & T. Xie n

author keywords: Alternative patterns; Static defect detection; Mining software engineering data; Code search engine
topics (OpenAlex): Software Engineering Research; Software Reliability and Analysis Research; Software Testing and Debugging Techniques
TL;DR: A novel approach to reduce false positives produced by existing mining approaches is developed, called Alattin, that includes new mining algorithms and a technique for detecting neglected conditions based on the authors' mining algorithm. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2011 article

Covana

Xiao, X., Xie, T., Tillmann, N., & Halleux, J. (2011, May 21).

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

topics (OpenAlex): Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Software Engineering Research
TL;DR: This work presents Covana, a tool that precisely identifies and reports problems that prevent Pex from achieving high structural coverage, and proposes cooperative developer testing, where developers provide guidance to help tools achieve higher structural coverage. (via Semantic Scholar)
Source: NC State University Libraries
Added: August 6, 2018

2011 article

DyTa

Taneja, K., Xie, T., & Tillmann, N. (2011, May 21).

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

topics (OpenAlex): Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Software Engineering Research
TL;DR: This work presents an automated defect-detection tool, called DyTa, that combines both static verification and dynamic test generation and reduces the number of false positives compared to static verification, and performs more efficiently compared to dynamic testgeneration. (via Semantic Scholar)
Source: NC State University Libraries
Added: August 6, 2018

2011 article

Environmental Modeling for Automated Cloud Application Testing

Zhang, L., Ma, X., Lu, J., Xie, T., Tillmann, N., & Halleux, P. (2011, December 6). IEEE Software.

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

topics (OpenAlex): Software Testing and Debugging Techniques; Software System Performance and Reliability; Advanced Malware Detection Techniques
TL;DR: A proposed approach models the cloud environment and applies dynamic symbolic execution to generate test inputs and cloud states and shows that it can achieve high structural coverage in open-source Azure cloud applications. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2011 article

Inferring specifications for resources from natural language API documentation

Zhong, H., Zhang, L., Xie, T., & Mei, H. (2011, April 8). Automated Software Engineering.

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

author keywords: Inferring specifications; API documentation
topics (OpenAlex): Software Engineering Research; Web Application Security Vulnerabilities; Software System Performance and Reliability
TL;DR: This work proposes an approach, called Doc2Spec, that infers resource specifications from API documentation in natural languages, and shows that specifications inferred by this approach are useful to detect real defects in existing projects. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2011 article

MODEL CHECKING FOR VERIFICATION OF MANDATORY ACCESS CONTROL MODELS AND PROPERTIES

VINCENT, C. H. U., KUHN, D. R. I. C. H. A. R. D., XIE, T. A. O., & HWANG, J. E. E. H. Y. U. N. (2011, February 1). International Journal of Software Engineering and Knowledge Engineering.

By: C. Vincent *, D. Kuhn *, T. Xie n & J. Hwang n

author keywords: Access control; policy; model; testing
topics (OpenAlex): Access Control and Trust; Security and Verification in Computing; Software Testing and Debugging Techniques
TL;DR: This paper defines a standardized structure for MAC models, providing for both property verification and automated generation of test cases, and uses the model checker to verify the integrity, coverage, and confinement of these properties for the MAC models. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2011 article

Precise identification of problems for structural test generation

Xiao, X., Xie, T., Tillmann, N., & Halleux, J. (2011, May 21).

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

topics (OpenAlex): Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Software Engineering Research
TL;DR: A novel approach, called Covana, is proposed, which precisely identifies and reports problems that prevent the tools from achieving high structural coverage primarily by determining whether branch statements containing notcovered branches have data dependencies on problem candidates. (via Semantic Scholar)
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 18). ACM SIGPLAN Notices.

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

author keywords: Languages; Experimentation; Object-oriented testing; Symbolic execution
topics (OpenAlex): Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Software Engineering Research
Source: Web Of Science
Added: August 6, 2018

2010 article

Designing Fast and Scalable XACML Policy Evaluation Engines

Liu, A. X., Chen, F., Hwang, J. H., & Xie, T. (2010, December 23). IEEE Transactions on Computers.

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

author keywords: Web servers; XACML; policy evaluation; policy-based computing; access control; policy decision point
topics (OpenAlex): Access Control and Trust; Network Packet Processing and Optimization; Internet Traffic Analysis and Secure E-voting
TL;DR: This paper proposes fast policy evaluation algorithms that can be adapted to support various policy languages and focuses on XACML, which has become the de facto standard for specifying access control policies, has been widely used on web servers, and is most complex among existing policy languages. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2010 article

Guided test generation for coverage criteria

Pandita, R., Xie, T., Tillmann, N., & Halleux, J. (2010, September 1).

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

topics (OpenAlex): Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Radiation Effects in Electronics
TL;DR: This work proposes a general approach that uses instrumentation to guide existing test-generation approaches to generate test inputs that achieve boundary-value and logical coverage for the program under test. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: NC State University Libraries
Added: August 6, 2018

2010 article

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

Li, N., Xie, T., Jin, M., & Liu, C. (2010, July 30). Journal of Systems and Software.

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

author keywords: Software testing; Web-application testing; User-input-validation testing
topics (OpenAlex): Software Testing and Debugging Techniques; Web Application Security Vulnerabilities; Advanced Malware Detection Techniques
TL;DR: The empirical result shows that the proposed approach to generate test inputs for UIV based on the analysis of client-side information is more effective than existing vulnerability scanners in finding semantics-related vulnerabilities of UIV for web applications. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: Web Of Science
Added: August 6, 2018

2009 article

Alattin: Mining Alternative Patterns for Detecting Neglected Conditions

Thummalapenta, S., & Xie, T. (2009, November 1).

By: S. Thummalapenta n & T. Xie n

author keywords: code search; frequent itemset mining; alternative patterns
topics (OpenAlex): Software Engineering Research; Software Reliability and Analysis Research; Software Testing and Debugging Techniques
TL;DR: This work develops a novel approach, called Alattin, that includes a new mining algorithm and a technique for detecting neglected conditions based on the authors' mining algorithm, which helps reduce nearly 28% of false positives among detected violations. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2009 article

Data Mining for Software Engineering

Xie, T., Thummalapenta, S., Lo, D., & Liu, C. (2009, August 1). Computer.

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

topics (OpenAlex): Software Engineering Research; Software Testing and Debugging Techniques; Software System Performance and Reliability
TL;DR: Various algorithms are presented to effectively mine sequences, graphs, and text from such data to improve software productivity and quality. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2009 article

Detection of Multiple-Duty-Related Security Leakage in Access Control Policies

Hwang, J. H., Xie, T., & Hu, V. C. (2009, July 1).

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

author keywords: Validation; Policy Verification; Access Control Policies
topics (OpenAlex): Access Control and Trust; Security and Verification in Computing; Internet Traffic Analysis and Secure E-voting
TL;DR: This work develops a novel framework that analyzes policies and detects cases that potentially cause multiple-duty-related security leakage in XACML, and shows that this framework effectively pinpoints potential multiple- Duty- related security leakage for policy authors to inspect. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: Web Of Science
Added: August 6, 2018

2009 article

Fault Localization for Firewall Policies

Hwang, J. H., Xie, T., Chen, F., & Liu, A. X. (2009, September 1).

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

topics (OpenAlex): Network Packet Processing and Optimization; Network Security and Intrusion Detection; Software Testing and Debugging Techniques
TL;DR: This work proposes an approach to reduce the number of rules for inspection based on information collected during evaluating failed tests, and shows that this approach can reduce 56% of rules that are required for inspection in fault localization. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2009 article

Fitness-guided path exploration in dynamic symbolic execution

Xie, T., Tillmann, N., Halleux, J., & Schulte, W. (2009, June 1).

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

topics (OpenAlex): Software Testing and Debugging Techniques; Software Engineering Research; Software Reliability and Analysis Research
TL;DR: This work proposes a novel approach called Fitnex, a search strategy that uses state-dependent fitness values (computed through a fitness function) to guide path exploration, and shows that this approach consistently achieves high code coverage faster than existing search strategies. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2009 article

Interactive Fault Localization Using Test Information

Hao, D., Zhang, L., Xie, T., Mei, H., & Sun, J.-S. (2009, September 1). Journal of Computer Science and Technology.

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

author keywords: debugging; fault localization; interactive approach
topics (OpenAlex): Software Testing and Debugging Techniques; Software Engineering Research; Software Reliability and Analysis Research
TL;DR: This work proposes an interactive fault-localization framework, combining the benefits of automated approaches and manual debugging, and proposes a naive approach and a robust approach, which can help developers find faults when they make wrong estimation at some checking points. (via Semantic Scholar)
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 article

Reggae: Automated Test Generation for Programs Using Complex Regular Expressions

Li, N., Xie, T., Tillmann, N., Halleux, J., & Schulte, W. (2009, November 1).

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

author keywords: test generation; dynamic symbolic execution; string generation
topics (OpenAlex): Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Software Engineering Research
TL;DR: An approach is proposed, named Reggae, to reduce the exploration space of DSE in test generation for programs using complex regular expressions due to large exploration space, which helps a test-generation tool generate test inputs to achieve 79% branch coverage of validators. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2009 article

Test input reduction for result inspection to facilitate fault localization

Hao, D., Xie, T., Zhang, L., Wang, X., Sun, J., & Mei, H. (2009, August 18). Automated Software Engineering.

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

author keywords: Test suite reduction; Testing; Debugging; Fault localization
topics (OpenAlex): Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Software Engineering Research
TL;DR: This work proposes three strategies to reduce the test inputs in an existing test collection for result inspection and shows that this approach can help developers inspect a smaller subset of test inputs, whose fault-localization effectiveness is close to that of the whole test collection. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2008 article

DSD-Crasher

Csallner, C., Smaragdakis, Y., & Xie, T. (2008, April 1). ACM Transactions on Software Engineering and Methodology.

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

author keywords: reliability; verification; automatic testing; bug finding; dynamic analysis; dynamic invariant detection; extended static checking; false positives; static analysis; test case generation; usability
topics (OpenAlex): Software Testing and Debugging Techniques; Software Engineering Research; Software Reliability and Analysis Research
TL;DR: DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis that yields benefits compared to past two-step combinations in the literature, and in the evaluation with third-party applications, demonstrates higher precision over tools that lack a dynamic step and higher efficiency over tools That lack a static step. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2008 article

On automated prepared statement generation to remove SQL injection vulnerabilities

Thomas, S., Williams, L., & Xie, T. (2008, September 29). Information and Software Technology.

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

author keywords: SQL injection; Prepared statement; Fix automation
topics (OpenAlex): Web Application Security Vulnerabilities; Security and Verification in Computing; Information and Cyber Security
TL;DR: An algorithm of prepared statement replacement for removing SQLIVs by replacing SQL statements with prepared statements is presented and a corresponding tool for automated fix generation is created. (via Semantic Scholar)
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

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2026) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.