A new script language applicable to symbolic execution systems

International Journal of Computers and Applications

Volumn 28, Issue 1, 2006, Pages 1-10

  Koutsikas, C ^a   Malevris, N ^b  

^a HELLENIC OPEN UNIVERSITY   (Greece)

^b ATHENS UNIVERSITY OF ECONOMICS AND BUSINESS   (Greece)

Author keywords

Symbolic execution; Test data generation; Testing techniques

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE; DATA REDUCTION;

SYMBOLIC EXECUTION; TEST DATA GENERATION; TESTING TECHNIQUES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 31644445179     PISSN: 1206212X     EISSN: None     Source Type: Journal    
DOI: 10.1080/1206212x.2006.11441782     Document Type: Article

References (21)

1. D. Alberts, The economics of software quality assurance, AFIPS Conf. Proc. 1976 Nat. Computer Conf., Montvale, New York, 1976, 433-442.
2. G.J. Myers, The art of software testing (New York: John Wiley, 1979).
3. M. Roper, Software testing (Berkshire: McGraw-Hill, 1994).
4. J. Bicevskis, J. Borzovs, U. Straujums, A. Zarins, & E.F. Miller, SMOTL: A system to construct samples for data processing program debugging, IEEE Trans. on Software Engineering, 5(1), 1979, 60-66.
5. R.S. Boyer, B. Elspas, & K.N. Levitt, SELECT: A formal system for testing and debugging programs by symbolic execution, Proc. 1975 Int. Conf. on Reliable Software, Los Angeles, CA, 1975, 234-145.
6. L.A. Clarke, A system to generate test data and symbolically execute programs, IEEE Trans. on Software Engineering, 2(3), 1976, 215-222.
7. A. Coen-Parisi & F. De Paoli, SYMBAD: A symbolic executor of sequential ada programs, Proc. SafeComp, London, 1990, 105-111.
8. P.D. Coward & D. Ince, The symbolic execution of software: The SYM-BOL system (London: Chapman & Hall, 1995).
9. M.R. Girgis, An experimental evaluation of a symbolic execution system, Software Engineering Journal, 7(4), 1992, 285-290.
10. W.E. Howden, Symbolic testing and the DISSECT symbolic evaluation system, IEEE Trans. on Software Engineering, 3 (4), 1977, 266-278.
11. W.E. Howden, DISSECT: A symbolic evaluation and program testing, IEEE Trans. on Software Engineering, 4(1), 1978, 70-73.
12. R.A. Kemmerer & S.T. Eckmann, UNISEX: A UNIx-based Symbolic EXecutor for Pascal, Software - Practice and Experience, 15(5), 1985, 439-458.
13. C.V. Ramamoorthy, S.B.F. Ho, & W.T. Chen, On the automated generation of program test data, IEEE Trans. on Software Engineering, SE-2(4), 1976, 293-300.
14. L.A. Clarke & D.J. Richardson, Applications of symbolic evaluation, The Journal of Systems and Software, 5, 1985, 15-35.
15. D. Ince, The automatic generation of test data, Computer Journal, 30(1), 1987, 63-69.
16. P.D. Coward, Symbolic execution systems: A review, Software Engineering Journal, 5(6), 1988, 229-239.
17. S.L. Hantler & J.C. King, An introduction to proving the correctness of programs, Computing Surveys, 8(3), 1976, 331-353.
18. T.E. Cheatman, G.H. Holloway, & J.A. Townley, Symbolic evaluation and the analysis of programs, IEEE Trans. on Software Engineering, 5(5), 1979, 402-417.
19. S.L. Hantler & J.C. King, An introduction to proving the correctness of programs, Computing Surveys, 18(3), 1976, 331-353.
20. T. Lindgren, Control flow analysis of Prolog, UPMAIL Technical Report No. 112, August 22, 1995, Computing Science Department, Uppsala University, Sweden.
21. C. Koutsikas & N. Malevris, Test data generation with the aid of symbolic execution, Proc. IASTED Int. Conf, on Applied Informatics, Innsbruck, 2001, 649-654.