TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis | IEEE Conference Publication | IEEE Xplore