Saturday, January 29, 2011

A New Post on "Student Advising + Critical Skills for Research/Career Development "

Student Advising + Critical Skills for Research/Career Development

Congratulations to Xusheng Xiao for his ICSE 2011 Research Track Paper, Demo Paper, and ACM Student Research Competition Paper

Congratulations to Xusheng Xiao for his ICSE 2011 Research Track Paper, Demo Paper, and ACM Student Research Competition Paper!!! A great turnout at ICSE 2011 as a second-year PhD student!

[ICSE 11] Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. Precise Identification of Problems for Structural Test Generation. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Honolulu, Hawaii, May 2011. [BibTeX]

[ICSE 11 DE] Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. Covana: Precise Identification of Problems in Pex. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Demonstration, Honolulu, Hawaii, May 2011. [BibTeX]

[ICSE 11 SRC] Xusheng Xiao. Problem Identification for Structural Test Generation: First Step Towards Cooperative Developer Testing. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), ACM Student Research Competition (SRC), Honolulu, Hawaii, May 2011. [PDF] [BibTex]

Congratulations to Xusheng Xiao, Xi Ge, and Kunal Taneja for 2*ICSE 2011 Demos

Out of 60 submissions, the Demonstration Track for ICSE 2011 accepted 22 submissions. Congratulations to Xusheng Xiao, Xi Ge, and Kunal Taneja for 2*ICSE 2011 Demos!

[ICSE 11 DE] Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. Covana: Precise Identification of Problems in Pex. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Demonstration, Honolulu, Hawaii, May 2011. [BibTeX]

[ICSE 11 DE] Xi Ge, Kunal Taneja, Tao Xie, and Nikolai Tillmann. DyTa: Dynamic Symbolic Execution Guided with Static Verification Results. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Demonstration, Honolulu, Hawaii, May 2011. [BibTeX]

Xie Named IEEE Computer Society Distinguished Visitor

NCSU CSC Dept News

Dr. Tao Xie, associate professor of computer science at NC State University, has been named an IEEE Computer Society Distinguished Visitor for 2011-2013.
The IEEE Computer Society Distinguished Visitors Program (DVP) was initiated in 1971 by Dr. Stephen Yau. It is a popular offering of first quality speakers serving IEEE Computer Society professional and student chapters. The DVP owes its success to the many volunteers and staff members of the Computer Society who generously contribute their time and talent.

Speakers are selected by the DVP Committee, and are recognized authorities in their respective fields. They must be members of the Computer Society, and offer topics of interest to the general membership.

For more information on the Distinguished Visitor Program, click here.

To view Dr. Xie's entry in the Distinguished Visitor Program, click here.

Saturday, January 8, 2011

Two FASE 2011 papers are online

Suresh Thummalapenta, Madhuri Marri, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. Retrofitting Unit Tests for Parameterized Unit Testing. In Proceedings of International Conference on Fundamental Approaches to Software Engineering (FASE 2011), Saarbrücken, Germany, March-April 2011.
Download: [BibTeX][PDF]

Lin Shi, Hao Zhong, Tao Xie, and Mingshu Li. An Empirical Study on Evolution of API Documentation. In Proceedings of International Conference on Fundamental Approaches to Software Engineering (FASE 2011), Saarbrücken, Germany, March-April 2011.
Download: [BibTeX][PDF]

More Publications