TY  - RPRT
TI  - iSNEAK: Partial Ordering as Heuristics for Model-Based Reasoning in Software Engineering
AU  - Andre Lustosa
AU  - Tim Menzies
PY  - 2024
UR  - https://arxiv.org/abs/2310.19125
ID  - 2310.19125
ER  -