𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Verification of UML/OCL Class Diagrams using Constraint Programming

✍ Scribed by Cabot, Jordi; Claris´o, Robert; Riera, Daniel

Book ID: 121838340
Publisher: IEEE
Year: 2008
Tongue: English
Weight: 361 KB
Category: Article
ISBN: 0769533884
DOI: 10.1109/ICSTW.2008.54

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 IEEE International Conference

[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Learning from Software Security Testing

✍ Tøndel, Inger Anne; Jaatun, Martin Gilje; Jensen, Jostein 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 160 KB

[IEEE 2008 IEEE International Conference

[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Open Problems in Testability Transformation

✍ Harman, M. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 255 KB

[IEEE 2008 IEEE International Conference

[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Towards Constraing-Based Local Search for Automatic Test Data Generation

✍ Gotlieb, Arnaud; Lazaar, Nadjib; Lebbah, Yahia 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 145 KB

[IEEE 2008 International Conference on S

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Prioritizing User-Session-Based Test Cases for Web Applications Testing

✍ Sampath, Sreedevi; Bryce, Renee C.; Viswanath, Gokulanand; Kandimalla, Vani; Kor 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 398 KB

[IEEE 2008 International Conference on S

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation

✍ Kaplan, Matthew; Klinger, Tim; Paradkar, Amit M.; Sinha, Avik; Williams, Clay; Y 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 429 KB

[IEEE 2008 International Conference on S

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - The Use of Intra-Release Product Measures in Predicting Release Readiness

✍ Ware, M.P.; Wilkie, F.G.; Shapcott, M. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 459 KB