@misc{17940,
  author = {Quentin Mazouni and Arnaud Gotlieb and Helge Spieker and Mathieu Acher and Benoit Combemale},
  title = {Mutation-Guided Metamorphic Testing of Optimality in AI Planning},
  year = {2025},
  journal = {18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025},
}