Research Summaries

Back Lightweight Formal Methods for Software Security Testing Automation

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