AETGSM Web: A web based service for automatic efficient test generation from functional requirements

Proceedings - 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, WIFT 1998

Volumn 1998-October, Issue , 1998, Pages 84-85

  Dalal, S R ^a   Jain, A ^a   Patton, G ^a   Rathi, M ^a   Seymour, P ^a  

^a TELCORDIA TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; MODEL CHECKING; USER INTERFACES; WEBSITES;

FUNCTIONAL REQUIREMENT; FUNCTIONAL TEST; MODEL BASED TESTING; SYSTEM UNDER TEST; TEST CASE GENERATION; TEST GENERATIONS; WEB BASED; WEB-BASED SERVICE;

WEB SERVICES;

EID: 84898533664     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WIFT.1998.766301     Document Type: Conference Paper

References (4)

1. K. Burr. Combinatorial test techniques: Table-based, test generation, and code coverage. In Software Testing Analysis and Review (STAR West), San Diego, CA, Oct. 1998.
2. Cohen, Dalal, Fredman, and Patton. The AETG system: An approach to testing based on combinatorial design. IEEE Transactions on Software Engineering, 23(7), 1997.
3. Cohen, Dalal, Parelius, and Patton. The combinatorial design approach to automatic test generation. In Proceedings of the Seventh International Symposium on Software Reliability Engineering, White Plains, NY, 1996.
4. Dalal, Jain, Karunanithi, Leaton, and Lott. Model-based testing of a highly programmable system. In Proceedings of the Ninth International Symposium on Software Reliability Engineering, Paderborn, Germany, Nov. 1998.