Model Learning: A Survey on Foundation, Tools and Applications

Shahbaz Ali, Hailong Sun, Yongwang Zhao

The quality and correct functioning of software components embedded in electronic systems are of utmost concern especially for safety and mission-critical systems. Model-based test…