Automated test case generation for reactive software systems based on environment models /

Description

Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 2005. / Thesis Advisor(s): Mikhail Auguston, James B. Michael. Includes bibliographical references (p. 55-56). Also available online.

Links & Downloads

1. http://library.nps.navy.mil/uhtbin/hyperion/05Jun%5FImanian.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/62102703
Date	January 2005
Creators	Imanian, James A.
Publisher	Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service,
Source Sets	OCLC
Language	English
Detected Language	English
Source	(393 KB)