swMATH21731MaRDI QIDQ33533FDOQ33533
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=2429123
Cited In (23)
- Learning nominal automata
- Extended symbolic finite automata and transducers
- Regular \(\omega\)-languages with an informative right congruence
- Active learning for extended finite state machines
- Learning symbolic automata
- A Myhill-Nerode theorem for register automata and symbolic trace languages
- MiBench
- libalf
- LearnLib
- Simulink Coder
- RALib
- LOIS
- NLambda
- CALF
- LEVER
- jq
- Learning register automata: from languages to program structures
- Bex
- Saner
- Learning the language of software errors
- Learning the Language of Error
- Inferring regular languages and \(\omega\)-languages
- Symbolic string transformations with regular lookahead and rollback
This page was built for software: Sigma*
