Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing