Works (31)

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

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.

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

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, 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