SICSOFT (Paper Session)
B. M. Leavenworth, Raymond J. Hookway, George W. Ernst, Thomas A. Standish, Dennis F. Kibler, James M. Neighbors · 1976
“How to produce efficient and error-free software?” is the theme of this session. There will be three papers presented, each describes the result of a current research effort. In the first paper, a testing and debugging methodology which exploits certain properties of a very high level language is presented. The second paper describes a system for verifying correctness of programs. In the third paper, it is shown that the performance of a program can be improved through program manipulation.