Fall 2005 CS598DM Meetings

• Aug 25
  1. Introduction
  2. Overview
• Aug 30
  1. Chapter 1 of the draft book "Introduction to Software Testing" by Paul Ammann and Jeff Offutt
• Sep 1
  1. Toward a Theory of Test Data Selection
     John B. Goodenough, Susan L. Gerhart (IEEE TSE 1(2))
  2. The Evaluation of Program-Based Software Test Data Adequacy Criteria
     Elaine J. Weyuker (CACM 31(6))
• Sep 6
  1. Chapter 2 of the draft book "Introduction to Software Testing" by Paul Ammann and Jeff Offutt
  2. Writing Good Software Engineering Research Papers
     Mary Shaw (ICSE 2003)
• Sep 8
  1. Using a Goal-driven Approach to Generate Test Cases for GUIs
     Atif M. Memon, Martha E. Pollack and Mary Lou Soffa (ICSE 1999)
  2. Coverage Criteria for GUI Testing
     Atif M. Memon, Mary Lou Soffa and Martha E. Pollack (FSE/ESEC 2001)
• Sep 13
  1. A Micromodularity Mechanism
     Daniel Jackson, Ilya Shlyakhter, Manu Sridharan (FSE/ESEC 2001)
  2. Automating First-Order Relational Logic
     Daniel Jackson (FSE 2000)
• Sep 15
  1. Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
     Sarfraz Khurshid, Daniel Jackson (ASE 2000)
• Sep 20
  1. TestEra: A Novel Framework for Testing Java Programs
     Darko Marinov, Sarfraz Khurshid (ASE 2001)
• Sep 22
  1. Korat: Automated Testing Based on Java Predicates
     Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov (ISSTA 2002)
  2. An Evaluation of Exhaustive Testing for Data Structures
     Darko Marinov, Alexandr Andoni, Dumitru Daniliuc, Sarfraz Khurshid, Martin Rinard (MIT 2003)
• Sep 27, no meeting: work on the machine problem and project (proposal)
• Sep 29, presentations by students
  1. Project proposals
• Oct 4, discussion leader: Baris Aktemur
  1. Routine Runtime Code Generation
     Sam Kamin (OOPSLA Onward! 2003)
  2. Compiling for Runtime Code Generation
     Frederick Smith, Dan Grossman, Greg Morrisett, Luke Hornof, Trevor Jim (JFP 2003)
• Oct 6, discussion leader: Damien Holzapfel
  1. Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation
     Mooly Sagiv, Thomas Reps, Susan Horwitz (TAPSOFT 1995)
  2. Data-Flow Analysis of Program Fragments
     Atanas Rountev, Barbara G. Ryder, William Landi (FSE 1999)
• Oct 11, meeting canceled due to medical reasons
• Oct 13, presentations by students
  1. Project progress
• Oct 18, discussion leader: Igor Gammer
  1. Combining Component Caching and Clause Learning for Effective Model Counting
     Tian Sang, Fahiem Bacchus, Paul Beame, Henry Kautz, Toniann Pitassi (SAT 2004)
  2. A New Approach to Model Counting
     Wei Wei, Bart Selman (SAT 2005)
• Oct 20, discussion leader: Traian Serbanuta
  1. Intersection-Based Methods for Satisfiability Using Boolean Rings
     Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss (SAT 2004)
  2. Compilation and Memory Management for ASF+SDF
     M.G.J. van den Brand, P. Klint, P.A. Olivier (CC 1999)
• Oct 25, discussion leader: Marcelo d'Amorim
  1. Rostra: A Framework for Detecting Redundant Object-Oriented Unit
     Tao Xie, Darko Marinov, David Notkin (ASE 2004)
  2. Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution
     Tao Xie, Darko Marinov, Wolfram Schulte, David Noktin (TACAS 2005)
• Oct 27, attend Adnan Darwiche's talk on "The Language of Search"
• Nov 1, guest lecturer: Chao Liu
  1. SOBER: Statistical Model-based Bug Localization
     Chao Liu, Xifeng Yan, Long Fei, Jiawei Han, Sam P. Midkiff (ESEC/FSE 2005)
  2. Scalable Statistical Bug Isolation
     Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, Michael I. Jordan (PLDI 2005)
• Nov 3, guest lecturer: Shan Lu
  1. Purify: Fast Detection of Memory Leaks and Access Errors
     Reed Hastings, Bob Joyce (USENIX Winter 1992)
  2. Automatically Detecting Memory-Related Bugs via Program Counter-based Invariants
     Pin Zhou, Wei Liu, Long Fei, Shan Lu, Feng Qin, Yuanyuan Zhou, Samuel Midkiff and Josep Torrellas (MICRO 2004)
• Nov 8, guest lecturer: Danny Dig
  1. Automatic Detection of Refactorings for Libraries and Frameworks
     Danny Dig, Can Comertoglu, Darko Marinov, Ralph Johnson (WOOR 2005)
  2. The Role of Refactorings in API Evolution
     Danny Dig, Ralph Johnson (ICSM 2005)
• Nov 10
  1. Chapter 3 of the draft book "Introduction to Software Testing" by Paul Ammann and Jeff Offutt
• Nov 15
  1. Chapter 4 of the draft book "Introduction to Software Testing" by Paul Ammann and Jeff Offutt
  2. [optional] Model-Based Testing in Practice
     S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton, B. M. Horowitz (ICSE 1999)
• Nov 17
  1. Chapter 5 of the draft book "Introduction to Software Testing" by Paul Ammann and Jeff Offutt
• Nov 22, no meeting (Thanksgiving Vacation)
• Nov 24, no meeting (Thanksgiving Vacation)
• Nov 29, discussion on final projects and presentations
• Dec 1, final project presentations: Traian Serbanuta, Marcelo d'Amorim
• Dec 6, final project presentations: Baris Aktemur & Damien Holzapfel, Igor Gammer
• Dec 8, guest lecturer: Koushik Sen