Works (32)

Updated: July 5th, 2023 15:53

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 n & D. Kung*

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n, Z. Qiu n, X. Yu n, W. Yang, G. Jin n, T. Xie*, X. Wuโ€‰*

co-author countries: China ๐Ÿ‡จ๐Ÿ‡ณ United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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โ€‰ n, H. Zhou*, H. Lin*, T. Xiao*, H. Lin*, W. Linโ€‰*, T. Xie n

co-author countries: China ๐Ÿ‡จ๐Ÿ‡ณ United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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, N. Tillmann* & J. Halleux*

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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.

co-author countries: China ๐Ÿ‡จ๐Ÿ‡ณ United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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.

co-author countries: China ๐Ÿ‡จ๐Ÿ‡ณ Germany ๐Ÿ‡ฉ๐Ÿ‡ช United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n, X. Xiao n, H. Zhongโ€‰*, T. Xie n, S. Oney* & A. Paradkar*

co-author countries: China ๐Ÿ‡จ๐Ÿ‡ณ United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n, T. Xie n, D. El Kateb*, T. Mouelhi* & Y. Le Traonโ€‰*

co-author countries: Luxembourg ๐Ÿ‡ฑ๐Ÿ‡บ United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n & T. Xie n

co-author countries: India ๐Ÿ‡ฎ๐Ÿ‡ณ United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n, T. Xie n, N. Tillmann* & J. Halleux*

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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.

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n, K. Taneja n, T. Xie n & N. Tillmann*

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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.

co-author countries: China ๐Ÿ‡จ๐Ÿ‡ณ United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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.

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n, T. Xie n, N. Tillmann* & J. Halleux*

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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, N. Tillmann*, J. Halleux* & Z. Su*

co-author countries: India ๐Ÿ‡ฎ๐Ÿ‡ณ United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n, T. Xie n, N. Tillmann* & J. Halleux*

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n, T. Xie n, M. Jin* & C. Liuโ€‰*

co-author countries: China ๐Ÿ‡จ๐Ÿ‡ณ United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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.

co-author countries: China ๐Ÿ‡จ๐Ÿ‡ณ United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n & T. Xie n

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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.

co-author countries: United Kingdom of Great Britain and Northern Ireland ๐Ÿ‡ฌ๐Ÿ‡ง Singapore ๐Ÿ‡ธ๐Ÿ‡ฌ United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n, T. Xie n & V. Huโ€‰*

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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-+.

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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, N. Tillmann*, J. Halleux* & W. Schulte*

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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.

co-author countries: China ๐Ÿ‡จ๐Ÿ‡ณ United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n & T. Xie n

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n, T. Xie n, N. Tillmann*, J. Halleux* & W. Schulte*

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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 n

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
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

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ยฉ (2024) 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.