object-oriented programming languageUS6223337 *Dec 12, 1997Apr 24, 2001Hewlett-Packard CompanyRandom test generation for compiler optimizationUS6275976 *Feb 25, 1997Aug 14, 2001Joseph M. ScanduraAutomated method for building and maintaining software including methods for verifying that systems are internally consistent and correct relative to their specifications* Cited by examinerNon-Patent Citat