1. Refutation-based synthesis in SMT

   • Andrew Reynolds
   • Viktor Kuncak
   • Morgan Deters

   OriginalPaper 16 February 2017 Pages: 73 - 102

   

2. Synthesizing adaptive test strategies from temporal logic specifications

   • Roderick Bloem
   • Goerschwin Fey
   • Franz Röck

   OriginalPaper Open access 14 October 2019 Pages: 103 - 135