Multiple Fault Localization Using Constraint Programming and Pattern Mining | IEEE Conference Publication | IEEE Xplore