Publication | Open Access
Efficient program tracing
146
Citations
10
References
1993
Year
Program CheckingEngineeringSoftware SystemsSoftware EngineeringSoftware AnalysisFormal VerificationBinary AnalysisProgram TraceCompilersProgramming LanguagesComputer EngineeringComputer ScienceDebuggerProgram TracesStatic Program AnalysisOperating SystemsOptimal Control TracingProgram AnalysisSoftware TestingFormal MethodsParallel ProgrammingEfficient Program TracingSymbolic ExecutionSystem Software
A program trace lists the addresses of instructions executed and data referenced during a program's execution. Earlier approaches to collecting program traces, including abstract execution and optimal control tracing, are reviewed. Two tracing systems based on these techniques are presented. Results collected when using the later systems on several programs show significant reductions in the cost of collecting traces. Reduction in trace file sizes are also significant.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1