✦ LIBER ✦

ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems

✍ Scribed by Eliane Martins; Selma B. Sabião; Ana Maria Ambrosio

Book ID: 110270398
Publisher: Springer US
Year: 1999
Tongue: English
Weight: 163 KB
Volume: 8
Category: Article
ISSN: 0963-9314
DOI: 10.1023/a:1008930105477

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

SDL- and MSC-Based Specification and Aut

SDL- and MSC-Based Specification and Automated Test Case Generation for INAP

✍ Jens Grabowski; Dieter Hogrefe 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 509 KB

Test case generation in practice for com

Test case generation in practice for communicating embedded systems

✍ C. Schwarzl; F. Wotawa 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 961 KB

Tools for Immunization Guideline Knowled

Tools for Immunization Guideline Knowledge Maintenance: II. Automated Web-Based Generation of User-Customized Test Cases

✍ Perry L. Miller; Sandra J. Frawley; Cynthia Brandt; Frederick G. Sayward 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 279 KB

A Case Study on Applying a Tool for Auto

A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO

✍ S. Morasca; A. Morzenti; P. San Pietro 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 565 KB

Model-Based Test Case Generation for Sma

Model-Based Test Case Generation for Smart Cards

✍ J. Philipps; A. Pretschner; O. Slotosch; E. Aiglstorfer; S. Kriebel; K. Scholl 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 261 KB

A test case generation approach for conf

A test case generation approach for conformance testing of SDL systems

✍ C. Bourhfir; E. Aboulhamid; R. Dssouli; N. Rico 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 203 KB

This paper presents an approach for automatic executable test case and test sequence generation for a protocol modeled by an SDL system. Our methodology uses a uni®ed method which tests an Extended Finite State Machine (EFSM) based system by using control and data ¯ow techniques. To test an SDL syst