Surfing the Dependability Wave

Technical/Research Track
When: Wednesday, May 25 10:45AM
Location: Coral Ballroom 5
Chair: Sebastián Uchitel
A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, and Daniel Jackson
Towards Quantitative Software Reliability Assessment in Incremental Development Processes
Toshiya Fujii, Tadashi Dohi, and Takaji Fujiwara
The Impact of Fault Models on Software Robustness Evaluations
Stefan Winter, Constantin Sârbu, Neeraj Suri, and Brendan Murphy