|
RXVP--today and tomorrow Saib S. Software validation: inspection-testing-verification-alternatives (, Darmstadt, West Germany, 1251984. Type: Proceedings
Saib describes a test tool for FORTRAN and ADA programs that provides “static analysis, dynamic analysis, documentation, and debugging assistance.” The usage of the tool is then justified with information on the cos...
|
Nov 1 1985 |