Slicing Assisted Program Verification: An Empirical Study.

Wenjian Chai, Rongjie Yan, Wenhui Zhang, Jian Zhang

Browse the full TASE paper archive.