Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper.

Yoel Kim Yunja Choi Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper. 3321-3343 2026 3 Proc. ACM Softw. Eng. FSE https://doi.org/10.1145/3808154 db/journals/pacmse/pacmse3.html#KimC26