A unified symbolic execution system

Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA

Volumn 2001-January, Issue , 2001, Pages 466-469

  Koutsikas, C ^a   Malevris, N ^b  

^a NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

^b ATHENS UNIVERSITY OF ECONOMICS AND BUSINESS   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA COMMUNICATION SYSTEMS; HEURISTIC METHODS; LIFE CYCLE; MODEL CHECKING; TESTING;

AUTOMATED TEST DATA GENERATION; INTERMEDIATE REPRESENTATIONS; PROGRAM EVALUATION; SCRIPTING LANGUAGES; SOFTWARE LIFE CYCLES; SYMBOLIC EXECUTION; TEST DATA GENERATION; TESTING METHOD;

SOFTWARE TESTING;

EID: 77954890134     PISSN: 21615322     EISSN: 21615330     Source Type: Conference Proceeding    
DOI: 10.1109/AICCSA.2001.934045     Document Type: Conference Paper

References (15)

1. G.J. Myers, The Art of Software Testing, John Wiley, 1979.
2. M. Roper, Software Testing, McGraw-Hill, 1994.
3. J. Bicevskis, J. Borzovs, U. Straujums, A. Zarins, and E.F. Miller, "SMOTL - a system to construct samples for data processing program debugging", IEEE Trans. on Software Engineering, 5(1), 1979, pp. 60-66.
4. R.S. Boyer, B. Elspas, and K.N. Levitt, "SELECT-A Formal System for Testing and Debugging Programs by Symbolic Execution", Proceedings of the 1975 International Conference on Reliable Software, 1975, pp. 234-145.
5. L.A. Clarke, "A System to Generate Test Data and Symbolically Execute Programs", IEEE Trans. on Software Engineering, 2(3), 1976, pp. 215-222.
6. A.Coen-Parisi and F. De Paoli, "SYMBAD: a symbolic executor of sequential ada programs", Proceedings SafeComp, 1990, pp. 105-111.
7. P.D. Coward, D. Ince, The symbolic execution of software. The SYM-BOL system, Chapman & Hall, Great Britain, 1995.
8. M. R. Girgis, "An experimental evaluation of a symbolic execution system", Software Engineering Journal, 1992, pp. 285-290.
9. W.E. Howden, "Symbolic Testing and the DISSECT Symbolic Evaluation System", IEEE Trans. on Software Engineering, 3(4), 1977, pp. 266-278.
10. W.E. Howden, "DISSECT-A Symbolic Evaluation and Program Testing", IEEE Trans. on Software Engineering, 4(1), 1978, pp. 70-73.
11. R.A. Kemmerer and S.T. Eckmann, "UNISEX: a UNIx-based Symbolic EXecutor for Pascal", Software - Practice and Experience, 15(5), 1985, pp. 439-458.
12. C.V. Ramamoorthy, S.B.F. Ho, and W.T. Chen, "On the Automated Generation of Program Test Data", IEEE Trans. on Software Engineering, SE-2(4), 1976, pp. 293-300.
13. D. Ince, "The automatic generation of test data", Computer Journal, 30(1), 1987, pp. 63-69.
14. C. Koutsikas C., N. Malevris, Skordalakis E., "SYMEXLAN - A Symbolic Execution Script Language", Proceedings of the fourth International Conference on Software Engineering (SEA 2000), Las Vegas, November 2000, pp. 29-34.
15. C. Koutsikas C., Test Data Generation in Software Testing, PhD Thesis, National Technical University of Athens, December 2000.