...
机译:使用消息传递对并发程序进行消息分析
Department of Information Technology, Uppsala University, Box 337, 75105 Uppsala, Sweden;
static analysis; runtime systems; concurrent languages; message passing; erlang;
机译:无状态技术,用于生成全局和本地测试oracle,以传递消息并发程序
机译:消息传递并发程序的结构测试:扩展测试模型
机译:具有消息传递和共享内存范例的并发程序中的数据流测试
机译:数据流测试中的并发程序,具有消息传递和共享内存范例
机译:用于使用LAM-MPI的并行消息传递程序的交互式消息调试器。
机译:剖析南非针对母亲的移动健康信息消息传递程序(MomConnect)的性能:有关程序覆盖范围和消息传递暴露的证据
机译:使用消息传递的并发程序的消息分析
机译:显式并行消息传递程序静态分析的程序流程图构造