Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ANALISIS ESTATICO
STATIC ANALYSIS
8
VERIFICACION
5
VERIFICATION
5
ADMINISTRACION DE MEMORIA DINAMICA
3
ALLOY
3
ANALISIS DE ESCAPE
3
ANALISIS DE PROGRAMAS USANDO SAT
3
ANALISIS DINAMICO
3
CONSUMO DE MEMORIA
3
DYNALLOY
3
DYNAMIC MEMORY MANAGEMENT
3
EMBEDDED SYSTEMS
3
ESCAPE ANALYSIS
3
KODKOD
3
LANGUAGES
3
LENGUAJES
3
MEMORY CONSUMPTION
3
SAT-BASED CODE ANALYSIS
3
SISTEMAS EMBEBIDOS
3
AUTOMATED TESTING GENERATION
2
BLOCKCHAIN
2
CONCOLIC EXECUTION
2
CONTRATOS INTELIGENTES
2
DYNAMIC ANALISIS
2
DYNAMIC SYMBOLIC EXECUTION
2
EJECUCION CONCOLICA
2
EJECUCION SIMBOLICA DINAMICA
2
EVOSUITE
2
GENERACION AUTOMATICA DE TESTING
2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11