机译:NOD4J:使用尺寸限制执行跟踪Java的近乎无关调试工具
Graduate School of Information Science and Technology Osaka University Osaka Japan;
Graduate School of Science and Technology Nara Institute of Science and Technology Nara Japan;
Graduate School of Information Science and Technology Osaka University Osaka Japan;
Graduate School of Information Science and Technology Osaka University Osaka Japan;
Graduate School of Information Science and Technology Osaka University Osaka Japan;
Dynamic analysis; Logging; Software visualization;
机译:使用SPIN对Java程序的无限执行进行自动调试
机译:基于虚拟平台执行跟踪的确定性可逆MPSoC调试器
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:可移植的执行跟踪,用于并行程序调试和性能可视化
机译:多合一调试方法:Java调试,执行可视化和验证。
机译:Arden / J:Java平台上的MLM执行架构
机译:使用尺寸限制执行跟踪Java近乎嵌型调试