State-of-the-Art in Testing and Analysis Day at Rutgers

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.

Time	Description	Location
8:45am	Continental Breakfast available	CoRE Building Lobby
9:00am	Welcome	CoRE Auditorium
9:15-10:45am	Session I	CoRE Auditorium
Mining temporal properties [ abstract \| slides \| audio \| video ] Andreas Zeller (Saarbruken University) Systematic document generation from XML Schema [ abstract \| slides \| audio \| video ] Antonia Bertolino (Italian National Research Council) Snugglebug [ abstract \| slides \| audio \| video ] Stephen Fink (IBM T.J. Watson Research Center)
10:45-11:05	Break	CoRE Building Lobby
11:05-12:35pm	Session II	CoRE 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:00pm	Lunch (suggestion: Faculty/Staff Dining Hall in Busch Student Center; food service closes at 1:30)
2:00-3:30	Session 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	Break	CoRE Building Lobby
3:50-4:50pm	Session 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)