@misc{indiciae7f2a6d189157,
  title = {iSNEAK: Partial Ordering as Heuristics for Model-Based Reasoning in Software Engineering},
  author = {Andre Lustosa and Tim Menzies},
  year = {2024},
  url = {https://arxiv.org/abs/2310.19125},
  note = {Source identifier: 2310.19125}
}