Time:
3:30-5:00pm
Location: EBII 3265
Schedule:
- Jan 9: A group debriefing by Tao Xie
- Jan 16: Nuo presented "Marco Cova, Vika Felmetsger,
Davide Balzarotti, Nenad Jovanovic, Christopher Kruegel, Engin Kirda, Giovanni
Vigna.
Saner: Composing Static and Dynamic Analysis to Validate Sanitization inWeb
Applications, IEEE Symposium on Security and Privacy, 2008"
- Jan 23: Kunal presented "M. d'Amorim, S. Lauterburg,
and D. Marinov.
Delta execution for efficient state-space exploration of object-oriented
programs, IEEE Transactions on Software Engineering (IEEE TSE),
34(5):597-613, September/October 2008"
- Jan 30: Reading group for ISSTA'09 submissions of Suresh
and Nuo.
- Feb 6: Beauty Contest (Kunal, Yoonki, Nuo, and
Madhuri)
- Feb 13: Beauty Contest (JeeHyun and Suresh)
- Feb 20: Madhuri presented "George
Kofi Baah, Andy Podgurski, Mary Jean Harrold .
The Probabilistic Program Dependence Graph and Its Application to Fault
Diagnosis. International Symposium
on Software Testing and Analysis (ISSTA 2008), Seattle, Washington, July 2008,
pp. 189-200."
- Feb 27: Suresh presented "Dagenais, B. and Ossher, H.
Automatically locating
framework extension examples. FSE08.".
- March 6: Spring break
- March 13: Reading group for the FSE submissions
- March 20: Mithun's FASE 2009 practice talk.
- March 27: Workshop given by PC committee members
- April 3: Small reading group
- 1. Identifying Bug Signatures Using Discriminative Graph Mining: Suresh
2. Path slicing per object for better testing, debugging, and usage discovery:
Kunal
3. Fault localization and repair for Java Runtime exceptions: Madhuri
4. Advanced code coverage using substring holes: Nuo. - Apirl 10: Easter holiday
- Apirl 17: Beauty Contest
- Apirl 24: JeeHyun
2008 Fall Group
Meetings
Time: Fridays
3:30pm-5:00pm
Location: EBII 2216 (except for Aug 22 and Sept 5, when the group
meetings will be held at EBII 3265)
Schedule:
- Dec.5: Reading group for ICSE New Ideas and
Emerging Results Track (Kunal, Suresh, Huinan)
- Nov.28: Thanks giving break
- Nov.21: Suresh: Feedback Directed
Fuzz-Testing for Learning Inputs of Coma
- Nov.14: Nuo: Test Python programs with Pex
- Nov.7: Kunal:
Presentation of summer internship work
- Oct.31: Dr. Xie: Programming on Pex
- Oct.24: IBM Day
- Oct.17: Mithun
- Oct.10: Fall break
- Oct.3: Prof. Han: Introduction about the
research in his lab at KAIST, Korea (http://cs.kaist.ac.kr/english/)
- Sept.26: JeeHyun:
SRDS'08 practice talk
- Sept.19: Qualifying Exam practice talk
- Sept. 12: Suresh: ASE'08 practice talk
- Sept. 5: Madhuri
and JeeHyun: Presentation of summer
internship work
- Aug. 29: Huinan
and Yoonki: Presentation of summer
internship work
- Aug. 22: (Slides)
led by Dr. Xie on round-table meetings (EBII
3265): welcome new students, summer debriefing, group research
agenda, individual research agenda, ICSE 09 deadlines, prelim
exam/defense arrangement, research development process, role assignment,
research award competition, etc.
Suggested Candidate Papers:
- From Uncertainty to Belief: Inferring the Specification Within, Ted Kremenek, Paul Twohey, Godmar Back, Andrew Ng, Dawson
Engler. In Proceedings of the 7th Symposium on Operating System Design
and Implementation, 2006. [PDF] Suggested by Mithun
- The Chaining Approach for Software Test
Data Generation. Roger Ferguson and Bogdan Korel. ACM Trans. Softw. Eng. Methodol. 5(1): 63-86 (1996) [PDF] suggested by Kobi
- A Candidate Fault Model for AspectJ Pointcuts. Jon Baekken and Roger Alexander. In ISSRE 06 [PDF] suggested by Prasanth
- Search-Based Determination of Refactorings for
Improving the Class Structure of Object-Oriented Systems. Olaf Seng,
Johannes Stammel and David Burkhart. In GECCO 06. [PDF] suggested by Kunal
- On automated grading of programming assignments in an academic institution. Computers & Education 2003. [PDF] suggested by Amos
- Developing and Assuring Trustworthy Web Services. ISADS 05. [PDF] suggested by Suranjana
- Matching Across Program Versions by
Inferring Change Rules. Miryung Kim, David Notkin, Dan Grossman. Submitted for publication, September 2006. [PDF]
- HDD:
Hierarchical Delta Debugging. Ghassan Misherghi and Zhendong Su.
In Proceedings of ICSE'06, Shanghai, China, May 20-28, 2006 [PDF]
- Automated
Detection of Refactorings in Evolving Components. Danny Dig, Can Comertoglu, Darko Marinov, and
Ralph Johnson.In
Proceedings of European Conference on OO Programming
(ECOOP'06), Nantes, France. [PDF]
- Exploiting Traces in Program Analysis.
Alex Groce and Rajeev Joshi. "Exploiting Traces in Program Analysis." Accepted for publication in Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Vienna, Austria, March-April 2006. [PDF]
- Magiel
Bruntink, Arie van Deursen, Tom Tourwé: Discovering faults in
idiom-based exception handling. In Proceedings of ICSE'06, pp.
242-251, Shanghai, China, May 20-28, 2006. [PDF]
Thursdays Weekly
Student Meeting Time Slots
1:30pm - 2:00pm
Yoonki Song
2:00pm - 2:30pm
Madhuri R Marri
2:30pm - 3:00pm
Nuo Li
3:00pm - 3:30pm
JeeHyun Hwang
3:30pm - 4:00pm Drop-by hour
4:00pm - 4:30pm
Mithun Acharya
4:30pm - 5:00pm
Suresh Thummalapenta
5:00pm - 5:30pm
Kunal Taneja
5:30pm - 6:00pm
Huinan Zhang
Fridays Weekly Student
Meeting Time Slots
3:30pm-5:00pm:
Weekly group meeting
5:00pm-6:00pm: Drop-by office hours
Time constraint:
Yoonki : no
constraint
Madhuri : no constraint
Nuo : no constraint
JeeHyun : except one class on Thursday from
3:50PM to 5:05PM
Mithun : prefer Thursday 4pm
Suresh : except one class on Thursday from 5:20PM to 6:35PM
Kunal : prefer Thursday 5pm
2008 Spring Group Meetings
Time: Fridays 3:30pm-5:00pm
Location: EBII 2216
Schedule: Apr
18: (Mithun)
- Apr 25: (Dr. Xie) will lead a discussion.
- Apr 18: (Mithun) will take a presentation.
- Apr 11: (Nuo) will take a presentation.
- Apr 4 : (Yoonki) will present his recent work.
- Mar 28 : (JeeHyun) will present a paper (about policies in code).
- Mar 21 : The meeting is cancelled due to Spring Holiday.
- Mar 14 : (Mithun) will present his recent work.
- Mar 7 : The meeting is cancelled.
- Feb 29 : (Nuo) will present her work in progress.
- Feb 22 : (Suresh) will give a presentation.
- Feb 15 : The meeting is canceled.
- Feb 8 : (Kunal & Mithun & Jeehyun & Yoonki) give a tool demo.
- Feb 1 : (Kobi & Suresh) give a tool demo.
- Jan 25: (Kunal) presents the paper submitted for ECOOP 2008.
- Jan 18: (JeeHyun) presents the work in progress, "Detection
of Multiple-Duty-Related Security Leakage in Access Control Policies".
- Jan 11: Debriefing; Dr. Tao Xie will lead discussion (slides).
2007 Fall Group Meetings
Time: Fridays 3:30pm-5:00pm
Location: EBII 3265
Schedule:
- Dec 14: (Note that the meeting will be from 4:10pm-5pm)
Dr. Tao Xie will do research debriefing.
- Dec 7: (Nuo) presents the work in progress.
- Nov 30: (Mithun)
Finding neglected condition bugs Suggested by Mithun
Related papers
[1] NEGWeb: Static Defect Detection via Searching Billions of Lines of
Open Source Code [PDF],
Suresh Thummalapenta, Tao Xie, North Carolina State University Department of
Computer Science Technical report TR-2007-24, September 16, 2007.
[2] Finding What's Not There: A New Approach to Revealing Neglected
Conditions in Software [PDF],
Ray-Yaung Chang, Andy Podgurski and Jiong Yang, In
Proceedings of the 2007 international symposium on Software testing and
analysis (ISSTA
2007), London, United Kingdom,
July 2007
[3] Static Specification Inference Using Predicate Mining [PDF],
Murali Krishna Ramanathan, Ananth Grama and Suresh Jagannathan, In
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design
and implementation (PLDI 2007),
San Diego, California, USA, June 2007
- Nov 23: Happy Thanksgiving day!!
- Nov 16: (Yoonki & Dr. Xie)
Static Analysis for Java in Eclipse [PDF]
Suggested by Yoonki
Robert Fuhrer.
In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI
2005), Tutorials, Chicago, IL, USA, June
2005.
- Nov 9: Talk and brainstorm about individual projects.
- Nov 2: (Suresh) ASE practice talk
PARSEWeb: A Programmer Assistant for Reusing Open Source Code on the Web [PDF]
Suresh Thummalapenta and Tao Xie.
In Proceedings
of the 22nd IEEE/ACM International Conference on Automated Software Engineering
(ASE 2007), Atlanta, Georgia, November 2007.
- Oct 26: (Evan) presents a research project out of IBM called IMP (formerly known
as Safari) [LINK1][LINK2]
- Oct 19: (Kobi & Suresh) Suresh will give a SRC practice talk for first 15
mins.
Kobi will present the paper as follows,
The species per path approach to SearchBased test data generation [PDF]
Phil McMinn, Mark Harman, David Binkley,and Paolo Tonella. In Proceedings of the International
Symposium on Software Testing and Analysis (ISSTA
2006), Portland, ME, USA, July
2006.
- Oct 12: Fall Break
- Oct 5: (Suresh) SRC/ETX practice talk
Exploiting Code Search Engines to Improve Programmer Productivity [PDF]
Suresh Thummalapenta. In Proceedings
of the Annual ACM SIGPLAN International Conference on Object-Oriented
Programming, Systems, Languages, and Applications (OOPSLA 2007), ACM SIGPLAN
Student Research Competition, (OOPLSA/SRC 2007),
Montreal, Canada, October 2007.
UnitPlus: Assisting Developer Testing in Eclipse [PDF]
Yoonki Song, Suresh Thummalapenta,and Tao Xie. In Proceedings of the Eclipse
Technology eXchange Workshop at OOPSLA 2007, (ETX 2007), Montreal, Canada, October 2007
- Sept 28: (Kunal)
MaTRIX: Maintenance-oriented Testing Requirement Identifier and
Examiner [PDF]
Suggested by Kunal
T. Apiwattanapong, R. Santelices, P.K. Chittimalli, A. Orso, and M.J. Harrold.
In proceedings of the Testing: Academic and Industrial Conference, Windsor, UK. August 2006.
- Sept 21: (Nuo)
Web Application Model Recovery for User Input Validation Testing [PDF]
Nuo Li, Ji Wu, Mao-zhong Jin, Chao Liu. In Proceedings
of the 2nd International Conference on Software Engineering Advances, (ICSEA 2007), Cap Esterel, French Riviera, France, August, 2007.
- Sept 14: Cancelled
- Sept 7: (JeeHyun)
Scalable and Effective Test Generation for
Access Control Systems that Employ RBAC Policies [PDF] Suggested by JeeHyun
Ammar Masood, Arif Ghafoor, Aditya Mathur.
Technical Report, SERC-TR-285,2005
- Aug 31: (Mithun) FSE practice talk
Mining API Patterns as Partial Orders from Source Code: From Usage
Scenarios to Specifications [PDF]
Mithun Acharya, Tao Xie, Jian Pei, and Jun Xu. In Proceedings
of the 6th joint meeting of the European Software Engineering
Conference and the ACM SIGSOFT Symposium on the Foundations of Software
Engineering, (ESEC/FSE 2007), Dubrovnik, Croatia, September, 2007.
- Aug 17: Debriefing; Dr. Tao Xie will lead discussion
Thursdays Weekly Student Meeting Time Slots
1:30pm-2:00pm:
Nuo
2:00pm-2:30pm:
JeeHyun
2:30pm-3:00pm:
Kunal
3:00pm-3:30pm: Drop-by office hours
3:30pm-4:00pm: Suresh
4:00pm-4:30pm:
Mithun
4:30pm-5:30pm: Drop-by office hours
5:30pm-6:00pm:
Kobi
Fridays Weekly Student Meeting Time Slots
3:30pm-5:00pm:
Weekly group meeting
5:00pm-5:30pm: Evan
5:30pm-6:00pm: Drop-by office hours
Time constraint:
Kunal : ok after 1:30 PM
JeeHyun : not 02:30PM - 04:45PM
Suresh: ok 02:15PM - 05:00PM
Mithun: prefer 4:00PM - 4:30PM
Evan : prefer after group meeting on Friday
Kobi : ok after 5PM (preferably 5:30P)
2006 Fall Semester
Time: Weds 4:00pm-5:30pm
Location: 3300 EBII
Schedules:
- Aug 30: Debriefing; Tao Xie will lead discussion on doing research and writing papers
- Sept 6: Debriefing; Discussion on ICSE 07 submissions
- Sept 13: (Mithun) From Uncertainty to Belief:
Inferring the Specification Within, Ted Kremenek, Paul Twohey, Godmar
Back, Andrew Ng, Dawson
Engler. In Proceedings of the 7th Symposium on Operating System Design
and Implementation, 2006. [PDF]
- Sept 20: (Kunal) Search-Based Determination of
Refactorings for Improving the Class Structure of Object-Oriented
Systems. Olaf Seng, Johannes Stammel and David Burkhart. In GECCO 06. [PDF]
- TBA: (Kobi) The Chaining Approach for Software Test
Data Generation. Roger Ferguson and Bogdan Korel. ACM Trans. Softw. Eng. Methodol. 5(1): 63-86 (1996) [PDF]
Weekly Student Meeting Time Slots
Kobi: Wed 11:00am-12:00pm
Suranjana Wed 12:00pm-12:30pm
Prasanth: Wed 2:00-3:00pm
Mithun: Wed
3:00-4:00pm
Group meetings: 4:00-5:30pm
Evan: Wed
5:30-6:30pm
Kunal: Friday 4:00-4:30pm
2006 Spring Semester
Time: Weds 4:00pm-5:00pm
Location: 2242 EBII
Presenter instruction: before the meeting time, stop by 3320 or 3322 to pick up
the projector and the key to 2242 if it is locked
|