Refutation-based synthesis in SMT Andrew ReynoldsViktor KuncakMorgan Deters OriginalPaper 16 February 2017 Pages: 73 - 102
Synthesizing adaptive test strategies from temporal logic specifications Roderick BloemGoerschwin FeyFranz Röck OriginalPaper Open access 14 October 2019 Pages: 103 - 135