Synthesizing adaptive test strategies from temporal logic specifications
从时序逻辑规范中合成自适应测试策略
期刊:Formal Methods in System Design
影响因子:0.8
doi:10.1007/s10703-019-00338-9
Bloem, Roderick; Fey, Goerschwin; Greif, Fabian; Könighofer, Robert; Pill, Ingo; Riener, Heinz; Röck, Franz