𝔖 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 - A Generic Metamodel For Security Policies Mutation

✍ Scribed by Mouelhiv, Tejeddine; Fleurey, Franck; Baudry, Benoit

Book ID: 126671440
Publisher: IEEE
Year: 2008
Weight: 354 KB
Category: Article
ISBN: 0769533884
DOI: 10.1109/ICSTW.2008.2

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 - Model transformation testing: oracle issue

✍ Mottu, Jean-Marie; Baudry, Benoit; Traon, Yves Le 📂 Article 📅 2008 🏛 IEEE ⚖ 249 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 - Test generation and execution for security rules in temporal logic

✍ Darmaillacq, Vianney; Richier, Jean-Luc; Groz, Roland 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 254 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 - Handling Constraints for Search Based Software Test Data Generation

✍ Sagarna, Ramon; Yao, Xin 📂 Article 📅 2008 🏛 IEEE ⚖ 229 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 - Search-based Testing using State-based Fitness

✍ Lefticaru, Raluca; Ipate, Florentin 📂 Article 📅 2008 🏛 IEEE ⚖ 115 KB