Testing the Waters III

Technical/Research Track
When: Friday, May 27 2:00PM
Location: Coral Ballroom 5
Chair: Andreas Zeller
Mining Parametric Specifications
Choonghwan Lee, Feng Chen, and Grigore Roşu
Estimating Footprints of Model Operations
Cédric Jeanneret, Martin Glinz, and Benoit Baudry
Precise Identification of Problems for Structural Test Generation
Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux