Program quality represents the most significant part of software quality control that assures all characteristics of software products to satisfy the user's explicit and impl...
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...