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

Educational software engineering: Where software engineering, education, and gaming meet

Xie, T., Tillmann, N., de Halleux, J. & Bishop, J., Jan 1 2015, Computer Games and Software Engineering. CRC Press, p. 113-132 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Engineering education
Software engineering
Engineering technology
Data mining
Education
2012

Advances on Improving Automation in Developer Testing

Xiao, X., Thummalapenta, S. & Xie, T., 2012, Advances in Computers. p. 165-212 48 p. (Advances in Computers; vol. 85).

Research output: Chapter in Book/Report/Conference proceedingChapter

Automation
Testing
Software engineering
Costs
2011

Mining API usage specifications via searching source code from the web

Thummalapenta, S., Xie, T. & Marri, M. R., Jan 1 2011, Mining Software Specifications: Methodologies and Applications. CRC Press, p. 357-375 19 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Application programming interfaces (API)
Software engineering
Specifications
Websites

Static API specification mining: Exploiting source code model checking

Acharya, M. & Xie, T., Jan 1 2011, Mining Software Specifications: Methodologies and Applications. CRC Press, p. 113-158 46 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Model checking
Application programming interfaces (API)
Specifications
Computer systems
Software reliability
2010

Model-driven impact analysis of software product lines

Cho, H., Gray, J., Cai, Y., Wong, S. & Xie, T., Dec 1 2010, Model-Driven Domain Analysis and Software Development: Architectures and Functions. IGI Global, p. 275-303 29 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Software engineering
Software testing
Engineers