𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2009 International Conference on Software Testing Verification and Validation (ICST) - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - An Evaluation of Model Checkers for Specification Based Test Case Generation

✍ Scribed by Fraser, Gordon; Gargantini, Angelo

Book ID: 127016454
Publisher: IEEE
Year: 2009
Weight: 280 KB
Category: Article
ISBN: 142443775X
DOI: 10.1109/icst.2009.33

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 International Conference on S

[IEEE 2009 International Conference on Software Testing Verification and Validation (ICST) - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - Optimal Resource Allocation for Batch Testing

✍ Chang, Fangzhe; Ren, Jennifer; Viswanathan, Ramesh 📂 Article 📅 2009 🏛 IEEE ⚖ 378 KB

[IEEE 2009 International Conference on S

[IEEE 2009 International Conference on Software Testing Verification and Validation (ICST) - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - Mutation Testing for Java Database Applications

✍ Zhou, Chixiang; Frankl, Phyllis 📂 Article 📅 2009 🏛 IEEE ⚖ 368 KB

[IEEE 2009 International Conference on S

[IEEE 2009 International Conference on Software Testing Verification and Validation (ICST) - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation

✍ Aydal, Emine G.; Paige, Richard F.; Utting, Mark; Woodcock, Jim 📂 Article 📅 2009 🏛 IEEE ⚖ 379 KB

[IEEE 2009 International Conference on S

[IEEE 2009 International Conference on Software Testing Verification and Validation - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - Title Page i

✍ Institute of Electrical and Electronics Engineers 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 399 KB

[IEEE 2009 International Conference on S

[IEEE 2009 International Conference on Software Testing Verification and Validation (ICST) - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - Test Input Generation Using UML Sequence and State Machines Models

✍ Bandyopadhyay, Aritra; Ghosh, Sudipto 📂 Article 📅 2009 🏛 IEEE ⚖ 295 KB

[IEEE 2009 International Conference on S

[IEEE 2009 International Conference on Software Testing Verification and Validation (ICST) - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - Quality Assurance of Software Applications Using the In Vivo Testing Approach

✍ Murphy, Christian; Kaiser, Gail; Vo, Ian; Chu, Matt 📂 Article 📅 2009 🏛 IEEE ⚖ 286 KB