Software development productivity, K.D. Maxwell.
Transformation-oriented programming: A development methodology for high assurance software, V.L. Winter, S. Roach, and G. Wickstrom.
Bounded model checking, A Biere, A. Cimatti, E.M. Clarke, O. Strichman, and Y. Zhu.
Advances in GUI testing, A.M. Memon.
Software inspections, M. Roper, A. Dunsmore, and M. Wood.
Software fault tolerance forestalls crashes: To err is human; to forgive is fault tolerant, L. Bernstein.
Advances in the provisions of system and software security - Thirty years of progress, R.B. Vaughn.