Journal: IEEE Computer

Volume 11, Issue 4

10 -- 12Edward F. Miller Jr.. Program Testing [Guest editor's introduction]
14 -- 23Richard E. Fairley. Tutorial: Static Analysis and Dynamic Testing of Computer Software
25 -- 32J. C. Huang. Program Instrumentation and Software Testing
34 -- 41Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward. Hints on Test Data Selection: Help for the Practicing Programmer
44 -- 50David J. Panzl. Automatic Software Test Drivers
51 -- 60John A. Darringer, James C. King. Applications of Symbolic Execution to Program Testing
64 -- 76Erich Bloch, Dominick Galage. Special Feature Component Progress: Its Effect on High-Speed Computer Architecture and Machine Organization
78 -- 85Ware Myers. Compcon Spring Wrap-Up
79 -- 80Ware Myers. The Limits of Silicon
81 -- 82Francis P. Mathur. Testing, Testing
86 -- 88Marilyn Potes. Personal Computing Spawns Diverse Magazines, Viewpoints
89 -- 91Paul L. Hazan, Robert McDowell, W. J. Sanda. Workshop Report Microcomputer I/O, Peripherals, and Software