Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Constraint Solving
2
Abstract process
1
Abstracting
1
Automated generation
1
Black box test
1
Black-box testing
1
Calculations
1
Channel capacity
1
Codes (symbols)
1
Complex evolutions
1
Complex inputs
1
Computational linguistics
1
Concrete process
1
Constraint-based
1
Coverable
1
Coverage criteria
1
Dynamic evolution
1
Dynamic models
1
Dynamic re-configuration
1
Formal languages
1
Graph rewriting
1
Graph theory
1
Hyperedge replacement
1
Linguistics
1
Logic programming
1
Memory architecture
1
Model checking
1
Private information
1
Reconfigurable hardware
1
Sensitive informations
1
-
1Materias: “...Symbolic bisimulation...”
SER -
2Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputsMaterias: “...Symbolic execution...”
SER -
3Materias: “...Codes (symbols)...”
SER