Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck. Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods in System Design, 55(2):103-135, 2019. [doi]
Abstract is missing.