✦ LIBER ✦

Model checking-based testing of Web applications

✍ Scribed by Hongwei Zeng; Huaikou Miao

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 IEEE International Conference

✍ Armando, Alessandro; Carbone, Roberto; Compagna, Luca; Li, Keqin; Pellegrino, Gi 📂 Article 📅 2010 🏛 IEEE ⚖ 453 KB

Generating test case specifications of w

✍ Ling-li Qian; Yi-hai Chen 📂 Article 📅 2011 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 208 KB

Multivariate testing and model-checking

✍ Bedbur, Stefan; Beutner, Eric; Kamps, Udo 📂 Article 📅 2013 🏛 Taylor and Francis Group 🌐 English ⚖ 357 KB

Testing Processes of Web Applications

✍ Filippo Ricca; Paolo Tonella 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 243 KB

Security models for web-based applicatio

✍ Joshi, James B. D.; Aref, Walid G.; Ghafoor, Arif; Spafford, Eugene H. 📂 Article 📅 2001 🏛 Association for Computing Machinery 🌐 English ⚖ 108 KB

Security models for web-based applicatio

✍ Joshi, James B. D.; Aref, Walid G.; Ghafoor, Arif; Spafford, Eugene H. 📂 Article 📅 2001 🏛 Association for Computing Machinery 🌐 English ⚖ 108 KB