Symbolic Execution as Search, and the Rise of Solvers

Loading...
En provenance du cours de University of Maryland, College Park
Software Security
685 notes
University of Maryland, College Park
685 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.