✦ LIBER ✦

Automatic test data generation using constraint solving techniques

✍ Scribed by Gotlieb, Arnaud; Botella, Bernard; Rueher, Michel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic test pattern generation can be

✍ K. Tilly; L. Surján; G. Román 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 663 KB

Automatic Generation of Numerical Redund

✍ Frédéric Benhamou; Laurent Granvilliers 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 54 KB

Automatic Test Program Generation Using

✍ Zhang, Ying; Li, Huawei; Li, Xiaowei 📂 Article 📅 2013 🏛 IEEE 🌐 English ⚖ 924 KB

Corrigendum for 'Constraint-based automa

✍ Girgis, M.R. 📂 Article 📅 1993 🏛 IEEE 🌐 English ⚖ 63 KB

Using a constraint satisfaction formulat

✍ Bin, E.; Emek, R.; Shurek, G.; Ziv, A. 📂 Article 📅 2002 🏛 IBM 🌐 English ⚖ 189 KB

Automatic Model-Based Generation of Para

✍ Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 458 KB