An Empirical Study on a Specification-Based Program Review Approach | IEEE Conference Publication | IEEE Xplore