Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
1
Bernstein bases
1
Black boxes
1
Branch coverage
1
Conformance testing
1
Coverage criteria
1
Dynamic memories
1
Failure detection
1
Heap consumption
1
Heap space analysis
1
Imperative programs
1
Initial configurations
1
Java
1
Life-times
1
Memory consumptions
1
Memory managements
1
Memory regions
1
Memory requirements
1
Non-trivial
1
Object allocations
1
Out of memories
1
Polyhedral domains
1
Polynomial approximation
1
Polynomial optimization problems
1
Semantics
1
Software testing
1
Specification languages
1
conformance testing
1
coverage criteria
1
object protocols
1
-
1Materias: “...object protocols...”
CONF -
2Materias: “...Object allocations...”
CONF