Kunal Taneja, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux.
eXpress: Guided Path Exploration for Efficient Regression Test Generation.
In Proceedings of the 2011 International Symposium on Software Testing and Analysis
(ISSTA 2011), Toronto, Canada, July 2011. Acceptance ratio: 29% (35/121)
Download: [BibTeX]
[Project Web]
Awesome Illinois ASE Grpup
Thursday, April 14, 2011
Thursday, April 7, 2011
Xiao Selected for Cascadia Innovation Fellowship
http://www.csc.ncsu.edu/news/1138
Xusheng Xiao, a doctoral student in the NC State Department of Computer Science, has been selected one of 10 recipients of the Cascadia Innovation Fellowship. Xiao was selected out of 20 finalists and almost 300 applicants from colleges in the U.S. and Canada.
The Cascadia Innovation Fellowship connects world-class computer science and engineering students with some of Seattle’s top technology startups. The paid summer internships and $5,000 scholarships are a small part of the rich experience the Fellowship will create for the participants. The Seattle technology community will support the fellows and provide them with networking, education, and insights that will benefit them as they finish school and well beyond into their career.
Xiao is advised by Dr. Tao Xie.
For more information on the Cascadia Innovation Fellowship, click here.
For more information on Xusheng Xiao, click here.
Xusheng Xiao, a doctoral student in the NC State Department of Computer Science, has been selected one of 10 recipients of the Cascadia Innovation Fellowship. Xiao was selected out of 20 finalists and almost 300 applicants from colleges in the U.S. and Canada.
The Cascadia Innovation Fellowship connects world-class computer science and engineering students with some of Seattle’s top technology startups. The paid summer internships and $5,000 scholarships are a small part of the rich experience the Fellowship will create for the participants. The Seattle technology community will support the fellows and provide them with networking, education, and insights that will benefit them as they finish school and well beyond into their career.
Xiao is advised by Dr. Tao Xie.
For more information on the Cascadia Innovation Fellowship, click here.
For more information on Xusheng Xiao, click here.
Hwang and Xiao Finalists in National Security Competition
http://www.csc.ncsu.edu/news/1141
Congratulations to NC State Computer Science PhD students JeeHyun Hwang and Xusheng Xiao for being selected as finalists for the Fifth Annual National Security Innovation Competition (NSIC) at the United States Air Force Academy in Colorado Springs, CO on April 29, 2011.
Their project, “Construction and Validation of Access Control Policies via Natural Language Processing and Policy Verification,” is one of 10 out of 25 that were assessed by a set of over 40 first-round peer-review judges who are scientists and technologists with industry and government.
The 10 finalists must prepare a project-briefing poster, and will have 30 minutes to present their projects (20 minutes for the presentation, five minutes for questions and answers, and five minutes for judges to record scores and notes). The top three projects will be chosen and prizes awarded as follows: first place - $10,000 scholarship; second place - $5,000 scholarship; and third place - $2,500 scholarship.
The purpose of the NSIC is to stimulate college student interest to address national security problem solving by exposing their university-sponsored projects to a broad audience including industry, academic, and government organizations involved in aerospace, defense, security, and first responder activities.
Hwang and Xiao are advised by Dr. Tao Xie.
For more information on the NSIC competition, click here.
For more information on Hwang, click here.
For more information on Xiao, click here.
Congratulations to NC State Computer Science PhD students JeeHyun Hwang and Xusheng Xiao for being selected as finalists for the Fifth Annual National Security Innovation Competition (NSIC) at the United States Air Force Academy in Colorado Springs, CO on April 29, 2011.
Their project, “Construction and Validation of Access Control Policies via Natural Language Processing and Policy Verification,” is one of 10 out of 25 that were assessed by a set of over 40 first-round peer-review judges who are scientists and technologists with industry and government.
The 10 finalists must prepare a project-briefing poster, and will have 30 minutes to present their projects (20 minutes for the presentation, five minutes for questions and answers, and five minutes for judges to record scores and notes). The top three projects will be chosen and prizes awarded as follows: first place - $10,000 scholarship; second place - $5,000 scholarship; and third place - $2,500 scholarship.
The purpose of the NSIC is to stimulate college student interest to address national security problem solving by exposing their university-sponsored projects to a broad audience including industry, academic, and government organizations involved in aerospace, defense, security, and first responder activities.
Hwang and Xiao are advised by Dr. Tao Xie.
For more information on the NSIC competition, click here.
For more information on Hwang, click here.
For more information on Xiao, click here.
Gorham Selected to Attend Richard Tapia Conference
http://www.csc.ncsu.edu/news/1134
Justin Gorham, a doctoral student in the NC State Department of Computer Science, has been sponsored for participation in the 2011 Richard Tapia Celebration of Diversity Conference (Tapia Conference) to be held on April 3-5, 2011 in San Francisco, CA. Through the Tapia Conference Scholarship Program, he has received a scholarship to cover conference registration, hotel, and travel expenses.
On April 2 immediately preceding the Tapia 2011 Conference, Gorham will participate in the Doctoral Consortium, a one-day workshop that will provide an opportunity for PhD students to discuss and explore their research interests and career objectives with a panel of established researchers in computing and in computational mathematics, science and engineering.
At the Tapia 2011 Doctoral Consortium, Gorham will present his PhD research on "Recovering Configuration Information for Configurable Systems via Symbolic Execution".
Gorham is advised by Dr. Tao Xie.
For more information on the Tapia 2011 Conference, click here.
For more information on Justin Gorham, click here.
Justin Gorham, a doctoral student in the NC State Department of Computer Science, has been sponsored for participation in the 2011 Richard Tapia Celebration of Diversity Conference (Tapia Conference) to be held on April 3-5, 2011 in San Francisco, CA. Through the Tapia Conference Scholarship Program, he has received a scholarship to cover conference registration, hotel, and travel expenses.
On April 2 immediately preceding the Tapia 2011 Conference, Gorham will participate in the Doctoral Consortium, a one-day workshop that will provide an opportunity for PhD students to discuss and explore their research interests and career objectives with a panel of established researchers in computing and in computational mathematics, science and engineering.
At the Tapia 2011 Doctoral Consortium, Gorham will present his PhD research on "Recovering Configuration Information for Configurable Systems via Symbolic Execution".
Gorham is advised by Dr. Tao Xie.
For more information on the Tapia 2011 Conference, click here.
For more information on Justin Gorham, click here.
Xie Named ACM Distinguished Speaker
http://www.csc.ncsu.edu/news/1130
Dr. Tao Xie, associate professor of computer science at NC State University, has been named an Association for Computing Machinery (ACM) Distinguished Speaker.
The ACM Distinguished Speaker Program (DSP) is an outreach program of ACM that brings distinguished speakers from academia, industry, and government to give presentations to ACM chapters, members, and the greater IT community in a variety of venues and formats. DSP has always operated in the spirit of service and outreach. Its goals are to provide some of the best content ACM has to offer through its network of high quality speakers and to facilitate professional networking.
The DSP Committee votes on the acceptability of a nominated speaker based on his or her CV and most recent three years' talks/speeches/short courses/presentations. Additionally, speakers must have a minimum of five years experience (either in academia or industry or a combination of both).
For more information on the Distinguished Speaker Program, click here.
To view Dr. Xie's entry in the Distinguished Speaker Program, click here.
For more information on Dr. Xie, click here.
Dr. Tao Xie, associate professor of computer science at NC State University, has been named an Association for Computing Machinery (ACM) Distinguished Speaker.
The ACM Distinguished Speaker Program (DSP) is an outreach program of ACM that brings distinguished speakers from academia, industry, and government to give presentations to ACM chapters, members, and the greater IT community in a variety of venues and formats. DSP has always operated in the spirit of service and outreach. Its goals are to provide some of the best content ACM has to offer through its network of high quality speakers and to facilitate professional networking.
The DSP Committee votes on the acceptability of a nominated speaker based on his or her CV and most recent three years' talks/speeches/short courses/presentations. Additionally, speakers must have a minimum of five years experience (either in academia or industry or a combination of both).
For more information on the Distinguished Speaker Program, click here.
To view Dr. Xie's entry in the Distinguished Speaker Program, click here.
For more information on Dr. Xie, click here.
Congratulations to Hao Zhong and Suresh Thummalapenta for their respective articles accepted in ASEJ - A special issue of selected papers of ASE 09
Hao Zhong, Lu Zhang, Tao Xie, and Hong Mei. Inferring Specifications for Resources from Natural Language API Documentation. Automated Software Engineering Journal, 2011. A special issue of selected papers from the ASE 2009 conference.
A previous version appeared in Proceedings of ASE 2009. Received the Best Paper Award and ACM SIGSOFT Distinguished Paper Award.
Suresh Thummalapenta and Tao Xie. Alattin: Mining Alternative Patterns for Defect Detection. Automated Software Engineering Journal, 2011. A special issue of selected papers from the ASE 2009 conference.
A previous version appeared in Proceedings of ASE 2009.
A previous version appeared in Proceedings of ASE 2009. Received the Best Paper Award and ACM SIGSOFT Distinguished Paper Award.
Suresh Thummalapenta and Tao Xie. Alattin: Mining Alternative Patterns for Defect Detection. Automated Software Engineering Journal, 2011. A special issue of selected papers from the ASE 2009 conference.
A previous version appeared in Proceedings of ASE 2009.
Subscribe to:
Posts (Atom)