Synchronized Generation of Directed Tests Using Satisfiability Solving | IEEE Conference Publication | IEEE Xplore