University of Minnesota
Software Engineering Center

You are here

Isaac Amundson

Recent Publications

Practical Aspects of Building a Constrained Random Test Framework for Safety-critical Embedded Systems

In the safety-critical embedded system industry, one of the key challenges is to demonstrate the robustness and dependability of the product prior to market release, which is typically done using various verification and validation (V&V) strategies. Directed verification testing is a common strategy that performs black-box testing at the system level; however, it only samples a small set of specific system behaviors and requires heavily manual effort.