...
机译:使用SPIN对Java程序的无限执行进行自动调试
Dpto. de Lenguajes y Ciencias de la Computacidn, University of Malaga. Spain;
Dpto. de Lenguajes y Ciencias de la Computacidn, University of Malaga. Spain;
Dpto. de Lenguajes y Ciencias de la Computacidn, University of Malaga. Spain;
Dpto. de Lenguajes y Ciencias de la Computacidn, University of Malaga. Spain;
机译:NOD4J:使用尺寸限制执行跟踪Java的近乎无关调试工具
机译:分布式多线程并行程序的执行重播和调试
机译:通过确定性执行调试并发Ada程序
机译:使用HDM在Java程序中进行自动调试
机译:多合一调试方法:Java调试,执行可视化和验证。
机译:数据密集型可扩展计算中的自动调试
机译:使用SPIN对Java程序的无限执行进行自动调试