B-Repair: Repairing B-Models Using Machine Learning.

Chenghao Cai, Jing Sun, Gillian Dobbie

Browse the full ICECCS paper archive.