Symbolic Execution Enhanced System Testing

Resources: 1 Algorithms
Related Research Areas: Verification and Validation

This project explores the use of heuristic techniques in combination with symbolic (or concolic) execution as a way to find system-level test vectors for large or nonlinear systems.

Attachments

Symbolic Execution Enhanced System Testing.pdf

817.4 KB

Discussions

Add New Comment

Popular Resources

Aerospace Example

An Algorithm, Symbolic Execution Enhanced System Testing - 13 years, 2 months ago

Shared By: MISTY DAVIES

This is a textbook, created example for illustration purposes. The System takes inputs of Pt, Ps, and Alt, and calculates the Mach number using the ...