Fuzzing Análisis dinámico 1 Computación evolutiva 1 Dynamic analysis 1 Ejecución simbólica 1 Emulación 1 Especificaciones de software 1 Formal methods and theory of security 1 Fuzz testing 1 Inferencia de especificaciones 1 Logic and verification 1 Lógica y verificación 1 Métodos formales y teoría de seguridad 1 Program specifications 1 Prueba y depuración de software 1 Pruebas de Fuzz 1 Redes neuronales 1 Security and privacy 1 Seguridad y privacidad 1 Software testing and debugging 1 Testing 1