R. B. France;V. R. Basili
Univ. of Maryland, College Park;Univ. of Maryland, College Park
A Knowledge-Based Approach to the Analysis of Loops
IEEE Transactions on Software Engineering