@article{KriegerKnapp2018,
  author    = {Matthias P. Krieger and Alexander Knapp},
  title     = {Executing Underspecified OCL Operation Contracts with a SAT Solver},
  journal   = {Electronic Communications of the EASST},
  volume    = {15},
  doi       = {10.14279/tuj.eceasst.15.176.173},
  year      = {2018},
}