Attacking Large Industrial Code with Bi-abductive Inference.

Dino Distefano

Browse the full FMICS paper archive.