software visualization; dynamic behavior comparison; correlation visualization;
机译:通过动态程序执行验证程序的完全常规时间属性
机译:处理巨型程序:可视化程序执行
机译:将符号执行与模型检查相结合以验证并行数值程序
机译:可视化多个程序执行以协助行为验证
机译:多合一调试方法:Java调试,执行可视化和验证。
机译:雄激素受体支配的执行而不是编程男性性和领土的行为
机译:基于机器人行为描述与执行分离的社交辅助机器人的高效编程框架