𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Testing of Software and Communication Systems Volume 5826 || Testing Timed Finite State Machines with Guaranteed Fault Coverage

✍ Scribed by Núñez, Manuel; Baker, Paul; Merayo, Mercedes G.

Book ID
120072912
Publisher
Springer Berlin Heidelberg
Year
2009
Tongue
German
Weight
314 KB
Category
Article
ISBN
364205031X

No coin nor oath required. For personal study only.

✦ Synopsis

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. The 13 Revised Full Papers Presented Together With 6 Short Papers Were Carefully Selected From 37 Submissions To Both Events. The Papers Cover New Approaches, Concepts, Theories, Methodologies, Tools, And Experiences In The Field Of Testing Of Communicating Systems And General Software.

📜 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 || 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 of Software and Communicating Systems Volume 4581 || Model Based Testing of an Embedded Session and Transport Protocol
✍ Petrenko, Alexandre; Veanes, Margus; Tretmans, Jan; Grieskamp, Wolfgang 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 413 KB

This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia. It covers all current issues in t