A Symbolic Execution Tool Based on the Elimination of Infeasible Paths | IEEE Conference Publication | IEEE Xplore