Software Assurance Research Infusion: The NASA Experience | IEEE Conference Publication | IEEE Xplore