Array representation in symbolic execution
References (16)
- et al.
Symbad: a symbolic executor of sequential Ada programs
- et al.
Symbolic evaluations methods—implementations and applications
Symbolic execution and program testing
Commun. ACM
(1976)A System to generate test data and symbolically execute programs
Trans. Softw. Engng.
(1976)Automated software test data generation
Trans. Softw. Engng
(1990)- et al.
On the automated generation of program test data
Trans. Softw. Engng
(1976) - et al.
UNISEX a UNIx—based Symbolic EXecutor for Pascal
Softw. Pract. Exper.
(1985) - et al.
An introduction to proving the correctness of programs
Comp. Surv.
(1976)
There are more references available in the full text version of this article.
Cited by (2)
Symbolic execution of floating-point computations
2006, Software Testing Verification and ReliabilityAutomatic test data generation using constraint solving techniques
1998, Proceedings of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998
Copyright © 1992 Published by Elsevier Ltd.