Archived Meetings

2015 Fall Group Meetings

Time: Mondays 4:00pm-6:00pm

Location: 4405 Siebel Center (SC)

Schedule:

  • Aug 24: Organizational Meeting.
  • Sep 31: Tao's advice.
  • Sep 7: Labor day.
  • Sep 14: Tao is out-of-town. Had group members' briefing session and postponed 1-hour speaker session.
  • Sep 21: Database performance (Mengqi).

2015 Spring Group Meetings

Time: Mondays 3:00pm-5:00pm

Location: 4403 Siebel Center (SC)

Schedule:

  • Jan 26: Organizational Meeting

==========

2014 Fall Group Meetings

Time: Weds 3:30pm-5:00pm

Location: 4403 Siebel Center (SC) [Except Nov 5 in 4124 SC]

Schedule:

  • August 29: Organizational Meeting
  • Sept 3: ICSE submission reading group meeting
  • Sept 10: Group logistics and research advice by Tao
  • Sept 17: Group logistics and research advice by Tao
  • Sept 24: Group logistics and research advice by Tao
  • Oct 1: Research advice by Tao
  • Oct 8: Ad fraud in mobile apps by David
  • Oct 15 (Tao out of town, meeting is still on): Automatic fixing by Sihan
  • Oct 22: Program Repair by Blake
  • Oct 29: Static Analysis in Android Apps by Qi
  • Nov 5 (Tao out of town, meeting is still on): Performance Bugs by Peyman
  • Nov 12: Machine Learning/Simulation Model Testing by Ore
  • Nov 19 (Tao out of town, meeting is still on): Program Analysis by Mengqi
  • Nov 26: Thanksgiving week!
  • Dec 3:
  • Dec 10 (Tao out of town, meeting is still on):
  • Dec 17:

Notes:

========

Past:

2014 Spring Group Meetings

Time: Weds 3:30pm-4:30pm

Location: 4403 Siebel Center (SC)

Schedule:

  • Jan 20: Organizational Meeting.
  • Feb 5: Discussion on thesis topic or research topics
  • Feb 12: Wei Yang (AppContext)
  • Feb 19: Sihan Li (PexForFun)
  • Feb 26: Lester Yu (Performance & Energy)
  • March 5: Xusheng
  • March 12: Amarin
  • March 19: Blake
  • April 2: Fahad
  • April 9:

2013 Fall Group Meetings

Time: Weds 1:30pm-2:30pm

Location: 4407 Siebel Center (SC)

Schedule:

  • Sept 18: Organizational meeting led by Tao Xie
  • Sept 25: Sihan (Debriefing on VL/HCC 2014)
  • Oct 2: Debriefing on MVD day
  • Oct 9: Debriefing on MVD day
  • Oct 16: Cancelled due to visitor Munawar Hafiz's visit
  • Oct 23: Wei (Debriefing his permission context project)
  • Oct 30: Cancelled due to attending OOPSLA
  • Nov 6: Sihan Li for SMT solving
  • Nov 13: Cancelled due to attending ASE
  • Nov 20: Xusheng Xiao for regression learning
  • Nov 27: Cancelled due to Thanksgiving holiday break
  • Dec 4: Wei for Planning
  • Dec 11:

2013 Spring Group Meetings

Time: Friday 2:30-4:30 pm (except the first week)

Location: 2241 EB2

Schedule:

  • Jan 11: Logistic Review (Dr Xie)
  • Jan 18:
  • Jan 25: David
    • Feb 1:
  • Feb 8 : Sihan
  • Feb 15 :
  • Feb 22: Rahul
  • March 1: Lester
  • March 8: Spring Break
    • March 15: Xusheng Xiao
  • March 22: Rahul
  • March 29: Spring Holiday
  • April 5: David
  • April 12: Lester
  • April 19:
  • April 26: Sihan
  • May 3:
  • May 10: Xusheng Xiao
  • May 17:

2012 Fall Group Meetings

  • Aug 31: Logistic Review (Dr Xie)
  • Sep 7: Xusheng Xiao - Information Flow Analysis
  • Sep 14: Dr Xie
    • Sep 21:
  • Sep 28 : Wei Yang
  • Oct 5 : Fall Break
  • Oct 12:
  • Oct 19: Rahul Pandita
  • Oct 26: JeeHyun Hwang
    • Nov 2: Kiran
  • Nov 9:
  • Nov 16:
  • Nov 23: Thanksgiving
  • Nov 30: John (common English mistakes by international students)
  • Dec 7: Final Examination

2012 Spring Group Meetings

Time: Friday 3:00-4:35pm (except the first week)

Location: 2241 EB2

Schedule:

  • Jan 13: Group role assignment and talk on internship applications, how to interact with Dr. Xie, etc.
  • Jan 20: 5min Research (new idea) presentation to peers
  • Jan 27: Kunal
  • 24th Feb: John
  • 2nd March: Justin
  • 9th March: Spring Break
  • 16th March: Jeehyun
  • 23rd Mar: Lester
  • 30th Mar: Rahul
  • 6th Apr: Sihan

2011 Fall Group Meetings

Time: Thursday 5:00-6:45pm (except the first week)

Location: EBII 2216

Schedule:

  • Aug 26: A group debriefing by JeeHyun and a talk on "Self-governance in research"
  • Sep 1: 15min research presentation to peers
    • Sep 8: 15min research presentation to peers
  • Sep 15: Testing and analysis of mobile apps by JeeHyun
  • Sep 22: Writing review
  • Sep 29: John
  • Oct 6: We don't have group meeting due to fall break
    • Oct 13: Kiran
  • Oct 20:
    • Oct 27:
    • Nov 3: Wei (David) Yang
    • Nov 10: Sihan Li
    • Nov 17: Xiao (Lester) Yu
    • Nov 24: We don't have group meeting Thanksgiving vacation

2011 Spring Group Meetings

Time: Fridays 3:30-5:00pm (except the first week)

Location: EBII 2216

Schedule:

  • Jan 12 (11am-12pm): A group debriefing by Tao Xie and a talk on "Research Generalization: Going Beyond What You Built"
  • Jan 21: Talk about doing research and writing papers by Dr. Tao Xie
  • Jan 25: Talk about writing papers by Dr. Tao Xie
  • Jan 28: Xusheng talks about "Text Analytics in Software engineering"
  • Feb 4: JeeHyun talks about "Text Analytics in Software engineering"
  • Feb 11: Kunal takes about "Testing of evolving programs"
  • Feb 18: Justin talks about "symbolic analysis: a strategic direction"
  • Feb 25: Linghao talks about "Quality Assurance of Cyber-Physical Systems"
  • Mar 4: Rahul talks about "Text Analytics in Software engineering"
  • Mar 11: Spring Break, no group meeting
  • Mar 18: Dr. Xie discusses our research development and group policies in the group
  • Mar 25: Discussion (e.g., Xusheng's exam, process, and policies)
  • Apr 1: (Yoonki)
  • Apr 8: (Kiran)
  • Apr 15: (Xi)
  • Apr 22: University holiday (21-22 April). We plan to have a meeting with Nikolai Tillmann in MSR. However, regular group meeting is canceled.
  • Apr 29: (Rahul and Kunal)

2010 Fall Group Meetings

Time: Fridays 3:30-5:00pm

Location: EBII 2241

Schedule:

  • Aug 27: A group debriefing by Tao Xie and "Natural language processing" by Xusheng
  • Sep 3: "Text mining" by JeeHyun and Rahul
  • Sep 10: "Test case generation for database application" by Kunal
  • Sep 17: "Mining software engineering data" by Suresh
  • Sep 24: "GUI Testing" by Kiran
  • Oct 1: "Software Visualization" by Yoonki
  • Oct 8: Fall break, no group meeting
  • Oct 15: Xi
  • Oct 22: Idea brainstorming
  • Oct 29: Linghao
  • Nov 5: JeeHyun
  • Nov 12: Brainstorming NSF proposal (Graph mining and security)
  • Nov 19: Brainstorming NSF proposal (Graph mining)
  • Nov 26: Thanksgiving, no group meeting
  • Dec 3: John (Discuss "FDA" medical device workshop and research ideas)

2010 Spring Group Meetings

Time: Fridays 3:30-5:00pm

Location: EBII 2216

Schedule:

  • Jan 15: "Test Generation through Programming in UDITA", ICSE 2010 presented by Suresh
  • Jan 22: "Efficiently monitoring data-flow test coverage", ASE 2007 presented by Xusheng
  • Jan 29: "A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs", ASE 2009 presented by Jeehyun Hwang
  • Feb 05: Reading group for abstract/intro revision of Madhuri, Kunal, and Suresh.
  • Feb 12: "Incremental Compositional Dynamic Test Generation", MSR Tech Report, presented by Kunal
  • Feb 19: "Automated Environment Generation for Software Model Checking", ASE 2003, presented by Madhuri
  • Feb 26: "Visualization of exception handling constructs to support program understanding" SoftVis 2008, presented by Yoonki
  • Mar 05: "Towards Generating High Coverage Vulnerability-Based Signatures with Protocol-Level Constraint-Guided Exploration" RAID 2009, presented by Rahul
  • Mar 12: "Dynamic Symbolic Data Structure Repair" ICSE NIER 2010 by Xi
  • Mar 19: Spring break, no group meeting
  • Mar 26: "Lightweight Fault-Localization Using Multiple Coverage Types" ICSE 2009 by Kiran
  • Apr 02: Spring Holiday
  • Apr 09: "Testing C Programs for Vulnerability Using Trace-Based Symbolic Execution and Satisfiability Analysis" DSN 2010, presented by Madhuri
  • Apr 16: Reading group for abstract/intro revision of Madhuri/Suresh and Rahul.
  • Apr 23: Jeehyun
  • Apr 30: Kunal

2009 Fall group meetings

Time: 3:30-5:00pm

Location: EBII 3265

  • Aug 21: A group debriefing by Tao Xie (2241 EB II Lab)
  • Aug 28: "Loop-Extended Symbolic Execution on Binary Programs" (ISSTA 2009) presented by Suresh Thummalapenta
  • Sep 04: "HAMPI: A solver for string constraints" (ISSTA 2009) presented by Madhuri R. Marri
  • Sep 11: No group meeting. All members are requested to attend the seminar "Compiler/Runtime Optimization for Multicore Processors"
  • Sep 18: A round table meeting with Nikolai Tillmann from Microsoft Research
  • Sep 25: Jeehyun mock presentation for SRDS 2009. "Precise Interface Identification to Improve Testing and Analysis of Web Applications" (ISSTA 2009) presented by Kunal Taneja
  • Oct 02: ICSE Industry Track deadline, No group meeting
  • Oct 09: Fall-break, No group meeting
  • Oct 16: "Mining Security-sensitive Operations in Legacy Code using Concept Analysis" (ICSE 2007) and "AutoISES: Automatically Inferring Security Specifications and Detecting Violations" presented by Jeehyun Hwang
  • Oct 23: Research Presentations by undergrad students in the ASE group
  • Oct 30: Reading group for abstract and introduction of WWW submissions (Kunal & Madhuri, Jeehyun)
  • Nov 6: "Tool support for improving test coverage" (ESOP 2002) presented by Xusheng
  • Nov 13: Suresh mock presentation for ASE 2009. "Mining Alternative Patterns for Detecting Neglected Conditions"

2009 Spring group meetings

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