Counterexample-guided synthesis of observation predicates (2012)

by R Dimitrova, B Finkbeiner
Venue:In FORMATS