Search alternatives:
based programming » and programming (Expand search), based program (Expand search), cone programming (Expand search)
coder coverage » code coverage (Expand search), cancer coverage (Expand search), center coverage (Expand search)
coverage based » beverage based (Expand search), coverage and (Expand search), coverage area (Expand search)
python coding » python codigo (Expand search), action coding (Expand search), python code (Expand search)
coding piton » coding in (Expand search), coding with (Expand search), coding to (Expand search)
piton python » pitons python (Expand search), in python (Expand search), with python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
based programming » and programming (Expand search), based program (Expand search), cone programming (Expand search)
coder coverage » code coverage (Expand search), cancer coverage (Expand search), center coverage (Expand search)
coverage based » beverage based (Expand search), coverage and (Expand search), coverage area (Expand search)
python coding » python codigo (Expand search), action coding (Expand search), python code (Expand search)
coding piton » coding in (Expand search), coding with (Expand search), coding to (Expand search)
piton python » pitons python (Expand search), in python (Expand search), with python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
1
2
3
“... model-checker) that refinement-checks the code generated by JCircus. Combined with coverage-based...”
Access document
Access document
Doctoral thesis
4
5
6
7
8
“... code produced by two programming tasks based on the intersection among their TestI. To assess the...”
Access document
Access document
Doctoral thesis
9
10
11
12
13
14
15
“..., denominada specification Patterns, modified Condition/Decision coverage, and formal Verification to support...”
Access document
Access document
Master thesis
16
“...), comparison between optimization in usual programming tools (IDE’s) and Model Based Design tools, validation...”
Access document
Access document
Master thesis
17
18
“..., achieving 96.1% code coverage through unit and integration tests, and successfully deployed in two...”
Access document
Access document
Master thesis
19
“..., and coverage report number of stars. Based on this data obtained, the defined research questions were...”
Access document
Access document
Bachelor thesis