Artifact for "Are My Invariants Valid? A Learning Approach"
收藏数据链接：
官方服务：
资源简介：
This is the preliminary artifact for our paper on learning to judge the validity of invariants (specifically, method pre- and post-conditions), including data, code and output logs. Please see the README for details on the contents and how to run the code.
提供机构：
Zenodo创建时间：
2019-02-21
