message passing; program testing; message-passing programs; nondeterministic testing;
机译:消息传递并发程序的结构测试:扩展测试模型
机译:通信事件的结构测试进入消息传递并行程序的循环
机译:消息传递并行程序的结构测试标准
机译:一种新的邮件传递程序的非确定性测试框架
机译:异步消息传递程序的可达性分析和测试。
机译:38个VA住宅PTSD计划中实施框架的定量测试
机译:用于证明伴随消息传递程序正确性的框架
机译:非确定性程序的启发式自动发现。