Using Automation to Close the Loop Between Functional Requirements and Their Verification

Author(s):
Brian Craw, David Crutchfield, Martin Oberkoenig, Markus Heigl, and Martin O’Keeffe