Publication | Closed Access

Infeasible path generalization in dynamic symbolic execution

Mathematical ProgrammingInfeasible Path GeneralizationEngineeringRuntime VerificationProgram AnalysisAutomated ReasoningFormal MethodsSoftware AnalysisComputer ScienceFormal VerificationSymbolic ExecutionDynamic Compilation