属性无关谓词
编程语言
2015-08-03 v1 软件工程
摘要
尽管切片移除了与属性检查无关的代码。然而即便在此之后，我们的研究发现程序中存在与属性验证无关的谓词，尽管切片无法消除它们。我们提出了一种识别此类谓词的标准，然后给出在扩大属性检查规模中利用它们的过程。
引用
@article{arxiv.1507.08093,
title = {Property irrelevant predicates},
author = {Shrawan Kumar},
journal= {arXiv preprint arXiv:1507.08093},
year = {2015}
}