Java; Inspection; Software; Visualization; Indexes; User interfaces; Debugging;
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:Heapviz:交互式堆可视化,用于程序理解和调试
机译:交互式证明尝试中的错误分析
机译:互动验证调试器:有效地了解互动证明尝试
机译:交互式可视化:了解感知权衡以有效地呈现信息。
机译:BigDebug:用于Spark中交互式大数据处理的调试原语
机译:Heapviz:用于程序理解和调试的交互式堆可视化