Fiscal Year	2007
Division	Graduate School of Operational & Information Sciences
Department	Computer Science
Investigator(s)	Irvine, Cynthia E.
Sponsor	Office of Naval Research (Navy)
Summary	Testing is a significant element in the production of high assurance systems. Yet, current testing technologies are labor intensive and lack a formal basis, so that comprehensive testing can seriously impede the time to market of new products. To address these problems, we propose to develop automated tools for software security testing.
Keywords
Publications	Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal
Data	Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal