✦ LIBER ✦

Tool Supported Test Frameworks in TTCN-3

✍ Scribed by Ina Schieferdecker; Theofanis Vassiliou-Gioles

Book ID: 108498372
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 418 KB
Volume: 80
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80822-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Framework testing of web applications us

Framework testing of web applications using TTCN-3

✍ Bernard Stepien; Liam Peyton; Pulei Xiong 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 719 KB

A conformance test suite for TTCN-3 tool

A conformance test suite for TTCN-3 tools

✍ Zeiss, Benjamin; Kovacs, Andras; Pakulin, Nikolay; Stanca-Kaposta, Bogdan 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 310 KB

Introduction to the special section on a

Introduction to the special section on advances in test automation: the evolution of TTCN-3

✍ Ina Schieferdecker; Jens Grabowski 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 75 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 3395 || Test Patterns with TTCN-3

✍ Grabowski, Jens; Nielsen, Brian 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 131 KB

Testing Often Accounts For More Than 50% Of The Required E?ort During System Development.thechallengeforresearchistoreducethesecostsbyprovidingnew Methods For The Speci?cation And Generation Of High-quality Tests. Experience Has Shown That The Use Of Formal Methods In Testing Represents A Very Impor

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 16 TTCN-3

✍ Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 695 KB

Testing Is The Primary Hardware And Software Verification Technique Used By Industry Today. Usually, It Is Ad Hoc, Error Prone, And Very Expensive. In Recent Years, However, Many Attempts Have Been Made To Develop More Sophisticated Formal Testing Methods. This Coherent Book Provides An In-depth Ass

[Lecture Notes in Computer Science] Test

[Lecture Notes in Computer Science] Testing Software and Systems Volume 7641 || Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems

✍ Nielsen, Brian; Weise, Carsten 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 810 KB

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The