Symbolic execution systems—a review

PD Coward - Software Engineering Journal, 1988 - IET
Symbolic execution is a technique that is useful in the validation of software. It may be used
to aid in the generation of test data and in program proving. As software engineering …
被引用次数：119 相关文章
[PDF] psu.edu

[PDF][PDF] Symbolic execution systems-a review

PD Coward - Software Engineering Journal, 1988 - Citeseer
Symbolic execution is a technique that is useful in the validation of software. It may be used
to aid in the generation of test data and in program proving. As software engineering …

[引用][C] Symbolic execution systems—a review

PD Coward - Software Engineering Journal, 1988 - dl.acm.org
Symbolic execution systems—a review | Software Engineering Journal skip to main content
ACM Digital Library home ACM home Google, Inc. (search) Advanced Search Browse About …