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

Internet
Big data
Railroad cars
Engines
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

Metric system
Metric unit
Engineers
Monitoring
Mining
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

Access control
2005

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

Symbolic Execution
Object-oriented
Unit
Test Generation
Framework
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

Reverse engineering
Birds
Knowledge representation
User interfaces
Compaction