"DIFFERENTIAL SYMBOLIC EXECUTION: SUPPORTING EVOLUTION OF HIGH ASSURANCE SOFTWARE" NASA SYSTEMS INCREASINGLY DEPEND ON SOFTWARE TO ENABLE MORE DEMAND
$1,500,000FY2008National Aeronautics and Space AdministrationNASA
University Of Nebraska, Lincoln NE