Software monitoring through formal specification animation Hui LiangJin Song DongW. Eric Wong Original Paper 05 August 2009 Pages: 231 - 241
Analysis of object-oriented software reliability model development Norman F. Schneidewind Original Paper 30 July 2009 Pages: 243 - 253
Use of a lightweight formal method to model the static aspects of state machines Fernando Valles-Barajas Original Paper 29 July 2009 Pages: 255 - 264
A dynamic capture–recapture model for software defect prediction Robert BucholzPhillip A. Laplante Original Paper 30 July 2009 Pages: 265 - 270
PTSC: probability, time and shared-variable concurrency Huibiao ZhuShengchao QinJonathan P. Bowen Original Paper 11 August 2009 Pages: 271 - 284