Automated Software Engineering Research Group                       

[News]   [People]   [Projects]   [Publications]  [Related NCSU Groups]  [Related Non-NCSU Groups]
   [Blog]   [Wiki]  [Meeting]  [Calendar]  [Labbook Log]  [Research Summary]   [Server]  [Pictures]

new Our NCSU ASE group has a group blog, and REU blog!    

The NCSU ASE Research group develops automated techniques and tools for software testing and verification, and software development by exploiting dynamic analysis, static analysis, constraint solving, theorem proving, model checking, data mining, machine learning, and software visualization.

Current funding: NSF SoD (3 yrs), NSF CyberTrust (3 yrs), NSF CSR (1 yr), Microsoft Research (gift), ABB Research (gift, gift)
Past funding: ARO STIR (9 mons), CACC (1 yr, 1 yr), NCSU FRPD (1 yr)
Funded projects:
     Improving Software Productivity and Quality via Mining Program Source Code funded by NSF CSR, ARO STIR
      Software Testing and Analysis for Software Evolution funded by NSF SoD
      Testing and Verification of Security Policies funded by NSF CyberTrust

cose

Group News

08/22/08: TSP 2008 accepted a conference paper by Tao Xie
08/18/08: ACSAC 2008 accepted a conference paper by Evan Martin and JeeHyun Hwang (24%)
07/24/08: ISSRE 2008 accepted a conference paper by Prasanth Anbalagan (25%)
06/24/08: ICWS 2008 Industry accepted a conference paper by Tao Xie (18%)
06/20/08: SRDS 2008 accepted a conference paper by JeeHyun Hwang (25%)
06/08/08: ASE 2008 accepted a conference paper by Suresh Thummalapenta (12%)
06/08/08: ASE 2008 accepted a conference paper by Kobina Inkumsah (12%)
06/08/08: ASE 2008 accepted a conference short paper by Kunal Taneja (25%)
05/24/08: ICSM 2008 accepted a conference paper by Tao Xie (26%)
05/24/08: TAV-WEB 2008 accepted a workshop paper by Nuo Li and JeeHyun Hwang 
05/14/08: IBM accepted summer internship application from Yoonki Song
05/06/08: WODA 2008 accepted a workshop paper by Tao Xie 
05/02/08: SSEAT 2008 accepted a workshop paper by Tao Xie 
04/28/08: Group REU blog  is born and the REU project web on mining SE data is up
04/24/08: ABB Research accepted summer internship application by Nuo Li
04/21/08: Google Summer of Code accepted applications from Mithun Acharya, Yoonki Song and Huinan Zhang
04/14/08: ABB Research accepted summer internship application by JeeHyun Hwang 
04/01/08: IBM Research accepted summer internship application by Kunal Taneja
03/10/08: ISSTA 2008 student poster session accepted a submission by Suresh Thummalapenta
03/27/08: Kobina Inkumsah successfully defended his master thesis
03/20/08: NEC Labs accepted summer internship application by Suresh Thummalapenta
03/20/08: University Outstanding Graduate Teaching Assistant Awards Nominations include Suresh Thummalapenta
02/12/08: MSR 2008 accepted a conference position paper Suresh Thummalapenta
02/01/08: SIGMETRICS 2008 accepted a conference paper by JeeHyun Hwang
01/31/08: NSFNGS 2008 accepted a workshop paper by Mithun Acharya, Suresh Thummalapenta, and Kunal Taneja
12/20/07: TOSEM accepted a journal paper by Tao Xie
12/12/07: ICSE 2008 Tutorial accepted a tutorial proposal by Tao Xie
12/11/07: ICSE 2008 accepted a conference paper by Tao Xie (15%)
10/21/07: Yoonki Song and Suresh Thummalapenta win the ETX 2007 Best Student Paper Award
     09/07: NSF SoD (3 yrs)
09/21/07: Suresh Thummalapenta receives ASE research gold award for Spring/Summer 2007
09/21/07: Evan Martin and Mithun Acharya receive ASE research silver awards for Spring/Summer 2007
09/21/07: Evan Martin serves as Program Co-Chair of 2008 Symposium for Graduate Research (SGR)
09/07/07: ETX 2007 accepted a workshop paper by Yoonki Song and Suresh Thummalapenta
09/01/07: ACM SIGSOFT SEN 2007 July issue recommended our web sites in three places!!!
08/14/07: ICDM 2007 accepted a tutorial by Tao Xie (33%)
08/10/07: ASE 2007 accepted a conference paper by Suresh Thummalapenta (12%)
08/10/07: ASE 2007 accepted a conference short paper by Kunal Taneja (25%)
08/10/07: ASE 2007 accepted a conference short paper by Kobina Inkumsah (25%)
08/10/07: ASE 2007 accepted a conference short paper by Tao Xie  (25%)
08/03/07: ACM SIGPLAN SRC 07 held at OOPSLA 07 accepted a submission by Suresh Thummalapenta
     08/07: NSF CyberTrust (3 yrs)
     07/07: NSF CSR (1 yr)
     07/07: Microsoft Research (gift)
07/13/07: TISQA 2007 accepted a conference presentation by Tao Xie  
06/28/07: Verify 2007 accepted a conference presentation by Tao Xie  
06/01/07: ICSM 2007 accepted a conference paper by  Tao Xie (21%)
     06/07: ARO STIR (9 mons)
05/31/07: ESEC/FSE 2007 accepted a conference paper by Mithun Acharya (17%)
05/08/07: ABB Research accepted summer internship application by JeeHyun Hwang 
04/27/07: ICWS 2007 Industry track accepted a conference paper by Evan Martin and Suranjana Basu
04/23/07: University Outstanding Graduate Teaching Assistant Awards Nominations include Mithun Acharya and Kunal Taneja
04/18/07: IWSSE 2007 accepted a workshop paper by Evan Martin and JeeHyun Hwang 
04/05/07: RCOST accepted summer internship application by Suresh Thummalapenta
03/19/07: Avaya Labs Research accepted summer internship application by Kunal Taneja
02/26/07: Microsoft Center of Software Excellence accepted summer internship application by Mithun Acharya
02/22/07: AST 2007 accepted a workshop paper by Kunal Taneja
02/21/07: SESS 2007 accepted a workshop paper by Evan Martin
02/02/07: WTAOP 2007 accepted a workshop paper by Tao Xie  
01/26/07: WWW 2007 accepted a conference paper by Evan Martin (14%)
01/16/07: ICSE 2007 Doctorial Symposium accepted a submission by Evan Martin (23%)
12/18/06: ICSE 2007 Tutorial accepted a tutorial proposal by Tao Xie  
12/15/06: ICSE 2007 accepted a conference paper by Prasanth Anbalagan (15%)
12/12/06: ICSE 2007 Research Demo accepted a demo paper by Evan Martin and Suranjana Basu (50%)
11/22/06: NCSU Undergrad Research Awards Program  accepted an application by John Cosgrove Stille
10/23/06: All Mithun Acharya, Prasanth Anbalagan, and Evan Martin entered semifinal of ACM SIGPLAN SRC 06 held at OOPSLA 06 (6 out of 11 participants entered semifinal)
10/02/06: FSE 2006 Inspiration accepted an application by Prasanth Anbalagan 
10/01/06: SOAWS 2006 accepted a workshop paper by Evan Martin and Suranjana Basu 
09/20/06: FSE 2006 Doctorial Symposium accepted a submission by Mithun Acharya 
09/18/06: FSE 2006 Poster accepted a poster paper by Prasanth Anbalagan
09/18/06: MUTATION 2006 accepted a workshop paper by Prasanth Anbalagan
09/15/06: ICICS 2006 accepted a conference paper by Evan Martin (18%)
09/05/06: ISSRE 2006 Fast Abstract accepted a fast abstract by Evan Martin
     08/06: ABB Research (gift)
07/25/06: ACM SIGPLAN SRC 06 held at OOPSLA 06 accepted submissions by Mithun Acharya, Prasanth Anbalagan, and Evan Martin
07/01/06: ISSRE 2006 accepted a conference paper by Mithun Acharya (34%)
07/01/06: ISSRE 2006 accepted a conference paper by  Tao Xie  (34%)
06/01/06: ICSM 2006 Dissertation Forum accepted a submission by  Tao Xie
05/20/06: ASE 2006  accepted a conference short paper by Mithun Acharya (28%)
05/20/06: ASE 2006 accepted a conference paper by  Tao Xie  (18%)
04/28/06: DSN 2006 Student Forum accepted a submission by Mithun Acharya 
04/27/06: WTAOP 2006 accepted a workshop paper by Prasanth Anbalagan 
04/27/06: WTAOP 2006 accepted a workshop paper by Tao Xie
04/19/06: KDD 2006 accepted a tutorial by  Tao Xie
     04/06: CACC (1 yr)
     04/06: CACC (1 yr)
03/06/06: IBM Research accepted summer internship application by Mithun Acharya
03/02/06: POLICY 2006 accepted a workshop paper by Evan Martin
03/01/06: MSR 2006 accepted a workshop paper by Tao Xie
03/01/06: AST 2006 accepted a workshop paper by Hai Yuan
     02/06: ABB Research (gift)
     02/06: NCSU FRPD (1 yr)
02/23/06: NCSU Graduate Student Research Symposium 2006 accepted a submission by Mithun Acharya
02/18/06: ECOOP 2006 accepted a conference paper by  Tao Xie  (13%)
01/10/06: ICSE 2006 Research Demo accepted a demo paper by Evan Martin and  Hai Yuan (45%)
12/22/05: ICSE 2006 Emerging Results Track accepted a short paper by Evan Martin (34%)
11/29/05: AOSD 2006  accepted a conference paper by  Tao Xie  (21%)
10/17/05: RETR 2005 accepted a workshop paper by Hai Yuan
08/02/05: ISSRE 2005 accepted a conference paper by  Tao Xie  (33%)

People

The NCSU ASE research group is looking for bright, motivated (undergrad or grad) students and other colleagues to work on research projects related to automated software engineering.

    Principal Investigator

    Visiting Professor     Ph.D. Students         Undergraduate Students (NCSU ASE REU Blog)
Affiliated members who may participate in ASE group meetings or group research activities:
Past students: M.S.
 Others
If you would like to work with him, please read his FAQs by students. To get a quick start on research, you can read his advice on getting a start into research, his advice on writing research papers, and the overview of his past and current research. You can read introductory readings of software testing research. You can also join his weekly research group meeting.

Group mailing list: managing your subscription 
Group wiki

Research Projects

Funded projects:
     Improving Software Productivity and Quality via Mining Program Source Code funded by NSF CSR, ARO STIR
      Software Testing and Analysis for Software Evolution funded by NSF SoD
      Testing and Verification of Security Policies funded by NSF CyberTrust
Research Themes Research Subareas

Released Tools: Stabilizer  Jov  Jusc  Romant

Group Blog

Group Wiki

Group Meeting 

Group Calendar

Group Labbook Log

Group Member Research Summary

Group Server

Group Pictures

Related NCSU Centers/Groups

Related Non-NCSU Groups

 

Maintained by