Publication | Closed Access
MeCC
111
Citations
33
References
2011
Year
Unknown Venue
Abstract Memory StatesProgram CheckingEngineeringRuntime VerificationProgram AnalysisSoftware TestingVerificationFormal MethodsData DeduplicationSoftware EngineeringStatic CheckingComputer ScienceStatic Program AnalysisSoftware AnalysisSemantic-based Static AnalyzerFormal Verification
In this paper, we propose a new semantic clone detection technique by comparing programs' abstract memory states, which are computed by a semantic-based static analyzer.
| Year | Citations | |
|---|---|---|
Page 1
Page 1