St.
Louis Ballroom C [Floor
Plan]
Session Chair: Klaus Pohl
> |
Static Analysis Tools as Early
Indicators of Pre-Release Defect Density
Nachiappan Nagappan and Thomas Ball |
> |
Validation Methods for Calibrating Software Effort Models
Tim Menzies, Daniel
Port, Zhihao Chen, Jairus Hihn, and Sherry Stukes |
> |
A Case Study on the Automated Verification of Groupware Protocols
Maurice H. ter Beek,
Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro
Forghieri, and
Maurizio Sebastianis |
|