✦ LIBER ✦

Test data generation based on a formal analysis of the project configuration data

✍ Scribed by A. V. Bataev; A. A. Davydov; N. Yu. Nalutin; S. V. Sinitsyn

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal notion of program-based test da

✍ Martin D. Davis; Elaine J. Weyuker 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 836 KB

A formal requirements specification meth

✍ Shaoying Liu 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 983 KB

Evolutionary generation of test data for

✍ Dunwei Gong; Wanqiu Zhang; Xiangjuan Yao 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 755 KB

Analysis of push-out test data based on

✍ J. I. Thompson; P. J. Gregson; P .A. Revell 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 170 KB

Model of generic project risk element tr

✍ Li, Cun-bin ;Wang, Jian-jun 📂 Article 📅 2008 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 202 KB

Formalized complexity analysis based on

✍ G. P. Kozhevnikova 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 621 KB