Search alternatives:
with programming » math programming (Expand search), earth programming (Expand search), arts programming (Expand search)
coder coverage » code coverage (Expand search), cancer coverage (Expand search), center coverage (Expand search)
coding methods » costing methods (Expand search), cooking methods (Expand search), cooling methods (Expand search)
methods python » methods action (Expand search), pythons python (Expand search), methods method (Expand search)
coverage with » coverage in (Expand search)
python coding » python codigo (Expand search), action coding (Expand search), python code (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
with programming » math programming (Expand search), earth programming (Expand search), arts programming (Expand search)
coder coverage » code coverage (Expand search), cancer coverage (Expand search), center coverage (Expand search)
coding methods » costing methods (Expand search), cooking methods (Expand search), cooling methods (Expand search)
methods python » methods action (Expand search), pythons python (Expand search), methods method (Expand search)
coverage with » coverage in (Expand search)
python coding » python codigo (Expand search), action coding (Expand search), python code (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
1
“... model-checker) that refinement-checks the code generated by JCircus. Combined with coverage-based...”
Access document
Access document
Doctoral thesis
2
3
4
5
6
7
8
9
10
11
12
13
14
15
“... que podem ser usados para estimar a taxa Failure In Time (FIT) de códi gos executando em GPUs...”
Access document
Access document
Doctoral thesis
16
17
“... de los algoritmos de cálculo en el lenguaje de programación Python, debido a las características...”
Access document
Access document
Article
18
“... with limit programming background. Thus, it lack several programming constructs, such as variables...”
Access document
Access document
19
“..., denominada specification Patterns, modified Condition/Decision coverage, and formal Verification to support...”
Access document
Access document
Master thesis
20