Buscas alternativas:
with programming » math programming (Expandir a busca), earth programming (Expandir a busca), arts programming (Expandir a busca)
coder coverage » code coverage (Expandir a busca), cancer coverage (Expandir a busca), center coverage (Expandir a busca)
coding pythons » codigo python (Expandir a busca), coding methods (Expandir a busca)
pythons python » python python (Expandir a busca), pitons python (Expandir a busca), piton python (Expandir a busca)
coverage with » coverage in (Expandir a busca)
python coding » python codigo (Expandir a busca), action coding (Expandir a busca), python code (Expandir a busca)
coder coder » coder decoder (Expandir a busca), code code (Expandir a busca), decoder codec (Expandir a busca)
with programming » math programming (Expandir a busca), earth programming (Expandir a busca), arts programming (Expandir a busca)
coder coverage » code coverage (Expandir a busca), cancer coverage (Expandir a busca), center coverage (Expandir a busca)
coding pythons » codigo python (Expandir a busca), coding methods (Expandir a busca)
pythons python » python python (Expandir a busca), pitons python (Expandir a busca), piton python (Expandir a busca)
coverage with » coverage in (Expandir a busca)
python coding » python codigo (Expandir a busca), action coding (Expandir a busca), python code (Expandir a busca)
coder coder » coder decoder (Expandir a busca), code code (Expandir a busca), decoder codec (Expandir a busca)
1
“... model-checker) that refinement-checks the code generated by JCircus. Combined with coverage-based...”
Acessar documento
Acessar documento
Tese
2
3
4
5
6
7
8
9
10
11
12
Assuntos:
“...Coverage testing...”
Acessar documento (1)
Acessar documento (2)
Acessar documento (1)
Acessar documento (2)
Trabalho de conclusão de curso
13
14
15
“... que podem ser usados para estimar a taxa Failure In Time (FIT) de códi gos executando em GPUs...”
Acessar documento
Acessar documento
Tese
16
17
18
“... with limit programming background. Thus, it lack several programming constructs, such as variables...”
Acessar documento
Acessar documento
19
“..., denominada specification Patterns, modified Condition/Decision coverage, and formal Verification to support...”
Acessar documento
Acessar documento
Dissertação
20