loading...
AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements
Boca Raton, Florida October 20-October 23
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766301Second IEEE Workshop on Industrial St ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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 -
 
Ashish Jain, Bellcore
Gardner Patton, Bellcore
Manish Rathi, Bellcore
Paul Seymour, Bellcore
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
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions