Campos JC, Abreu R.? 2013.??Encoding Test Requirements as Constraints for Test Suite Minimization. Tenth International Conference on Information Technology: New Generations - ITNG. :317?322.