Chenghao Cai, Jing Sun 0002, Gillian Dobbie. B-Repair: Repairing B-Models Using Machine Learning. In 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018. pages 31-40, IEEE, 2018. [doi]
Abstract is missing.