Automatic Generation of Local Repairs for Boolean Programs | IEEE Conference Publication | IEEE Xplore