Title

Data-Driven Abductive Inference of Library Specifications

Date of this Version

2021

Keywords

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

Share

COinS