Regression test selection for distributed Java RMI programs by means of formal concept analysis