TY  - RPRT
TI  - Automata Models for Effective Bug Pattern Description
AU  - Tom Yaacov
AU  - Gera Weiss
AU  - Gal Amram
AU  - Avi Hayoun
PY  - 2025
UR  - https://arxiv.org/abs/2507.11146
ID  - 2507.11146
ER  -