✦ LIBER ✦

[IEEE 2011 23rd International Conference on Microelectronics (ICM) - Hammamet, Tunisia (2011.12.19-2011.12.22)] ICM 2011 Proceeding - Performance analysis of constraint solvers for coverage directed test generation

✍ Scribed by George, M. P. Jomu; Mohamed, O. Ait

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 23rd International Conference

✍ Le Berre, Matthieu; Hnaien, Faicel; Snoussi, Hichem 📂 Article 📅 2011 🏛 IEEE ⚖ 680 KB

[IEEE 2011 23rd International Conference

✍ Soltan, A.; Radwan, A. G.; Soliman, A. M. 📂 Article 📅 2011 🏛 IEEE ⚖ 877 KB

[IEEE 2011 23rd International Conference

✍ Channoufi, M.; Lecoy, P.; Attia, R.; Delacressonniere, B. 📂 Article 📅 2011 🏛 IEEE ⚖ 910 KB

[IEEE 2011 23rd International Conference

✍ Said, Lobna A.; Radwan, Ahmed G.; Madian, Ahmed H.; Soliman, Ahmed M. 📂 Article 📅 2011 🏛 IEEE ⚖ 785 KB

[IEEE 2011 23rd International Conference

✍ Zhu, Mengyao; Xiao, Jianhua; Wanggen, Wan; Yajun, H A 📂 Article 📅 2011 🏛 IEEE ⚖ 741 KB

[IEEE 2011 23rd International Conference

✍ Alyaoui, Nouha; Kachouri, Abdennaceur; Samet, Mounir 📂 Article 📅 2011 🏛 IEEE ⚖ 694 KB