@misc{indiciae395ffb527475,
  title = {New Formulation of DNN Statistical Mutation Killing for Ensuring Monotonicity: A Technical Report},
  author = {Jinhan Kim and Nargiz Humbatova and Gunel Jahangirova and Shin Yoo and Paolo Tonella},
  year = {2025},
  url = {https://arxiv.org/abs/2507.11199},
  note = {Source identifier: 2507.11199}
}