Text this: Testing coverage-based software modeling incorporating random effect with change point and its release.