Concolic Execution
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Busca meta-heurÃstica para resoluÃÃo de CSP em teste de software
The meta-heuristic search algorithms have been researched in several domains, including in constraint satisfaction problem. Due to its good adaptability to be used in problems where the actual solution is unknown, they are applied in innumerous contexts. The evolutive algorithms are a search algorithm family that simulates the nature behavior. The constraint
Publicado em: 2009