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.
Symbolic execution
11
Model checking
6
SOFTWARE ENGINEERING
5
Software testing
4
ALLOY
3
ANALISIS AUTOMATICO DE SOFTWARE
3
AUTOMATED SOFTWARE ANALYSIS
3
BOUNDED EXHAUSTIVE VERIFICATION
3
Ciencias Informáticas
3
DISTRIBUTED SYSTEMS
3
EJECUCION SIMBOLICA
3
INGENIERIA DE SOFTWARE
3
JAVA
3
JAVA (LENGUAJE DE PROGRAMACION)
3
JML
3
SISTEMAS DISTRIBUIDOS
3
SYMBOLIC EXECUTION
3
TACO
3
VERIFICACION EXHAUSTIVA ACOTADA
3
ANALISIS DINAMICO
2
ANALISIS ESTATICO
2
AUTOMATED TESTING GENERATION
2
Análisis de binarios
2
Automated generation
2
Behavioral research
2
Binary analysis
2
Black box test
2
Black-box testing
2
CONCOLIC EXECUTION
2
Complex data structures
2
-
1por Godio, Ariel, Bengolea, Valeria, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías, Frias, Marcelo F.Materias: “...Symbolic execution...”
Publicado 2020
Aportado por: SEDICI (UNLP)Objeto de conferencia Resumen -
2
-
3Publicado 2018Materias: “...Symbolic Execution...”
-
4por Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., Perez, S., Garci A., Pasareanu C.S., Leavens G.T.Materias: “...Symbolic Execution...”
CONF -
5
-
6Materias: “...Symbolic execution...”
-
7Materias: “...Symbolic execution...”
-
8Materias: “...Symbolic execution...”
CONF -
9Materias: “...Symbolic execution...”
JOUR -
10por Cortez Sánchez, Joshep JoelMaterias: “...Symbolic execution...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
11por Cortez Sánchez, Joshep JoelMaterias: “...Symbolic execution...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
12Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputsMaterias: “...Symbolic execution...”
-
13Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputsMaterias: “...Symbolic execution...”
SER -
14
-
15por Rosner, Nicolás LeandroMaterias: “...SYMBOLIC EXECUTION...”
Publicado 2015
Tesis doctoral publishedVersion -
16por Lebrero Rial, Ignacio ManuelMaterias: “...DYNAMIC SYMBOLIC EXECUTION...”
Publicado 2020
Tesis de grado publishedVersion -
17por Rosner, Nicolás LeandroMaterias: “...SYMBOLIC EXECUTION...”
Publicado 2015
Tesis doctoral publishedVersion -
18por Lebrero Rial, Ignacio ManuelMaterias: “...DYNAMIC SYMBOLIC EXECUTION...”
Publicado 2020
Tesis de grado publishedVersion