𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Model-Checking Driven Security Testing of Web-Based Applications

✍ Scribed by Armando, Alessandro; Carbone, Roberto; Compagna, Luca; Li, Keqin; Pellegrino, Giancarlo

Book ID: 120174041
Publisher: IEEE
Year: 2010
Weight: 453 KB
Category: Article
ISBN: 142446773X
DOI: 10.1109/ICSTW.2010.54

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 IEEE International Conference

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Metamorphic Testing of Stochastic Optimisation

✍ Yoo, Shin 📂 Article 📅 2010 🏛 IEEE ⚖ 615 KB

[IEEE 2010 IEEE International Conference

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Integrating Model-Based Testing with Evolutionary Functional Testing

✍ Lindlar, Felix; Windisch, Andreas; Wegener, Joachim 📂 Article 📅 2010 🏛 IEEE ⚖ 360 KB

[IEEE 2010 IEEE International Conference

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Mutation Operators for Agent-Based Models

✍ Adra, Salem F.; McMinn, Phil 📂 Article 📅 2010 🏛 IEEE ⚖ 439 KB

[IEEE 2010 IEEE International Conference

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - When to Migrate Software Testing to the Cloud?

✍ Parveen, Tauhida; Tilley, Scott 📂 Article 📅 2010 🏛 IEEE ⚖ 221 KB

[IEEE 2010 IEEE International Conference

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Test Coverage Analysis of UML State Machines

✍ Ferreira, Ricardo D.F.; Faria, João P.; Paiva, Ana C.R. 📂 Article 📅 2010 🏛 IEEE ⚖ 547 KB

[IEEE 2010 IEEE International Conference

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Honeyware: A Web-Based Low Interaction Client Honeypot

✍ Alosefer, Yaser; Rana, Omer 📂 Article 📅 2010 🏛 IEEE ⚖ 754 KB