APAQS
2001
IEEE
13 years 8 months ago
2001
IEEE
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...
APAQS
2001
IEEE
13 years 8 months ago
2001
IEEE
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...
APAQS
2001
IEEE
13 years 8 months ago
2001
IEEE
