State of the Art in Software Testing and Analysis 2008

The talks will be 30 minutes each, of which 5 minutes will be reserved for questions.

TimeDescriptionLocation
8:45amContinental Breakfast available CoRE Building Lobby
9:00amWelcome CoRE Auditorium
9:15-10:45am Session I CoRE Auditorium

10:45-11:05BreakCoRE Building Lobby
11:05-12:35pmSession IICoRE Auditorium

  • Improving Automation in Developer Testing [ abstract | slides | audio | video ]
    Tao Xie (North Carolina State University)
  • Users as Oracles: Semi-automatically Corroborating User Feedback [ abstract | slides | audio | video ]
    Andy Podgurski (Case Western Reserve University)
  • Applications of Machine Learning to Software Testing [ abstract | slides | audio | video ]
    Lionel Claude Briand (Simula Research Laboratory, Norway)
12:35-2:00pmLunch (suggestion: Faculty/Staff Dining Hall in Busch Student Center; food service closes at 1:30)
2:00-3:30Session III CoRE Auditorium

  • Static Analysis for Reasoning about Security-related Properties [ abstract ]
    Ana Milanova (Rensselaer Polytechnic University)
  • Using Formal Models to Objectively Judge Quality of Multi-Threaded Programs in Empirical Studies [ abstract ]
    Laura Dillon (Michigan State University)
  • Assertion-driven Analyses [ abstract | slides | audio | video ]
    Sarfraz Khurshid (University of Texas, Austin)
3:30-3:50pm BreakCoRE Building Lobby
3:50-4:50pmSession IV CoRE Auditorium

  • Runtime Monitoring of Object Invariants with Guarantee [ abstract | slides | audio | video ]
    Sriram Rajamani (Microsoft Research India)
  • DySy: Dynamic Symbolic Execution for Invariant Inference [ abstract ]
    Yannis Smaragdakis (University of Oregon)