@misc{indiciae5c473c33083b,
  title = {Mizzle: A Complete Concurrent Incorrectness Logic for Preventing False Alarms in Agentic Bug Finding},
  author = {Alexandre Moine and Sam Westrick and Joseph Tassarotti},
  year = {2026},
  url = {https://arxiv.org/abs/2607.11611},
  note = {Source identifier: 2607.11611}
}