Tao Xie

Willett Faculty Scholar in Computer Science

20002019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 2000 2019

Filter
Article
2018

A Combinatorial Testing-Based Approach to Fault Localization

Sh. Ghandehari, L., Lei, Y., Kacker, R., Kuhn, D. R. R., Kung, D. & Xie, T., Aug 16 2018, (Accepted/In press) In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticle

Software testing
Testing

Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study

Zhou, X., Peng, X., Xie, T., Sun, J., Ji, C., Li, W. & Ding, D., Jan 1 2018, (Accepted/In press) In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticle

Visualization
Trace analysis
Software engineering
Industry

Preface

Xie, T., Jiang, H., Li, G., Wo, T., Pandita, R., Xu, C. & Xu, L., Sep 1 2018, In : Journal of Computer Science and Technology. 33, 5, p. 873-875 3 p.

Research output: Contribution to journalArticle

Understanding Diverse Usage Patterns from Large-Scale Appstore-Service Profiles

Liu, X., Li, H., Lu, X., Xie, T., Mei, Q., Feng, F. & Mei, H., Apr 1 2018, In : IEEE Transactions on Software Engineering. 44, 4, p. 384-411 28 p.

Research output: Contribution to journalArticle

Application programs
Engineering research
Mobile devices
Software engineering
2017

Experience report on applying software analytics in incident management of online service

Lou, J. G., Lin, Q., Ding, R., Fu, Q., Zhang, D. & Xie, T., Dec 1 2017, In : Automated Software Engineering. 24, 4, p. 905-941 37 p.

Research output: Contribution to journalArticle

Studios
Engineers
Technology transfer
Monitoring

ReWAP: Reducing Redundant Transfers for Mobile Web Browsing via App-Specific Resource Packaging

Liu, X., Ma, Y., Dong, S., Liu, Y., Xie, T. & Huang, G., Sep 1 2017, In : IEEE Transactions on Mobile Computing. 16, 9, p. 2625-2638 14 p., 7762888.

Research output: Contribution to journalArticle

Application programs
Packaging
Energy utilization

SafeDrive: Online Driving Anomaly Detection From Large-Scale Vehicle Data

Zhang, M., Chen, C., Wo, T., Xie, T., Bhuiyan, M. Z. A. & Lin, X., Aug 2017, In : IEEE Transactions on Industrial Informatics. 13, 4, p. 2087-2096 10 p., 7864432.

Research output: Contribution to journalArticle

Internet
Supervised learning
Sensors
Electric fuses
Gears

SWAROVsky: Optimizing Resource Loading for Mobile Web Browsing

Liu, X., Ma, Y., Wang, X., Liu, Y., Xie, T. & Huang, G., Oct 1 2017, In : IEEE Transactions on Mobile Computing. 16, 10, p. 2941-2954 14 p., 7801009.

Research output: Contribution to journalArticle

Websites
Servers
Web browsers
World Wide Web
Mobile devices
2016

Demystifying the Imperfect Client-Side Cache Performance of Mobile Web Browsing

Liu, X., Ma, Y., Liu, Y., Xie, T. & Huang, G., Sep 1 2016, In : IEEE Transactions on Mobile Computing. 15, 9, p. 2206-2220 15 p., 7295636.

Research output: Contribution to journalArticle

World Wide Web
Websites
Servers
Web browsers
Smartphones

Preface

Xie, T., Sep 1 2016, In : Journal of Computer Science and Technology. 31, 5, p. 849-850 2 p.

Research output: Contribution to journalArticle

To Be Optimal or Not in Test-Case Prioritization

Hao, D., Zhang, L., Zang, L., Wang, Y., Wu, X. & Xie, T., May 1 2016, In : IEEE Transactions on Software Engineering. 42, 5, p. 490-504 15 p., 7314957.

Research output: Contribution to journalArticle

Software testing
Fault detection
Linear programming
Testing
2015

Detecting high-quality posts in community question answering sites

Yao, Y., Tong, H., Xie, T., Akoglu, L., Xu, F. & Lu, J., May 1 2015, In : Information Sciences. 302, p. 70-82 13 p.

Research output: Contribution to journalArticle

Question Answering
Feedback
Voting
Scalability
Positive Feedback

Preface

Xie, T., Sep 22 2015, In : Journal of Computer Science and Technology. 30, 5, p. 933-934 2 p.

Research output: Contribution to journalArticle

Program-input generation for testing database applications using existing database states

Pan, K., Wu, X. & Xie, T., Dec 26 2015, In : Automated Software Engineering. 22, 4, p. 439-473 35 p.

Research output: Contribution to journalArticle

Testing
Quality assurance

User-aware privacy control via extended static-information-flow analysis

Xiao, X., Tillmann, N., Fahndrich, M., de Halleux, J., Moskal, M. & Xie, T., Sep 22 2015, In : Automated Software Engineering. 22, 3, p. 333-366 34 p.

Research output: Contribution to journalArticle

Mobile devices
2014

Cooperative software testing and analysis: Advances and challenges

Xie, T., Zhang, L., Xiao, X., Xiong, Y. F. & Hao, D., Jan 2014, In : Journal of Computer Science and Technology. 29, 4, p. 713-723 11 p.

Research output: Contribution to journalArticle

Software Testing
Software testing
Testing
Testing
Application programs
Engines
2013

Locating need-to-externalize constant strings for software internationalization with generalized string-taint analysis

Wang, X., Zhang, L., Xie, T., Mei, H. & Sun, J., Apr 8 2013, In : IEEE Transactions on Software Engineering. 39, 4, p. 516-536 21 p., 6216383.

Research output: Contribution to journalArticle

Graphical user interfaces
Application programming interfaces (API)
Software engineering
Open source software

Software analytics in practice

Zhang, D., Han, S., Dang, Y., Lou, J. G., Zhang, H. & Xie, T., Sep 20 2013, In : IEEE Software. 30, 5, p. 30-37 8 p., 6559957.

Research output: Contribution to journalArticle

Software engineering
Scalability
Feedback
2012

Environmental modeling for automated cloud application testing

Zhang, L., Ma, X., Lu, J., Xie, T., Tillmann, N. & De Halleux, P., Mar 1 2012, In : IEEE Software. 29, 2, p. 30-35 6 p., 6095493.

Research output: Contribution to journalArticle

Testing
Cloud computing

First step towards automatic correction of firewall policy faults

Chen, F., Liu, A. X., Hwang, J. & Xie, T., Jul 1 2012, In : ACM Transactions on Autonomous and Adaptive Systems. 7, 2, 27.

Research output: Contribution to journalArticle

Network security
Experiments

Internetware: A software paradigm for internet computing

Mei, H., Huang, G. & Xie, T., Jul 9 2012, Computer, 45, 6, p. 26-31 6 p.

Research output: Contribution to specialist publicationArticle

Internet

Systematic structural testing of firewall policies

Hwang, J. H., Xie, T., Chen, F. & Liu, A. X., Mar 1 2012, In : IEEE Transactions on Network and Service Management. 9, 1, p. 1-11 11 p., 6138839.

Research output: Contribution to journalArticle

Fault detection
Testing
Industry
Experiments
2011

Alattin: Mining alternative patterns for defect detection

Thummalapenta, S. & Xie, T., Dec 1 2011, In : Automated Software Engineering. 18, 3-4, p. 293-323 31 p.

Research output: Contribution to journalArticle

Defects
Defect detection

Designing fast and scalable XACML policy evaluation engines

Liu, A. X., Chen, F., Hwang, J. & Xie, T., Dec 1 2011, In : IEEE Transactions on Computers. 60, 12, p. 1802-1817 16 p., 5674020.

Research output: Contribution to journalArticle

Sun
Engine
Engines
Evaluation
Access control

Inferring specifications for resources from natural language API documentation

Zhong, H., Zhang, L., Xie, T. & Mei, H., Dec 1 2011, In : Automated Software Engineering. 18, 3-4, p. 227-261 35 p.

Research output: Contribution to journalArticle

Application programming interfaces (API)
Specifications
Defects

Model checking for verification of mandatory access control models and properties

Hu, V. C., Kuhn, D. R., Xie, T. & Hwang, J., Feb 1 2011, In : International Journal of Software Engineering and Knowledge Engineering. 21, 1, p. 103-127 25 p.

Research output: Contribution to journalArticle

Model checking
Access control
Specification languages
Specifications

Synthesizing method sequences for high-coverage testing

Thummalapenta, S., Xie, T., Tillmann, N., De Halleux, J. & Su, Z., Oct 1 2011, In : ACM SIGPLAN Notices. 46, 10, p. 189-206 18 p.

Research output: Contribution to journalArticle

Dynamic analysis
Testing
Static analysis
Defects
2010

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

Li, N., Xie, T., Jin, M. & Liu, C., Nov 1 2010, In : Journal of Systems and Software. 83, 11, p. 2263-2274 12 p.

Research output: Contribution to journalArticle

Testing
Semantics

Test input reduction for result inspection to facilitate fault localization

Hao, D., Xie, T., Zhang, L., Wang, X., Sun, J. & Mei, H., Mar 1 2010, In : Automated Software Engineering. 17, 1, p. 5-31 27 p.

Research output: Contribution to journalArticle

Inspection
Testing
Availability
2009

Data mining for software engineering

Xie, T., Thummalapenta, S., Lo, D. & Liu, C., Sep 4 2009, Computer, 42, 8, p. 55-62 8 p.

Research output: Contribution to specialist publicationArticle

Data mining
Software engineering
Productivity
Engineers

Interactive Fault Localization Using Test Information

Hao, D., Zhang, L., Xie, T., Mei, H. & Sun, J. S., Sep 1 2009, In : Journal of Computer Science and Technology. 24, 5, p. 962-974 13 p.

Research output: Contribution to journalArticle

Debugging
Fault
Software engineering
Feedback
Software Development

On automated prepared statement generation to remove SQL injection vulnerabilities

Thomas, S., Williams, L. & Xie, T., Mar 1 2009, In : Information and Software Technology. 51, 3, p. 589-598 10 p.

Research output: Contribution to journalArticle

Automation
2008

DSD-Crasher: A hybrid analysis tool for bug finding

Csallner, C., Smaragdakis, Y. & Xie, T., Apr 1 2008, In : ACM Transactions on Software Engineering and Methodology. 17, 2, 8.

Research output: Contribution to journalArticle

Static analysis
2006

Tool-assisted unit-test generation and selection based on operational abstractions

Xie, T. & Notkin, D., Jul 1 2006, In : Automated Software Engineering. 13, 3, p. 345-371 27 p.

Research output: Contribution to journalArticle

Specifications
Testing
Software engineering
Inspection
Defects
2005

Checking inside the black box: Regression testing by comparing value spectra

Xie, T. & Notkin, D., Oct 1 2005, In : IEEE Transactions on Software Engineering. 31, 10, p. 869-883 15 p.

Research output: Contribution to journalArticle

Computer software maintenance
Testing
Experiments
2004
Object-oriented
Observer
Unit
Specifications
State Machine
Test Generation
Specification
Specifications
Likely
Feedback Loop
Pavements
Fatigue of materials
Damage
Fatigue
Pavement
2002

A model-based approach to object-oriented software metrics

Mei, H., Xie, T. & Yang, F., Nov 2002, In : Journal of Computer Science and Technology. 17, 6, p. 757-769 13 p.

Research output: Contribution to journalArticle

Software Metrics
Object-oriented
Model-based
Metric
Normalization
2000

Component metrics in Jade Bird Component Library System

Mei, H., Xie, T., Yuan, W. & Yang, F., May 2000, In : Ruan Jian Xue Bao/Journal of Software. 11, 5, p. 634-641 8 p.

Research output: Contribution to journalArticle

Birds
Computer software reusability
Metric system
Software engineering
Productivity

JBOOMT: Jade Bird Object-Oriented Metrics Tool

Xie, T., Yuan, W., Mei, H. & Yang, F., Apr 2000, In : Chinese Journal of Electronics. 9, 2, p. 202-207 6 p.

Research output: Contribution to journalArticle

Birds
Object-oriented
Software Metrics
Metric
Software