Data-Driven Abductive Inference of Library Specifications

Authors

Zhe Zhou, Purdue UniversityFollow
Robert Dickerson, Purdue UniversityFollow
Benjamin Delaware, Purdue UniversityFollow
Suresh Jagannathan, Purdue UniversityFollow

Date of this Version

2021

Keywords

Automated Verification, Data-Driven Specification Inference, Data Structures, Decision Tree Learning, Counterexample Guided Refinement