Ausgabe 2/2019
Inhalt (2 Artikel)
Refutation-based synthesis in SMT
Andrew Reynolds, Viktor Kuncak, Cesare Tinelli, Clark Barrett, Morgan Deters
Open Access
Synthesizing adaptive test strategies from temporal logic specifications
Roderick Bloem, Goerschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck