Data-Driven Abductive Inference of Library Specifications (original) (raw)

• 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

DOWNLOADS

Since September 12, 2021

COinS