@inproceedings{jouault:hal-03937212,
  TITLE = {{From OCL-based model static analysis to quick fixes}},
  AUTHOR = {Jouault, Fr{\'e}d{\'e}ric and M{\'e}r{\'e}, Maxime and Brun, Matthias and Le Calvar, Th{\'e}o and Pasquier, Matthias and Teodorov, Ciprian},
  URL = {https://hal.science/hal-03937212},
  BOOKTITLE = {{21st International Workshop on OCL and Textual Modeling / MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems}},
  ADDRESS = {Montreal (Canada), Canada},
  PUBLISHER = {{ACM}},
  PAGES = {889-893},
  YEAR = {2022},
  MONTH = Oct,
  DOI = {10.1145/3550356.3561562},
  KEYWORDS = {OCL ; quick fixes ; static analysis},
  HAL_ID = {hal-03937212},
  HAL_VERSION = {v1},
}