Publication | Closed Access

Debugging strategies and tactics in a multi-representation software environment

Software MaintenanceEngineeringProgram AnalysisSoftware TestingSoftware EngineeringSystems EngineeringMulti-representation Software EnvironmentComputer ScienceDebuggerStatic Program AnalysisSoftware AnalysisSymbolic ExecutionSystem SoftwareSoftware Design