AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Siddhartha R. Dalal Articles by Ashish Jain Articles by Gardner Patton Articles by Manish Rathi Articles by Paul Seymour

Second IEEE Workshop on Industrial Strength Formal Specification Techniques

Boca Raton, Florida

October 20-October 23

ISBN: 0-7695-0081-1

	ASCII Text	x
	Siddhartha R. Dalal, Ashish Jain, Gardner Patton, Manish Rathi, Paul Seymour, "AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements," Industrial-Strength Formal Specification Techniques, Workshop on, pp. 84, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998.

	BibTex	x
	@article{ 10.1109/WIFT.1998.766301, author = {Siddhartha R. Dalal and Ashish Jain and Gardner Patton and Manish Rathi and Paul Seymour}, title = {AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements}, journal ={Industrial-Strength Formal Specification Techniques, Workshop on}, volume = {0}, year = {1998}, isbn = {0-7695-0081-1}, pages = {84}, doi = {http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766301}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Industrial-Strength Formal Specification Techniques, Workshop on TI - AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements SN - 0-7695-0081-1 SP EP A1 - Siddhartha R. Dalal, A1 - Ashish Jain, A1 - Gardner Patton, A1 - Manish Rathi, A1 - Paul Seymour, PY - 1998 VL - 0 JA - Industrial-Strength Formal Specification Techniques, Workshop on ER -

Siddhartha R. Dalal, Bellcore

Ashish Jain, Bellcore

Gardner Patton, Bellcore

Manish Rathi, Bellcore

Paul Seymour, Bellcore

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766301

AETGSMWeb is a web based service developed by Bell-core researchers for enabling model based testing. In model based testing, the functional test requirements of the system are first modeled and then testcases based on this model arecreated or generated. AETGSMWeb employs a web based user interface to model the functional requirements of the System Under Test, and automatically generates testcases for the system using the AETGSMtest case generation technology. A brief review of modeling using AETGSMWeb and the AETGSMtest generation paradigm is explained.

Citation:

Siddhartha R. Dalal, Ashish Jain, Gardner Patton, Manish Rathi, Paul Seymour, "AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements," wift, pp.84, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.