Tao Xie

Willett Faculty Scholar in Computer Science

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference article
2017

CarStream: An industrial system of big data processing for Internet-of-Vehicles

Zhang, M., Wo, T., Xie, T., Lin, X. & Liu, Y., Aug 1 2017, In : Proceedings of the VLDB Endowment. 10, 12, p. 1766-1777 12 p.

Research output: Contribution to journalConference article

2012

Performance issue diagnosis for online service systems

Fu, Q., Lou, J. G., Lin, Q. W., Ding, R., Zhang, D., Ye, Z. & Xie, T., Dec 1 2012, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 273-278 6 p., 6424866.

Research output: Contribution to journalConference article

2008

Assessing quality of policy properties in verification of access control policies

Martin, E., Hwang, J. H., Xie, T. & Hu, V., Dec 1 2008, In : Proceedings - Annual Computer Security Applications Conference, ACSAC. p. 163-172 10 p., 4721554.

Research output: Contribution to journalConference article

2005

Helping users avoid bugs in GUI applications

Michail, A. & Xie, T., Dec 1 2005, In : Proceedings - International Conference on Software Engineering. 2005, p. 107-116 10 p., 1553553.

Research output: Contribution to journalConference article

Symstra: A framework for generating object-oriented unit tests using symbolic execution

Xie, T., Marinov, D., Schulte, W. & Notkin, D., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 365-381 17 p.

Research output: Contribution to journalConference article

2001

JBOORET: An automated tool to recover OO design and source models

Mei, H., Xie, T. & Yang, F., Jan 1 2001, In : Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. p. 71-76 6 p.

Research output: Contribution to journalConference article