Carleton University (Canada).;
机译:从系统执行轨迹中自动检索和分析高可用性方案:热备用路由器协议的案例研究
机译:用于多核架构模拟的紧凑型执行迹线的高效生成
机译:使用执行跟踪自动生成基于模型的基于模型的限制和实时应用程序
机译:旨在系统和自动处理与基于场景的模型相关的执行迹线
机译:从多维需求模型自动生成方案。
机译:斜纹夜蛾Fab的预测世代数的模型和场景变化。未来气候变化情景中对花生的研究
机译:从执行迹线自动生成核心场景模型
机译:从样本执行跟踪中自动发现非确定性程序的启发式算法