Publication | Closed Access

Osprey: A fast and accurate patch presence test framework for binaries

Software MaintenanceEngineeringRuntime VerificationOs-level VirtualizationProgram AnalysisSoftware TestingComputer EngineeringSoftware EngineeringComputer ScienceFuzzingSoftware AnalysisSystem SoftwareSecurity Testing MethodFormal VerificationVirtual Machine