A NEW SCRIPT LANGUAGE APPLICABLE TO SYMBOLIC EXECUTION SYSTEMS

C. Koutsikas and N. Malevris

References

  1. [1] D. Alberts, The economics of software quality assurance,AFIPS Conf. Proc. 1976 Nat. Computer Conf., Montvale, NewYork, 1976, 433–442.
  2. [2] G.J. Myers, The art of software testing (New York: JohnWiley, 1979).9
  3. [3] M. Roper, Software testing (Berkshire: McGraw-Hill, 1994).
  4. [4] J. Bicevskis, J. Borzovs, U. Straujums, A. Zarins, & E.F. Miller,SMOTL: A system to construct samples for data processingprogram debugging, IEEE Trans. on Software Engineering,5 (1), 1979, 60–66. doi:10.1109/TSE.1979.226498
  5. [5] R.S. Boyer, B. Elspas, & K.N. Levitt, SELECT: A formalsystem for testing and debugging programs by symbolic execu-tion, Proc. 1975 Int. Conf. on Reliable Software, Los Angeles,CA, 1975, 234–145. doi:10.1145/800027.808445
  6. [6] L.A. Clarke, A system to generate test data and symbolicallyexecute programs, IEEE Trans. on Software Engineering, 2 (3),1976, 215–222. doi:10.1109/TSE.1976.233817
  7. [7] A. Coen-Parisi & F. De Paoli, SYMBAD: A symbolic executorof sequential ada programs, Proc. SafeComp, London, 1990,105–111.
  8. [8] P.D. Coward & D. Ince, The symbolic execution of software:The SYM-BOL system (London: Chapman & Hall, 1995).
  9. [9] M.R. Girgis, An experimental evaluation of a symbolic ex-ecution system, Software Engineering Journal, 7 (4), 1992,285–290.
  10. [10] W.E. Howden, Symbolic testing and the DISSECT symbolicevaluation system, IEEE Trans. on Software Engineering, 3 (4),1977, 266–278. doi:10.1109/TSE.1977.231144
  11. [11] W.E. Howden, DISSECT: A symbolic evaluation and programtesting, IEEE Trans. on Software Engineering, 4 (1), 1978,70–73. doi:10.1109/TSE.1978.231468
  12. [12] R.A. Kemmerer & S.T. Eckmann, UNISEX: A UNIx-basedSymbolic EXecutor for Pascal, Software—Practice and Expe-rience, 15 (5), 1985, 439–458. doi:10.1002/spe.4380150504
  13. [13] C.V. Ramamoorthy, S.B.F. Ho, & W.T. Chen, On the au-tomated generation of program test data, IEEE Trans. onSoftware Engineering, SE-2 (4), 1976, 293–300. doi:10.1109/TSE.1976.233835
  14. [14] L.A. Clarke & D.J. Richardson, Applications of symbolicevaluation, The Journal of Systems and Software, 5, 1985,15–35. doi:10.1016/0164-1212(85)90004-4
  15. [15] D. Ince, The automatic generation of test data, ComputerJournal, 30 (1), 1987, 63–69. doi:10.1093/comjnl/30.1.63
  16. [16] P.D. Coward, Symbolic execution systems: A review, SoftwareEngineering Journal, 3 (6), 1988, 229–239.
  17. [17] S.L. Hantler & J.C. King, An introduction to proving thecorrectness of programs, Computing Surveys, 8 (3), 1976, 331–353. doi:10.1145/356674.356677
  18. [18] T.E. Cheatman, G.H. Holloway, & J.A. Townley, Symbolicevaluation and the analysis of programs, IEEE Trans. onSoftware Engineering, 5 (5), 1979, 402–417.
  19. [19] S.L. Hantler & J.C. King, An introduction to proving thecorrectness of programs, Computing Surveys, 18 (3), 1976,331–353. doi:10.1145/356674.356677
  20. [20] T. Lindgren, Control flow analysis of Prolog, UPMAIL Tech-nical Report No. 112, August 22, 1995, Computing ScienceDepartment, Uppsala University, Sweden.
  21. [21] C. Koutsikas & N. Malevris, Test data generation with the aidof symbolic execution, Proc. IASTED Int. Conf. on AppliedInformatics, Innsbruck, 2001, 649–654.

Important Links:

Go Back