- Resources
- 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
Discussions
Popular Resources
-
An Algorithm, Symbolic Execution Enhanced System Testing - 12 years, 7 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 ...
Related Projects
-
-
Aircraft Nuclear Propulsion
1 members
-
hiliftideas
1 members
Need help?
Visit our help center