𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - Towards Automated, Formal Verification of Model Transformations

✍ Scribed by Asztalos, Márk; Lengyel, László; Levendovszky, Tihamér

Book ID: 121492562
Publisher: IEEE
Year: 2010
Weight: 400 KB
Category: Article
ISBN: 1424464358
DOI: 10.1109/ICST.2010.42

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - Specification of UML Model Transformations

✍ Rahimi, Shekoufeh Kolahdouz 📂 Article 📅 2010 🏛 IEEE ⚖ 190 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - Elaborating Software Test Processes and Strategies

✍ Kasurinen, Jussi 📂 Article 📅 2010 🏛 IEEE ⚖ 233 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - An Industrial Survey on Contemporary Aspects of Software Testing

✍ Causevic, Adnan; Sundmark, Daniel; Punnekkat, Sasikumar 📂 Article 📅 2010 🏛 IEEE ⚖ 352 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - Holistic Model-Based Testing for Business Information Systems

✍ Mlynarski, Michael 📂 Article 📅 2010 🏛 IEEE ⚖ 259 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool

✍ Vos, Tanja E.J.; Baars, Arthur I.; Lindlar, Felix F.; Kruse, Peter M.; Windisch, 📂 Article 📅 2010 🏛 IEEE ⚖ 459 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - Repairing GUI Test Suites Using a Genetic Algorithm

✍ Huang, Si; Cohen, Myra B.; Memon, Atif M. 📂 Article 📅 2010 🏛 IEEE ⚖ 473 KB