Effective algorithms for the synthesis optimization of a set of irredundant diagnostic tests on the basis of genetic algorithms in the intelligent system | IEEE Conference Publication | IEEE Xplore