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
-
1Materias: “...Symbolic execution...”
-
2Materias: “...Symbolic execution...”
JOUR -
3por 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 -
4Publicado 2018Materias: “...Symbolic Execution...”
-
5por 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 -
6Materias: “...Symbolic execution...”
-
7Materias: “...Symbolic execution...”
CONF -
8por Cortez Sánchez, Joshep JoelMaterias: “...Symbolic execution...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
9por Cortez Sánchez, Joshep JoelMaterias: “...Symbolic execution...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
10Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputsMaterias: “...Symbolic execution...”
-
11Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputsMaterias: “...Symbolic execution...”
SER