Model-Based Testing of Community-Driven Open-Source GUI Applications | IEEE Conference Publication | IEEE Xplore