Software Testing and Verification

Advances in Computers

Volumn 26, Issue C, 1987, Pages 335-391

  White, Lee J ^a  

^a UNIVERSITY OF ALBERTA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042016457     PISSN: 00652458     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0065-2458(08)60010-8     Document Type: Article

References (76)

1. Beizer, B., “Software Testing Techniques”, 1983, Van Nostrand Reinhold, New York.
2. Bouge, L., A contribution to the theory of program testing. Theor. Comput. Sci. 37:2 (1985), 151–181.
3. Bouge, L., Choquet, N., Fribourg, L., Gaudel, M.C., Application of PROLOG to test sets generation from algebraic specifications. Ehrig, H., Floyd, C., Nivat, M., Thatcher, J., (eds.) “Formal Methods and Software Development”, 2, 1985, Springer Verlag, Berlin, 261–274.
4. R.S. Boyer B. Elspas K.N. Levitt (1975) SELECT—A formal system for testing and debugging programs by symbolic execution. Proc. Int. Conf. Reliable Software, pp. 234-245.
5. Brainerd, W.S., Landweber, L.H., “Theory of Computation”, 1974, Wiley, New York.
6. Budd, T.A., Mutation analysis: Ideas, examples, problems and prospects. Chandrasekran, B., Radicchi, S., (eds.) “Computer Program Testing”, 1981, North-Holland, Amsterdam, 129–148.
7. T.A. Budd R. DeMillo R.J. Lipton F.G. Sayward (1978) The design of a prototype mutation system for program testing. Proc. ACM Nat. Comput. Conf., pp. 623-627.
8. R. Cartwright (1981) Formal program testing. Proc. 8th Annu. ACM Symp. Principles Program. Lang., pp. 126-132.
9. Cheatham, T.E., Holloway, G.H., Townley, J.A., Symbolic evaluation and the analysis of programs. IEEE Trans. Software Eng. SE-5:4 (1979), 402–417.
10. Clarke, L.A., A system to generate test data and symbolically execute programs. IEEE Trans. Software Eng. SE-2:3 (1976), 215–222.
11. Clarke, L.A., Richardson, D.J., Symbolic evaluation methods—Implementations and applications. Chandrasekaran, B., Radicchi, S., (eds.) “Computer Program Testing”, 1981, North-Holland, Amsterdam, 65–102.
12. Clarke, L.A., Hassell, J., Richardson, D.J., A close look at domain testing. IEEE Trans. Software Eng. SE-8:4 (1982), 380–390.
13. L.A. Clarke A. Podgurski D.J. Richardson S.J. Zeil (1985) A comparison of data flow path selection criteria. Proc. 8th Int. Conf. Software Eng., pp. 244-251.
14. Davis, M., Hilbert's tenth problem is unsolvable. Amer. Math. Mon. 80 (1973), 233–269.
15. J.D. Day J.D. Gannon (1985) A test oracle based on formal specifications. Proc. SoftFair II, pp. 126-130.
16. DeMillo, R.A., Lipton, R.J., Sayward, F.G., Hints on test data selection: Help for the practicing programmer. Computer 11:4 (1978), 34–41.
17. J.W. Duran S.C. Ntafos (1981) A report on random testing. Proc. 5th Int. Conf. Software Eng., pp. 179-183.
18. Fosdick, L.D., Osterweil, L.J., Data-flow analysis in software reliability. ACM Comput. Surv. 8:3 (1976), 305–330.
19. Foster, K.A., Error sensitive test case analysis (ESTCA). IEEE Trans. Software Eng. SE-6:3 (1980), 258–264.
20. Frankl, P.G., Weyuker, E.J., A data-flow testing tool. Proc. SoftFair II (1985), 46–53.
21. Gannon, J., McMullin, P., Hamlet, R., Data-abstraction implementation, specification and testing. ACM Trans. Program. Lang. Syst. 3:3 (1981), 211–223.
22. S. Gerhart (1985) Test data generation using PROLOG. Tech. Report No. 2, Wang Institute of Graduate Studies, Tyngsboro, Mass.
23. Goodenough, J.B., Gerhart, S.L., Toward a theory of test data selection. IEEE Trans. Software Eng. SE-1:2 (1975), 156–173.
24. J.S. Gourlay (1981) Theory of testing computer programs. Ph.D. dissertation, Department of Computer and Communication Sciences, The University of Michigan, Ann Arbor, Michigan.
25. Gourlay, J.S., A mathematical framework for the investigation of testing. IEEE Trans. Software Eng. SE-9:6 (1983), 686–709.
26. Hamlet, R., Testing programs with finite sets of data. Comput. J. 20:3 (1977), 232–237.
27. Hamlet, R., Testing programs with the aid of a compiler. IEEE Trans. Software Eng. SE-3:4 (1977), 279–290.
28. Hecht, H.S., “Flow Analysis of Computer Programs”, 1977, North-Holland, Amsterdam.
29. Howden, W.E., Reliability of the path analysis testing strategy. IEEE Trans. Software Eng. SE-2:3 (1976), 208–215.
30. Howden, W.E., Algebraic program testing. ACTA Inform 10 (1978), 53–66.
31. Howden, W.E., A survey of dynamic analysis methods. Miller, E., Howden, W.E., (eds.) “Tutorial: Software Testing and Validation Techniques”, 1978, IEEE Computer Society, Washington, D. C, 209–231.
32. Howden, W.E., Functional program testing. IEEE Trans. Software Eng. SE-6:2 (1980), 162–169.
33. W.E. Howden (1981) Completeness criteria for testing elementary program functions. Proc. 5th Int. Conf. Software Eng., pp. 235-243.
34. Howden, W.E., Weak mutation testing and completeness of program test sets. IEEE Trans. Software Eng. SE-8:4 (1982), 371–379.
35. Howden, W.E., The theory and practice of functional testing. IEEE Software 2:5 (1985), 6–17.
36. Huang, J.C., An approach to program testing. Comput. Surv. 7 (1975), 113–128.
37. Huang, J.C., Detection of data flow anomaly through program instrumentation. IEEE Trans. Software Eng. SE-5:3 (1979), 226–236.
38. J.C. Huang “IMSL Library Reference Manual”. Int. Math. and Statist. Libraries, Houston. 1978.
39. Kerner, J.S., Design methodology subcommittee chairperson's letter and matrix. Ada Lett. 2:6 (1983), 110–115.
40. Korel, B., Laski, J., A tool for data flow oriented program testing. Proc. SoftFair II (1985), 34–37.
41. Laski, J.W., Korel, B., A data flow oriented program testing strategy. IEEE Trans. Software Eng. SE-9:3 (1983), 347–354.
42. McMullin, P.R., Gannon, J.D., Combining testing with formal specifications: A case study. IEEE Trans. Software Eng. SE-9:3 (1983), 328–334.
43. Miller, E.F., Howden, W.E., “Tutorial: Software Testing and Validation Techniques”, 1981, second ed. IEEE Computer Society Press, Los Alamitos, CA.
44. Myers, G.J., “The Art of Software Testing”, 1979, Wiley, New York.
45. Ntafos, S., On required element testing. IEEE Trans. Software Eng. SE-10:6 (1984), 795–803.
46. Ntafos, S.C., Hakimi, S.L., On path cover problems in digraphs and applications to program testing. IEEE Trans. Software Eng. SE-5:5 (1979), 520–529.
47. Osterweil, L.J., Fosdick, L.D., DAVE—A validation, error detection and documentation system for FORTRAN programs. Software Pract. Experience. 6 (1978), 473–486.
48. Osterweil, L.J., Fosdick, L.D., Taylor, R.N., Error and anomaly diagnosis through data flow analysis. Chandrasekaran, B., Radicchi, S., (eds.) “Computer Program Testing”, 1981, North-Holland, Amsterdam, 35–63.
49. Paige, M.R., Program graphs, an algebra and their implication for programming. IEEE Trans. Software Eng. SE-1:3 (1975), 286–291.
50. Parnas, D.L., A technique for software module specification with examples. Commun. ACM 15:5 (1972), 330–336.
51. Perera, I.A., White, L.J., Selecting test data for the domain testing strategy, 1985, Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada Tech. Report TR–85-5.
52. H. Pesch P. Schnupp H. Schaller A.P. Spirk (1985) Test case generation using PROLOG. Proc. 8th Int. Conf. Software Eng., pp. 252-258.
53. Ramamoorthy, C.V., Kim, K.H., Optimal placement of software monitors aiding systematic testing. IEEE Trans. Software Eng. SE-1:4 (1975), 403–410.
54. Rapps, S., Weyuker, E.J., Selecting software test data using data flow information. IEEE Trans. Software Eng. SE-11:4 (1985), 367–375.
55. Redwine, S.T., An engineering approach to test data design. IEEE Trans. Software Eng. SE-9:2 (1983), 191–200.
56. D.J. Richardson L.A. Clarke (1981) A partition analysis method to increase program reliability. Proc. 5th Int. Conf. Software Eng., pp. 244-253.
57. Richardson, D.J., Clarke, L.A., Partition analysis: A method of combining testing and verification. IEEE Trans. Software Eng. SE-11:12 (1985), 1477–1490.
58. Stucki, L.G., New directions in automated tools for improving software quality. Yeh, R.T., (eds.) “Current Trends in Programming Methodology, Vol. 2: Program Validation”, 1977, Prentice Hall, Englewood Cliffs, New Jersey, 80–111.
59. Taylor, R.N., Osterweil, L.J., Anomaly detection in concurrent software by static data flow analysis. IEEE Trans. Software Eng. SE-6:3 (1980), 265–278.
60. Ural, H., Probert, R., User-guided test sequence generation. Sunshine, C., (eds.) “Protocol Specification, Testing and Verification III”, 1983, North-Holland, Amsterdam, 421–436.
61. J.E. Urban (1982) Software development with executable function specifications. Proc. 6th Int. Conf. Software Eng., pp. 418-419.
62. Weyuker, E.J., The applicability of program schema results to programs. Int. J. Comput. Inf. Sci. 8 (1979), 387–403.
63. Weyuker, E.J., The complexity of data flow criteria for test data selection. Inf. Process. Lett. 19:2 (1984), 103–109.
64. Weyuker, E.J., Ostrand, T.J., Theories of program testing and the application of revealing subdomains. IEEE Trans. Software Eng. SE-6:3 (1980), 236–246.
65. White, L.J., Basic mathematical definitions and results in testing. Chandrasekaran, B., Radicci, S., (eds.) “Computer Program Testing”, 1981, North-Holland, Amsterdam, 13–24.
66. White, L.J., Cohen, E.I., A domain strategy for computer program testing. IEEE Trans. Software Eng. SE-6:3 (1980), 247–257.
67. L.J. White P.N. Sahay (1985) Experiments determining best paths for testing computer program predicates. Proc. 8th Int. Conf. Software Eng., pp. 238-243.
68. White, L.J., Teng, F.C., Kuo, H., Coleman, D., An error analysis of the domain testing strategy, 1978, Ohio State University, Columbus, Ohio Tech. Report CISRC-TR-78-2.
69. White, L.J., Cohen, E.I., Zeil, S.J., A domain strategy for computer program testing. Chandrasekaran, B., Radicchi, S., (eds.) “Computer Program Testing”, 1981, North-Holland, Amsterdam, 103–113.
70. B.W. Wiszniewski (1985) Can domain testing overcome loop analysis? Proc. 9th Comput. Software Appl. Conf., pp. 304-309.
71. Woodward, M.R., Hedley, D., Hennell, M.A., Experience with path analysis and testing of programs. IEEE Trans. Software Eng. SE-6:3 (1980), 278–286.
72. S.J. Zeil (1981) Selecting sufficient sets of test paths for program testing. Ph.D. dissertation, Ohio State University, Columbus, Ohio. Tech. Report OSU-CISRC-TR-81-10.
73. S.J. Zeil (1983a) Perturbation testing for domain errors. Tech. Report 83-38, Univ. Mass., Amherst, Mass.
74. Zeil, S.J., Testing for perturbations of program statements. IEEE Trans. Software Eng. SE-9:3 (1983), 335–346.
75. Zeil, S.J., Perturbation testing for computational errors, 1984, Univ. Mass., Amherst, Mass 257-265 Proc. 7th Int. Conf. Software Eng. Tech. Report 83-23 (1983).
76. S.J. Zeil L.J. White (1981) Sufficient test sets for path analysis testing strategies. Proc. 5th IEEE Int. Conf. Software Eng., pp. 184-191.