𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Testing Software and Systems Volume 7641 || Active Learning of Extended Finite State Machines

✍ Scribed by Nielsen, Brian; Weise, Carsten

Book ID
118127609
Publisher
Springer Berlin Heidelberg
Year
2012
Tongue
English
Weight
152 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 of Software and Communication Systems Volume 5826 || Testing Timed Finite State Machines with Guaranteed Fault Coverage
✍ NΓΊΓ±ez, Manuel; Baker, Paul; Merayo, Mercedes G. πŸ“‚ Article πŸ“… 2009 πŸ› Springer Berlin Heidelberg 🌐 German βš– 314 KB

This Book Constitutes The Refereed Proceedings Of The 21th Ifip Wg 6.1 International Conference On Testing Communicating Systems, Testcom 2009, And The 9th International Workshop On Formal Approaches To Testing Of Software, Fates 2009, Jointly Held In Eindhoven, The Netherlands, In November 2009. Th

[Lecture Notes in Computer Science] Mode
[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 21 Finite State Machines
✍ Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner πŸ“‚ Article πŸ“… 2005 πŸ› Springer Berlin Heidelberg 🌐 German βš– 197 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