Leveraging a Constraint Solver for Minimizing Test Suites | IEEE Conference Publication | IEEE Xplore