Fiscal Year	2012
Division	Graduate School of Operational & Information Sciences
Department	Computer Science
Investigator(s)	Berzins, Valdis A.
Sponsor	National University of Singapore (Other)
Summary	The researchers plan to address the complexity of Systems-of-Systems (SoS) development, with a focus on the embedded software, especially with the growing importance and complexity of software in modern SoS development. In addition, the cost of software debugging and correction is much more expensive at the later stages of the project development. Therefore, there is a need for improved software specification, validation and verification. The proposed research is aimed at the application of slicing methods to (1) safely reduce re-testing and 92) to allocate testing efforts most effectively to reduce operational risks associated with software.
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