@inproceedings{dfb96d352823439c8e930930feafa8bd,
title = "Software assurance research infusion: The NASA experience",
abstract = "We present the ongoing NASA Research Infusion Initiative, a sub-group of the NASA Software Working Group which encourages the use of advanced technologies and the products of software engineering research in NASA projects and missions. An emphasis is placed on technologies and products that address software assurance. Technology infusion is generally a difficult process, but the effort described here seems to have found a modest approach that is successful for some types of technologies. We outline the process and report on the outcomes of some infusions run over the last three years. We also present some lessons learned from our experiences.",
author = "Hinchey, {Michael G.} and Thomas Pressburger and Feather, {Martin S.} and Lawrence Markosian and Wes Deadrick",
year = "2006",
doi = "10.1109/ISoLA.2006.56",
language = "English",
isbn = "0769530710",
series = "Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation",
publisher = "IEEE Computer Society",
pages = "18--27",
booktitle = "Proceedings - ISoLA 2006",
note = "2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006 ; Conference date: 15-11-2006 Through 19-11-2006",
}