Sciweavers

APAQS
2001
IEEE
13 years 8 months ago
Using a Coding Standard to Improve Program Quality
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...
X. Fang
TAP
2007
Springer
113views Hardware» more  TAP 2007»
13 years 10 months ago
Combining Static and Dynamic Reasoning for Bug Detection
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 ...
Yannis Smaragdakis, Christoph Csallner