Publication | Closed Access
Directed incremental symbolic execution
138
Citations
24
References
2011
Year
Unknown Venue
EngineeringAutomated ReasoningProgram AnalysisFormal MethodsComputer EngineeringProgram SynthesisParallel ProgrammingComputer ScienceParallel ComputingSymbolic ComputationSoftware AnalysisSymbolic ExecutionFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1