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
Model checking
6
Software testing
4
Análisis de binarios
2
Automated generation
2
Behavioral research
2
Binary analysis
2
Black box test
2
Black-box testing
2
Complex data structures
2
Complex inputs
2
Computer software
2
Concolic execution
2
Concretes
2
Constraint Solving
2
Constraint-based
2
Coverable
2
Coverage criteria
2
Data structures
2
Database queries
2
Ejecución simbólica
2
End users
2
Exploit generation
2
Formal logic
2
Generación de exploits
2
Mathematical models
2
Memory corruption
2
Model-based testing
2
Novel techniques
2
Orders of magnitude
2
-
1por Cortez Sánchez, Joshep Joel
Publicado 2019Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Godio, Ariel, Bengolea, Valeria, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías, Frias, Marcelo F.
Publicado 2020Aportado por: SEDICI (UNLP)Objeto de conferencia Resumen -
3por Cortez Sánchez, Joshep Joel
Publicado 2019Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11