@misc{indiciaeb46f8f2c34ae,
  title = {Formal Analysis of Reachability, Infection and Propagation Conditions in Mutation Testing},
  author = {Seyed-Hassan Mirian-Hosseinabadi},
  year = {2024},
  url = {https://arxiv.org/abs/2410.21904},
  note = {Source identifier: 2410.21904}
}