✦ LIBER ✦

Strategies for scalable symbolic execution-driven test generation for programs

✍ Scribed by Saparya Krishnamoorthy; Michael S. Hsiao; Loganathan Lingappan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Lazy symbolic execution for test data ge

✍ Lin, M.X.; Chen, Y.L.; Yu, K.; Wu, G.S. 📂 Article 📅 2011 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 551 KB