𝔖 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 - Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation

✍ Scribed by Paige, Emine G.; Woodcock, Jim

Book ID: 126645789
Publisher: IEEE
Year: 2008
Tongue: English
Weight: 172 KB
Category: Article
ISBN: 0769533884
DOI: 10.1109/ICSTW.2008.29

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 - 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 - Search-based Testing using State-based Fitness

✍ Lefticaru, Raluca; Ipate, Florentin 📂 Article 📅 2008 🏛 IEEE ⚖ 115 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