A Knowledge-Based Approach to the Analysis of Loops (1996)

by Abd El, H, V Basili
Venue:IEEE Transactions on Software Engineering