- 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 - 13 years, 3 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
-
Health management of aircraft ...
2 members
-
Aviation Safety Technology Portal ...
15 members
-
Flight Opportunities Program
1 members
Need help?
Visit our help center