Model‐based testing. (13th February 2023) - Le Traon, Yves; Xie, Tao