机译:来自概率和随机有限状态机的变异测试
School of Information Systems, Computing and Mathematics, Brunei University, Uxbridge, Middlesex UB8 3PH, United Kingdom;
Brunei University and Universidad Complutense de Madrid, 28040 Madrid, Spain;
mutation testing; probabilities; stochastic time; specification mutation;
机译:随机有限元方法的混凝土裂缝概率分析:临时核遏制建筑的应用
机译:基于搭配的随机响应面法(CSRSM)有限差分概率斜率稳定性分析
机译:使用随机有限元的概率颤动分析频域方法(Vol 87,PG 234,2019)
机译:概率有限状态机的突变测试
机译:使用随机电磁宏模型的概率有限差分时域模拟。
机译:有限燃料随机控制的概率方面
机译:来自概率和随机有限状态机的变异测试。