- Related Research Areas
-
Verification and Validation
- Project Description
- 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.
- Project Administrator(s):
-
MISTY DAVIES
Members
×