✦ LIBER ✦

[Lecture Notes in Computer Science] Testing of Software and Communicating Systems Volume 4581 || Model Based Testing of an Embedded Session and Transport Protocol

✍ Scribed by Petrenko, Alexandre; Veanes, Margus; Tretmans, Jan; Grieskamp, Wolfgang

Book ID: 120072910
Publisher: Springer Berlin Heidelberg
Year: 2007
Tongue: English
Weight: 413 KB
Edition: 1
Category: Article
ISBN: 3540730664
DOI: 10.1007/978-3-540-73066-8_15

No coin nor oath required. For personal study only.

✦ Synopsis

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 testing communicating systems and formal approaches in testing of software, from classical telecommunication issues to general software testing.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Test

[Lecture Notes in Computer Science] Testing Software and Systems Volume 6435 || Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing

✍ Petrenko, Alexandre; Simão, Adenilso; Maldonado, José Carlos 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 271 KB

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 4 Conformance Testing

✍ Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 406 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 7019 || Improved Usage Model for Web Application Reliability Testing

✍ Wolff, Burkhart; Zaïdi, Fatiha 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 791 KB

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || Part VI. Beyond Testing

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

[Lecture Notes in Computer Science] Test

[Lecture Notes in Computer Science] Testing Software and Systems Volume 7019 || Conformance Relations for Distributed Testing Based on CSP

✍ Wolff, Burkhart; Zaïdi, Fatiha 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 247 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Testing Volume 4949 || Model Based Testing with Labelled Transition Systems

✍ Hierons, Robert M.; Bowen, Jonathan P.; Harman, Mark 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 803 KB

This Book Constitutes The Thoroughly Refereed And Peer-reviewed Outcome Of The Formal Methods And Testing (fortest) Network - Formed As A Network Established Under Uk Epsrc Funding That Investigated The Relationships Between Formal (and Semi-formal) Methods And Software Testing - Now Being A Subject