1. An Experiment in Automatic Quality Evaluation of Software;Amster,1976
2. Usage and Argument Monitoring of Mathematical Library Routines;Bailey;ACM Transactions on Mathematical Software,1975
3. A Practical Interprocedural Data Flow Analysis Algorithm;Barth;Communications of the ACM,1978
4. An Approach to Software Testing: Methodology and Tools;Bate,1978
5. A method of testing programs for data sensitivity;Bright,1973