Symbolic Execution as Search, and the Rise of Solvers

Loading...
En provenance du cours de Université du Maryland, College Park
Software Security
603 notes
Université du Maryland, College Park
603 notes
Cours 2 sur 5 dans Specialization Cybersecurity

Rencontrer les enseignants

  • Michael Hicks
    Michael Hicks
    Professor
    Department of Computer Science

Explorer notre catalogue

Rejoignez-nous gratuitement et obtenez des recommendations, des mises à jour et des offres personnalisées.