@misc{indiciae23edb31b5bc0,
  title = {Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions},
  author = {Mohammad Reza Heidari Iman and Giorgio Di Natale and Katell Morin-Allory},
  year = {2026},
  url = {https://arxiv.org/abs/2601.02248},
  note = {Source identifier: 2601.02248}
}