Works (32)

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*

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*

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*

Source: NC State University Libraries
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: NC State University Libraries
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

Source: NC State University Libraries
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

Source: NC State University Libraries
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.

Source: NC State University Libraries
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

Source: NC State University Libraries
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 journal article

Synthesizing method sequences for high-coverage testing

ACM SIGPLAN Notices, 46(10), 189–206.

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

Source: NC State University Libraries
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*

Source: NC State University Libraries
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*

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

2009 conference paper

Alattin: Mining alternative patterns for detecting neglected conditions

2009 ieee/acm international conference on automated software engineering, proceedings, 283–294.

By: S. Thummalapenta & T. Xie

Source: NC State University Libraries
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: NC State University Libraries
Added: August 6, 2018

2009 conference paper

Detection of multiple-duty-related security leakage in access control policies

2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement, Proceedings, 65–74.

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

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

2009 conference paper

Fault localization for firewall policies

2009 28th ieee international symposium on reliable distributed systems, proceedings, 100–106.

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

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

2009 conference paper

Fitness-guided path exploration in dynamic symbolic execution

2009 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN 2009), 359–368.

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

Source: NC State University Libraries
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*

Source: NC State University Libraries
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

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

2009 conference paper

Reggae: Automated test generation for programs using complex regular expressions

2009 ieee/acm international conference on automated software engineering, proceedings, 515–519.

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

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

2008 journal article

DSD-Crasher: A hybrid analysis tool for bug finding

ACM Transactions on Software Engineering and Methodology, 17(2).

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

Source: NC State University Libraries
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