✦ LIBER ✦

Program slicing: Its improved algorithm and application in verification

✍ Scribed by Qi Lu; Fubo Zhang; Jiahua Qian

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Improved PSO algorithm and its applicati

✍ Li, Yong-gang ;Gui, Wei-hua ;Yang, Chun-hua ;Li, Jie 📂 Article 📅 2005 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 394 KB

Higher order generalization and its appl

✍ Jianguo Lu; John Mylopoulos; Masateru Harao; Masami Hagiya 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 148 KB

Specification-based program slicing and

✍ Wan Kwon Lee; In Sang Chung; Gwang Sik Yoon; Yong Rae Kwon 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 341 KB

An improved particle swarm algorithm and

✍ Bingkun Gao; Xiuju Ren; Mingzi Xu 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 317 KB

An Improved Quantum Ant Colony Algorithm

✍ Ma, Xiao-long; Li, Yue-guang 📂 Article 📅 2012 🏛 Elsevier ⚖ 232 KB

The Improved Dijkstra's Shortest Path Al

✍ Wang Shu-Xi 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 344 KB