Efficient Techniques for Directed Test Generation Using Incremental Satisfiability | IEEE Conference Publication | IEEE Xplore