Program validation

[1]  Thomas Anderson.  Computer Systems Reliability , 1979 .

[2]  Richard E. Fairley,et al.  Software engineering concepts , 1985, McGraw-Hill series in software engineering and technology.

[3]  Boris Beizer,et al.  Software System Testing and Quality Assurance , 1984 .

[4]  William C. Hetzel,et al.  Program test methods , 1973 .

[5]  Michael Jackson,et al.  Principles of program design , 1975 .

[6]  J C Huang,et al.  Program Instrumentation and Software Testing , 1978, Computer.

[7]  Leon J. Osterweil,et al.  Dave—a validation error detection and documentation system for fortran programs , 1976, Softw. Pract. Exp..

[8]  Randall Rustin,et al.  Debugging Techniques in Large Systems , 1972 .

[9]  Edward F. Miller,et al.  Special Feature Program Testing: Art Meets Theory* , 1977, Computer.

[10]  Raymond C Houghton.  Software development tools , 1982 .

[11]  Brian W. Kernighan,et al.  Software tools , 1976, SOEN.

[12]  Friedrich Ludwig Bauer.  Advanced Course on Software Engineering , 1973 .

[13]  Glenford J Myers,et al.  Reliable software through composite design , 1975 .

[14]  Peter C. Poole.  Debugging and Testing , 1972, Advanced Course: Software Engineering.

[15]  Richard E. Fairley,et al.  Tutorial: Static Analysis and Dynamic Testing of Computer Software , 1978, Computer.

[16]  Brian Randell,et al.  Software Engineering: Concepts and Techniques , 1976 .

[17]  Marc J. Rochkind,et al.  The source code control system , 1975, IEEE Transactions on Software Engineering.

[18]  Maurice V. Wilkes,et al.  The preparation of programs for an electronic digital computer , 1958 .

[19]  David J. Panzl.  Automatic Software Test Drivers , 1978, Computer.

[20]  Ken Thompson,et al.  The UNIX time-sharing system , 1974, CACM.