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.
Automatic Programming
2
Compilación
2
Concurrent Programming
2
Database queries
2
Deduction and Theorem Proving
2
End users
2
Language Constructs and Features
2
Model checking
2
Monitor
2
Optimización
2
Path condition
2
Performance
2
Probador de teoremas
2
Program Analysis
2
Program analysis
2
Programación concurrente
2
Query Generation
2
Query generation
2
Query languages
2
Query processing
2
Región crítica condicional
2
SMT solver
2
Semáforo binario dividido
2
Señal
2
Smt solvers
2
Software
2
Software testing
2
Symbolic Execution
2
Symbolic execution
2
Test data
2
-
1Publicado 2018Materias: “...Smt solvers...”
-
2por Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., Perez, S., Garci A., Pasareanu C.S., Leavens G.T.Materias: “...Smt solvers...”
CONF -
3por Barsotti, DamiánMaterias: “...SMT solver...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
4por Barsotti, DamiánMaterias: “...SMT solver...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis