A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool.

Dennis Hendriks, Kousar Aslam

Browse the full ISoLA paper archive.