Program Committee Members Dr. Boris Beizer, Analysis, Inc., USA Mr. William Bently, Miles, USA Dr. Vern Crandall, Brigham young University, USA Dr. Mario Fusani, IEI-CNR, ITALY Mr. Denis Meredith, Consultant, USA Dr. Edward Miller, Software Research, Inc., USA (General Chair) Mr. Darl Patrick, Sandia Laboratories, USA