Busca meta-heurística para resolução de CSP em teste de software - TAKAKI, Mitsuo (2009)