Symbolic evaluation -- an aid to testing and verification

Authors:
Lori A. Clarke;Debra J. Richardson
Affiliations:
Univ. of Massachusetts, Amherst;Univ. of Massachusetts, Amherst
Venue:
Proc. of a symposium on Software validation: inspection-testing-verification-alternatives
Year:
1984

Citing 0
Cited 5

Combining Static Concurrency Analysis with Symbolic Execution

IEEE Transactions on Software Engineering
Perturbation Techniques for Detecting Domain Errors

IEEE Transactions on Software Engineering
Detection of linear errors via domain testing

ACM Transactions on Software Engineering and Methodology (TOSEM)
WISE: Automated test generation for worst-case complexity

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Automated verification and testing of user-interactive undo features in database applications

Software Testing, Verification & Reliability

Quantified Score

Hi-index	0.00

Visualization

Abstract