%A W.H. MacWilliams %T Reliability of large real-time control software systems %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 1-6 %A Lawrence A. Rowe %A Marsha D. Hopwood %A David J. Father %T Software methods for achieving fail-soft behavior in the distributed computing system %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 7-11 %A Jeffrey P. Buzen %A Peter P. Chen %A Robert D. Goldberg %T Virtual machine techniques for improving system reliability %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 12-17 %A K.W. Krause %A R.W. Smith %A M.A. Goodwin %T Optimal software test planning through automated network analysis %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 18-22 %A M.R. Paige %A E.E. Balkovich %T On testing programs %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 23-27 %A C.V. Ramamoorthy %A R.E. Meeker,\ Jr. %A J. Turner %T Design and construction of an automated software evaluation system %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 28-37 %A Daiju Itoh %A Takao Izutani %T FADEBUG-I, a new tool for program debugging %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 38-43 %A E. Girard %A J-C. Rault %T A programming technique for software reliability %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 44-50 %A Martin L. Shooman %T Operational testing and software reliability estimation during program development %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 51-57 %A John de S. Coutinho %T Software reliability growth %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 58-64 %A R.J. Flynn %T On the smallest number of program modules needed to duplicate dynamic independent interactions %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 65-69 %A B. Littlewood %A J.L. Verrall %T A Bayesian reliability growth model for computer software %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 70-77 %A Z. Jelinski %A P.B. Moranda %T Applications of a probability-based model to a code reading experiment %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 78-81 %A O.E. Ellingson %T Computer program and change control %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 82-89 %A J.R. Fragola %A J.F. Spahn %T The software error effects analysis; a qualitative design tool %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 90-93 %A L.G. Stucki %T Automatic generation of self-metric software %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 94-100 %A Fletcher J. Buckley %T Software testing - a report from the field %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 102-106 %A S. Bloom %A M.J. McPheters %A S.H. Tsiang %T Software quality control %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 107-116 %A John S. McGeachie %T Reliability of the Dartmouth time sharing system %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 117-123 %A H. Trauboth %T Guidelines for documentation of scientific software systems %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 124-131 %A Edward I. Keezer %T Practical experiences in establishing software quality assurance %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 132-135 %A L. Weisssman %A G.M. Stacey %T An interface system for improving reliability of software systems %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 136-142 %A Jeoffrey P. Benson %T Structured programming techniques %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 143-147 %A B.W. Kernighan %A P.J. Plauger %T Programming style for programmers and language designers %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 148-154 %A Harlan D. Mills %T On the development of large reliable programs %J Record of the 1973 IEEE Symposium on Computer Software Reliability %C New York City %D April 1973 %K scsr scsr73 %P 155-160