Model‐based testing. (13th February 2023)