Efficient SAT-based generation of hazard-activated TSOF tests | IEEE Conference Publication | IEEE Xplore