Symbolic Execution as Search, and the Rise of Solvers

Loading...
From the course by University of Maryland, College Park
Software Security
665 ratings
University of Maryland, College Park
665 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.