✦ LIBER ✦

System-Level Validation Volume 7026 || Automated Generation of Directed Tests

✍ Scribed by Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

System-Level Validation Volume 7026 || D

✍ Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat 📂 Article 📅 2012 🏛 Springer New York ⚖ 571 KB

System-Level Validation Volume 7026 || F

✍ Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat 📂 Article 📅 2012 🏛 Springer New York ⚖ 525 KB

System-Level Validation Volume 193 || Sy

✍ Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat 📂 Article 📅 2012 🏛 Springer New York ⚖ 567 KB

System-Level Validation Volume 25 || Tes

✍ Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat 📂 Article 📅 2012 🏛 Springer New York ⚖ 389 KB

System-Level Validation Volume 25 || Tes

✍ Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat 📂 Article 📅 2012 🏛 Springer New York ⚖ 753 KB

[IEEE Proceedings. Ninth IEEE Internatio

✍ Braun, M.; Fine, S.; Ziv, A. 📂 Article 📅 2004 🏛 IEEE ⚖ 480 KB