Symbolic Execution as Search, and the Rise of Solvers

Loading...
From the course by University of Maryland, College Park
Software Security
720 ratings
University of Maryland, College Park
720 ratings
Course 2 of 5 in the Specialization Cybersecurity

Meet the Instructors

  • Michael Hicks
    Michael Hicks
    Professor
    Department of Computer Science

Explore our Catalog

Join for free and get personalized recommendations, updates and offers.