Model learning: a survey of foundations, tools and applications
Shahbaz Ali, Hailong Sun, Yongwang Zhao
Topics & Concepts
Computer scienceData scienceArtificial intelligenceMachine Learning and AlgorithmsSoftware Testing and Debugging TechniquesFormal Methods in Verification