Community Detection in Model-based Testing to Address Scalability: Study Design | IEEE Conference Publication | IEEE Xplore