机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
Tech Univ Darmstadt Darmstadt Germany;
Symbolic execution; Program understanding; Deductive program verification; Debugging; Slicing;
机译:基于虚拟平台执行跟踪的确定性可逆MPSoC调试器
机译:程序验证,自动调试和符号计算前言专刊
机译:使用符号执行对并发系统进行交互式验证
机译:基于符号执行的可视化交互式调试器
机译:多合一调试方法:Java调试,执行可视化和验证。
机译:BigDebug:用于Spark中交互式大数据处理的调试原语
机译:基于符号执行的可视化交互式调试器