Fiscal Year	2008
Division	Graduate School of Operational & Information Sciences
Department	Computer Science
Investigator(s)	Auguston, Mikhail
Sponsor	Army Tank Automotive Research and Engineering Center (Army)
Summary	We suggest an original approach to automatic scenario generation from environment models for testing of real-time reactive systems.
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