Fiscal Year	2008
Division	Graduate School of Operational & Information Sciences
Department	Computer Science
Investigator(s)	Drusinsky, Doron
Sponsor	Marine Corps Systems Command (Marine Corps)
Summary	This research will provide a proof-of-concept for using requirement/assertion-based automatic test generation for the purpose of secure COC software validation. The suggested novel innovation is in the use of automated monitors, based on UML-based formal assertions.
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