✦ LIBER ✦

Model-Based Test Case Generation for Smart Cards

✍ Scribed by J. Philipps; A. Pretschner; O. Slotosch; E. Aiglstorfer; S. Kriebel; K. Scholl

Book ID: 108498370
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 261 KB
Volume: 80
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80817-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Test Case Generation for Mutation-based

Test Case Generation for Mutation-based Testing of Timeliness

✍ Robert Nilsson; Jeff Offutt; Jonas Mellin 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 346 KB

Class hierarchical test case generation

Class hierarchical test case generation algorithm based on expanded EMDPN model

✍ Li, Jun-yi ;Gong, Hong-fang ;Hu, Ji-ping ;Zou, Bei-ji ;Sun, Jia-guang 📂 Article 📅 2006 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 298 KB

A method for model based test harness ge

A method for model based test harness generation for component testing

✍ Camila Ribeiro Rocha; Eliane Martins 📂 Article 📅 2008 🏛 SciELO 🌐 English ⚖ 500 KB

Knowledge-based relevance filtering for

Knowledge-based relevance filtering for efficient system-level test-based model generation

✍ Tiziana Margaria; Harald Raffelt; Bernhard Steffen 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 564 KB

Security enhancement for the timestamp-b

Security enhancement for the timestamp-based password authentication scheme using smart cards

✍ Jau-Ji Shen; Chih-Wei Lin; Min-Shiang Hwang 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 272 KB

In 1999, Yang and Shieh proposed a timestamp-based password authentication scheme with smart cards. However, Chan and Cheng showed that it was insecure because the scheme was vulnerable to the forged login attack. In this paper, we propose a modified Yang-Shieh scheme to enhance security. Our modifi

Automatic Model-Based Generation of Para

Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction

✍ Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 458 KB