Data-Driven Abductive Inference of Library Specifications

Authors

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

Keywords

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

Date of this Version

2021

Recommended Citation

Zhou, Zhe; Dickerson, Robert; Delaware, Benjamin; and Jagannathan, Suresh, "Data-Driven Abductive Inference of Library Specifications" (2021). Department of Computer Science Technical Reports. Paper 1783.
https://docs.lib.purdue.edu/cstech/1783