A User's Appraisal of an Automated Program Verification Aid
Larry K. Whipple, Mark A. Pitts · 1975
Abstract : An evaluation of RXVP, an automated aid to FORTRAN program testing, based on experience with the system in testing activities, is presented. System capabilities and features are described. User assessments of services provided are discussed. Strengths and weaknesses in system performance as well as a collection processing statistics are reported.