Techniques for verification and validation of safety-related software

[1]  Jim Cunningham,et al.  Software tools for first‐order logic , 1983, Softw. Pract. Exp..

[2]  C. V. Ramamoorthy,et al.  Software Reliability—Status and Perspectives , 1982, IEEE Transactions on Software Engineering.

[3]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[4]  Michael Fagan.  Design and Code Inspections to Reduce Errors in Program Development , 1976, IBM Syst. J..

[5]  William E. Howden,et al.  Reliability of the Path Analysis Testing Strategy , 1976, IEEE Transactions on Software Engineering.

[6]  William E. Howden,et al.  Functional Program Testing , 1978, IEEE Transactions on Software Engineering.

[7]  C. V. Ramamoorthy,et al.  VALIDATION OF REAL-TIME SOFTWARE FOR NUCLEAR PLANT SAFETY APPLICATIONS. , 1982 .