SAT-Based Analysis of Sensitizable Paths | IEEE Journals & Magazine | IEEE Xplore