✦ LIBER ✦

Dependence analysis based on dynamic slicing for debugging

✍ Scribed by Chen Zhen-qiang; Xu Bao-wen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Erratum: A system for debugging via onli

✍ Vijay Nagarajan; Dennis Jeffrey; Rajiv Gupta; Neelam Gupta 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 30 KB

On the relationship between model-based

✍ Franz Wotawa 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 173 KB

Dynamic slicing of lazy functional progr

✍ Claudio Ochoa; Josep Silva; Germán Vidal 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 946 KB

Test coverage analysis based on program

✍ Zhenqiang Chen; Baowen Xu; jie Guan 📂 Article 📅 2003 🏛 SP Science Press 🌐 English ⚖ 328 KB

A non-standard semantics for program sli

✍ Sebastian Danicic; Mark Harman; John Howroyd; Lahcen Ouarbya 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 597 KB

Data Invalidation Analysis for Scan-Base

✍ Sandeep Kumar Goel; Bart Vermeulen 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 485 KB