Independent Verification and Validation (IV&V) Techniques for Object Oriented Software Systems SAS meeting July 2003.