@inproceedings{pasquier:hal-03891589,
  TITLE = {{Practical multiverse debugging through user-defined reductions}},
  AUTHOR = {Pasquier, Matthias and Teodorov, Ciprian and Jouault, Fr{\'e}d{\'e}ric and Brun, Matthias and Roux, Luka Le and Lagadec, Lo{\"i}c},
  URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03891589},
  BOOKTITLE = {{MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems}},
  ADDRESS = {Montreal Quebec Canada, Canada},
  PUBLISHER = {{ACM}},
  SERIES = {Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022},
  PAGES = {87-97},
  YEAR = {2022},
  MONTH = Oct,
  DOI = {10.1145/3550355.3552447},
  KEYWORDS = {Abstracting ; Program debugging ; Unified Modeling Language},
  HAL_ID = {hal-03891589},
  HAL_VERSION = {v1},
}