Assessing Test Data Adequacy through Program Inference

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	ACREE, A.T., DEMILLO, R.A., BUDD, T.J., LIPTON, R.J., AND SAYWARD, F.G. Mutation analysis. Tech. Rep. GIT-ICS-79/08, Georgia Inst. of Technology, Sept. 1979.
	2	BIERMANN, A.W., AND KRiSHNASWAMY, R. Constructing programs from example computations. IEEE Trans. Softw. Eng. SE-2 (Sept. 1976), 141-153.
	3	DEMmLO, R.A., LIPTON, R.J., AND SAYWARD, F.G. Hints on test data selection: Help for the practicing programmer. Computer 11, 4 (Apr. 1978), 34-41.
	4	Robert K. Dewar , Arthur and Ssu-Cheng Liu and Jacob T. Schwartz and Edmond Schonberg, Programming by Refinement, as Exemplified by the SETL Representation Sublanguage, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.1, p.27-49, July 1979 [doi>10.1145/357062.357064]
	5	Joe W. Duran , Simeon Ntafos, A report on random testing, Proceedings of the 5th international conference on Software engineering, p.179-183, March 09-12, 1981, San Diego, California, United States
	6	John Gannon , Paul McMullin , Richard Hamlet, Data Abstraction, Implementation, Specification, and Testing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.3, p.211-223, July 1981 [doi>10.1145/357139.357140]
	7	GOODENOU6H, J.B., AND GERHART, S.L. Toward a theory of testing: Data selection criteria. In Current Trends in Programming Methodology, vol. 2, R.T. Yeh (Ed.). Prentice-Hall, Englewood Cliffs, N.J., 1977, pp. 44-79.
	8	John Stewart Gourlay, Theory of testing computer programs, 1981
	9	HAMLET, R.G. Testing programs with the aid of a compiler. IEEE Trans. Sofiw. Eng. SE-3 (July 1977), 279-290.
	10	HAMLET, R.G. Critique of reliability theory. In Proceedings IEEE Workshop on Software Testing and Test Documentation (Fort Lauderdale, Fla., Dec. 1978), IEEE, New York, 1978, pp. 57-69.
	11	HAMLET, R.G. Reliability theory of program testing. Acta Inf. 16 (1981), 31-43.
	12	HENNIE, F.C. Finite. State Models for Logical Machines. Wiley, New York, 1968.
	13	HOWDEN, W.E. Reliability of the path analysis testing strategy. IEEE Trans. Sofiw. Eng. SE- 2 (Sept. 1976), 208-215.
	14	J. C. Huang, An Approach to Program Testing, ACM Computing Surveys (CSUR), v.7 n.3, p.113-128, Sept. 1975 [doi>10.1145/356651.356652]
	15	Robert Kowalski, Logic for problem-solving, North-Holland Publishing Co., Amsterdam, The Netherlands, 1986
	16	Glenford J. Myers, Art of Software Testing, John Wiley & Sons, Inc., New York, NY, 1979
	17	Debra J. Richardson , Lori A. Clarke, A partition analysis method to increase program reliability, Proceedings of the 5th international conference on Software engineering, p.244-253, March 09-12, 1981, San Diego, California, United States
	18	SHAW, D.E., SWARTOUT, W.R., AND GREEN, C.C. Inferring LISP programs from examples. In Proceedings 4th International Joint Conference on Artificial Intelligence (Tbilisi, USSR, 1975), pp. 260-267.
	19	SIKLOSS~, L. AND SYKES, D.A. Automatic program synthesis from example problems. In Proceedings 4th International Joint Conference on Artificial Intelligence (Tbilisi, USSR, 1975), 268-273.
	20	Phillip D. Summers, A Methodology for LISP Program Construction from Examples, Journal of the ACM (JACM), v.24 n.1, p.161-175, Jan. 1977 [doi>10.1145/321992.322002]
	21	WEYUKER, E.J. The applicability of program schema results to programs. Int. J. Comput. Inf. Sci. 8, 5 (Nov. 1979), 387-403.
	22	WEYUKER, E.J. An error-based testing strategy. Tech. Rep. 027, Dept. of Computer Science, Courant Institute of Mathematical Sciences, New York Univ., New York, Jan. 1981.
	23	WEYUKER, E.J., AND OSTRAND, T.J. Theories of program testing and the application of revealing subdomains. IEEE Trans. Softw. Eng. SE-6 (May 1980), 236-246.
	24	WOODWARO, M.R., HEDLEY, D., AND HENNELL, M.A. Experience with path analysis and testing of programs. IEEE Trans. Softw. Eng. SE-6 (May 1980), 278-286.