Testing Programs with the Aid of a Compiler

IEEE Transactions on Software Engineering

Volumn SE-3, Issue 4, 1977, Pages 279-290

  Hamlet, Richard G ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

Debugging; error correction; high level language systems; maintenance of software; semantic error; systematic testing

Indexed keywords

PROGRAM TESTING;

COMPUTER PROGRAMMING;

EID: 0017517121     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1977.231145     Document Type: Article

References (14)

1. D. L. Parnas, “A technique for software module specification with examples,” Commun. Ass. Comput. Mach., vol. 15, pp. 330– 336, Mar. 1972.
2. C. A. R. Hoare, “Proof of a program: FIND,” Commun. Ass. Comput. Mach., vol. 14, pp. 39–45, Jan. 1971.
3. L. G. Stucki and G. L. Foshee, “New assertion concepts for self-metric software validation,” in Proc. Int. Conf. on Reliable Software, SIGPLAN Notices, Notices, vol. 10, pp. 59–71, June 1975.
4. J. C. King, “A verifying compiler,” in Debugging Techniques in Large Systems, R. Rustin, Ed. Englewood Cliffs, NJ: Prentice-Hall, 1970, pp. 17-39.
5. J. C. King, “A new approach to program testing,” in Proc. Int. Conf. on Reliable Software, SIGPLAN Notices, vol. 10, pp. 228–233, June 1975.
6. L. Clarke, “A system to generate test data and symbolically execute programs,” IEEE Trans. Software Eng., vol. SE-2, pp. 215–222, Sept. 1976.
7. V. Basili and A. J. Turner, “Iterative enhancement: A practical technique for software development,” IEEE Trans. Software Eng., vol. SE-1, pp. 390–396, Dec. 1975.
8. S. C. Kleene, Introduction to Metamathematics. Princeton, NJ: Van Nostrand, 1964.
9. R. G. Hamlet, “Testing programs with finite sets of data,” The Computer J., vol. 20, 1977.
10. E. Satherwaite, “Debugging tools for high-level languages,” Software-Practice and Experience vol. 2, pp. pp. 197–217, July 1972.
11. V. R. Basili and A. J. Turner, “A transportable extendable compiler,” Software-Practice and Experience, vol. 5, pp. 269-278, July 1975.
12. B. W. Arden, An Introduction to Digital Computing. Reading, MA: Addison-Wesley, 1963.
13. N. Wirth and C. A. R. Hoare, “A contribution to the development of ALGOL,” Commun. Ass. Comput. Mach., vol. 9, pp. 413–432, June 1966.
14. Z. Kohavi et al., “Machine distinguishing experiments,” The Computer J., vol. 16, pp. 141–147, May 1973.