Componentwise Automata Learning for System Integration (Extended Version)

Hiroya Fujinami, Masaki Waga, Jie An +4

Compositional automata learning is attracting attention as an analysis technique for complex black-box systems. It exploits a target system's internal compositional structure to re…