Spring 2005 CS598DM Meetings

• Jan 18
  1. Introduction
  2. Overview
• Jan 20
  1. A Micromodularity Mechanism
     Daniel Jackson, Ilya Shlyakhter, Manu Sridharan (FSE/ESEC 2001)
  2. Automating First-Order Relational Logic
     Daniel Jackson (FSE 2000)
• Jan 25
  1. Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
     Sarfraz Khurshid, Daniel Jackson (ASE 2000)
  2. TestEra: A Novel Framework for Testing Java Programs
     Darko Marinov, Sarfraz Khurshid (ASE 2001)
• Jan 27
  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)
• Feb 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))
• Feb 3
  1. Quickly detecting relevant program invariants
     Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin (ICSE 2000)
  2. Improving test suites via operational abstraction
     Michael Harder, Jeff Mellen, Michael D. Ernst (ICSE 2003)
• Feb 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)
• Feb 10
  1. Isolating Cause-Effect Chains from Computer Programs
     Andreas Zeller (FSE 2002)
  2. Isolating Failure-Inducing Thread Schedules
     Jong-Deok Choi, Andreas Zeller (ISSTA 2002)
• Feb 15
  1. Purify: Fast Detection of Memory Leaks and Access Errors
     Reed Hastings, Bob Joyce (USENIX Winter 1992)
  2. A Static Analyzer for Finding Dynamic Programming Errors
     William R. Bush, Jonathan D. Pincus, David J. Sielaff (SPE 30(7))
• Feb 17
  1. 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)
  2. Generating Finite State Machines from Abstract State Machines
     Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes (ISSTA 2002)
• Feb 22, presentations by students
  • Project proposals
• Feb 24, discussion leader: Danny Dig
  1. Evolving Object-Oriented Designs with Refactorings
     Lance Tokuda, Don Batory (ASE 1999)
  2. Finding Refactorings via Change Metrics
     Serge Demeyer, Stephane Ducasse, Oscar Nierstrasz (OOPSLA 2000)
• Mar 1, discussion leader: Shan Lu
  1. Multithreaded Java Program Test Generation
     O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, S. Ur (IBM-SJ 41(1))
  2. Toward a Benchmark for Multi-Threaded Testing Tools
     Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur (CC-PE 17)
• Mar 3, discussion leader: Munawar Hafiz
  1. A Fault Model for Subtype Inheritance and Polymorphism
     Jeff Offutt, Roger Alexander, Ye Wu, Quansheng Xiao, Chuck Hutchinson (ISSRE 2001)
  2. Inter-Class Mutation Operators for Java
     Yu-Seung Ma, Yong-Rae Kwon, Jeff Offutt (ISSRE 2002)
• Mar 8, discussion leader: Ahmed Sobeih
  1. Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft
     Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan (ISSTA 1998)
  2. Exploring Very Large State Spaces Using Genetic Algorithms
     Patrice Godefroid, Sarfraz Khurshid (TACAS 2002)
• Mar 10, discussion leader: Chao Liu
  1. Bug Isolation via Remote Program Sampling
     Ben Liblit, Alex Aiken, Alice X. Zheng, Michael I. Jordan (PLDI 2003)
  2. Scalable Statistical Bug Isolation
     Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, Michael I. Jordan (PLDI 2005)
• Mar 15, discussion leader: Can Comertoglu
  1. CatchUp! Capturing and Replaying Refactorings to Support API Evolution
     Johannes Henkel, Amer Diwan (ICSE 2005)
  2. Predicting Problems caused by Component Upgrades
     Stephen McCamant, Michael D. Ernst (FSE 2003)
• Mar 17, discussion leader: Jabari Walker
  1. Specification-Driven Automated Testing of GUI-Based Java Programs
     Yanhong Sun, Edward L. Jones (SRC 2004)
  2. jRapture: A Capture/Replay Tool for Observation-Based Testing
     John Steven, Pravir Chandra, Bob Fleck, Andy Podgurski (SEN 25(5))
• Mar 22, no meeting (Spring Break)
• Mar 24, no meeting (Spring Break)
• Mar 29
  1. Post-spring-break update
  2. Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests
     Tao Xie, Darko Marinov, David Notkin (ASE 2004)
• Mar 31
  1. Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution
     Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin (TACAS 2005)
  2. [optional] Test Input Generation with Java PathFinder
     Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid (ISSTA 2004)
• Apr 5, guest lecturer: Madhusudan Parthasarathy
  1. Construction of abstract state graphs with PVS
     Susanne Graf, Hassen Saidi (CAV 1997)
  2. [optional] Automatic Predicate Abstraction of C Programs
     Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani (PLDI 2001)
• Apr 7, attend Zhenmin Li's talk
  1. CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code
     Zhenmin Li, Shan Lu, Suvda Myagmar, Yuanyuan Zhou (OSDI 2004)
  2. [optional] C-Miner: Mining Block Correlations in Storage Systems
     Zhenmin Li, Zhifeng Chen, Sudarshan M. Srinivasan, Yuanyuan Zhou (FAST 2004)
• Apr 12, progress reports
  1. Generating Tests from Counterexamples
     Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar (ICSE 2004)
  2. [optional] A Theory of Predicate-Complete Test Coverage and Generation
     Thomas Ball (FMCO 2004)
• Apr 14
  1. Using Production Grammars in Software Testing
     Emin Gun Sirer, Brian N. Bershad (DSL 1999)
  2. [optional] QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
     Koen Claessen, John Hughes (ICFP 2000)
• Apr 19
  1. Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
     Dawson Engler, Benjamin Chelf, Andy Chou, Seth Hallem (OSDI 2000)
  2. [optional] Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code
     Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, Benjamin Chelf (SOSP 2001)
• Apr 21
  1. Writing Good Software Engineering Research Papers
     Mary Shaw (ICSE 2003)
• Apr 26, guest lecturer: Brian Marick
  1. Learning to Love Unit Testing
     Dave Thomas, Andy Hunt (STQE Jan/Feb 2002)
• Apr 28, no meeting: work on the projects
• May 3, final project presentations: Chao Liu, Ahmed Sobeih, Shan Lu
• May 5, final project presentations: Jabari Walker, Munawar Hafiz, Danny Dig & Can Comertoglu