Model-Based Testing of Community-Driven Open-Source GUI Applications