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 Download
