Lightweight fault-localization using multiple coverage types | IEEE Conference Publication | IEEE Xplore