What Programs Want: Automatic Inference of Input Data Specifications

Caterina Urban

Nowadays, as machine-learned software quickly permeates our society, we are becoming increasingly vulnerable to programming errors in the data pre-processing or training software,…