๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[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

โœ Scribed by Nielsen, Brian; Weise, Carsten

Book ID
120541440
Publisher
Springer Berlin Heidelberg
Year
2012
Tongue
English
Weight
810 KB
Edition
1
Category
Article
ISBN
364234691X

No coin nor oath required. For personal study only.

โœฆ Synopsis

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 papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Test
[Lecture Notes in Computer Science] Testing Software and Systems Volume 7641 || Active Learning of Extended Finite State Machines
โœ Nielsen, Brian; Weise, Carsten ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 152 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

[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