𝔖 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 - Test generation and execution for security rules in temporal logic

✍ Scribed by Darmaillacq, Vianney; Richier, Jean-Luc; Groz, Roland

Book ID: 126594066
Publisher: IEEE
Year: 2008
Tongue: English
Weight: 254 KB
Category: Article
ISBN: 0769533884
DOI: 10.1109/ICSTW.2008.41

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

✍ Mouelhiv, Tejeddine; Fleurey, Franck; Baudry, Benoit 📂 Article 📅 2008 🏛 IEEE ⚖ 354 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 - Incorporating Metrics in an Organizational Test Strategy

✍ Afzal, Wasif; Torkar, Richard 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 143 KB