Buscas alternativas:
execucao simbolica » producao simbolica (Expandir a busca), relacao simbolica (Expandir a busca)
execucao simbolica » producao simbolica (Expandir a busca), relacao simbolica (Expandir a busca)
1
Assuntos:
“...Execução simbólica...”
Geração automatizada de casos de teste para auto-graders utilizando execução simbólica.
Dissertação
2
Assuntos:
“...Execução Simbólica...”
Techniques to facilitate probabilistic software analysis in real-world programs
Dissertação
3
Assuntos:
“...Execução Simbólica...”
Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
Dissertação