Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Informação adicional documento
-
- Outro
-
- Ver todos
-
Visão geral
tipo
data de publicação
publicada em
Pesquisas
áreas de investigação
palavras-chave
-
Bounded Model Checking
-
Concurrent Software
-
Fuzzing
Identidade
identificador BrCris
-
8ccf1041a4cc6e79084dc5b2a38e1719
Outro