Campos J, Abreu R.? 2013.??Leveraging a Constraint Solver for Minimizing Test Suites. 13th International Conference on Quality Software - QSIC. :253?259.