Synthesizing adaptive test strategies from temporal logic specifications

From MaRDI portal
Publication:2280227

DOI10.1007/S10703-019-00338-9zbMath1427.68160arXiv1809.01607OpenAlexW3013816513WikidataQ92186791 ScholiaQ92186791MaRDI QIDQ2280227

Fabian Greif, Franz Röck, Heinz Riener, Goerschwin Fey, Robert Könighofer, Ingo Pill, Roderick Bloem

Publication date: 18 December 2019

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.01607




Related Items (2)


Uses Software



Cites Work




This page was built for publication: Synthesizing adaptive test strategies from temporal logic specifications