Automatic test generation based on formal specifications practical procedures for efficient state space exploration and improved representation of test cases /

Description

Göttingen, Univ., Diss., 2003. / Computerdatei im Fernzugriff.

Links & Downloads

1. http://webdoc.sub.gwdg.de/diss/2003/schmitt/schmitt.pdf
2. http://webdoc.sub.gwdg.de/diss/2003/schmitt/index.html
3. http://deposit.ddb.de/cgi-bin/dokserv?idn=969652275

Tags

SDL

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/637420400
Date	January 2003
Creators	Schmitt, Michael.
Publisher	[S.l.] : [s.n.],
Source Sets	OCLC
Language	Undetermined
Detected Language	English