𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Graph Transformations Volume 7562 || Testing against Visual Contracts: Model-Based Coverage

✍ Scribed by Ehrig, Hartmut; Engels, Gregor; Kreowski, Hans-Jörg; Rozenberg, Grzegorz

Book ID
118059275
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
462 KB
Category
Article
ISBN
364233654X

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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] Mode
[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 19 Model Checking
✍ Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 545 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] 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

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] Adva
[Lecture Notes in Computer Science] Advances in Visual Computing Volume 6939 || Model-Based Chart Image Classification
✍ Bebis, George; Boyle, Richard; Parvin, Bahram; Koracin, Darko; Wang, Song; Kyung 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 210 KB

The Two Volume Set Lncs 6938 And Lncs 6939 Constitutes The Refereed Proceedings Of The 7th International Symposium On Visual Computing, Isvc 2011, Held In Las Vegas, Nv, Usa, In September 2011. The 68 Revised Full Papers And 46 Poster Papers Presented Together With 30 Papers In The Special Tracks We