Purdue University;
机译:计算机可读存储介质存储软件执行控制程序,软件执行控制方法和软件执行控制系统已颁发专利
机译:从系统执行轨迹中自动检索和分析高可用性方案:热备用路由器协议的案例研究
机译:STAR:通过符号执行基于堆栈跟踪的自动崩溃重现
机译:基于节目痕迹执行,自动验证汽车电子模块的嵌入式软件
机译:通过自动内核跟踪分析检测有问题的执行模式。
机译:医学中的因果关系-批判性评价的实用系统
机译:使用出处迹线预测工作流执行时间:医学数据处理中的实际应用
机译:从样本执行跟踪中自动发现非确定性程序的启发式算法