Automatic Fault Localization for BIP.

Qiang Wang, Yan Lei, Simon Bliudze, Xiaoguang Mao

Browse the full SETTA paper archive.